SMS Hot Topics

This is version 15. It is not the current version, and thus it cannot be edited.
[Back to current version]   [Restore this version]

• bugzilla summary here ...

A grammar for semantic annotations

• Note that parenthesis ( ) are used to define the syntax, e.g., ( ... )* means zero or more, ( ... )+ means one or more, and ( ... )? means zero or one.

 [1]   AnnotGroup     ::=   ( Annot )+ 

 [2]   Annot          ::=   ItemExp ( "," ItemExp )* "==>" OntExp

 [3]   ItemExp        ::=   "/" ItemPath

 [4]   ItemPath       ::=   ElemName ( "[" ItemCntxtExp "]" )*  ( Var )?  |
                            ItemPath "/" ItemPath  | 
                            "*"  | 
                            "."

 [5]   Var            ::=   "{" "$" VarName "}"

 [6]   ItemCntxtExp   ::=   ItemPath  | 
                            ItemPath ValueComp ItemValue

 [7]   ValueComp      ::=   "eq" | "ne" | "lt" | "le" | "gt" | "ge"


 [8]   OntExp         ::=   ConceptName ( Var )? ( OntPath )?


 [9]   OntPath        ::=   "." RoleName ( "#" ConceptName )? ( Var )? ( OntPath )?