SMS Hot Topics

This is version 11. 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 '==>' OntExp

 [3]   ItemExp        ::=     '/' ItemPath

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

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

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

 [7]   Op             ::=     '=' 
                            | '<' 
                            | '>' 
                            | '<='
                            | '>='

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

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