SMS Hot Topics

This is version 8. 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 )?