SMS Hot Topics

This is version 6. 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.

 __AnnotGroup__   ::= ( Annot )+ 

 Annot        ::= ItemExp '==>' OntExp

 ItemExp      ::= '/' ItemPath

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

 Var          ::= '{' '$' VarName '}'

 ItemCntxtExp ::= ItemPath | ItemPath Op ItemValue

 Op           ::= '=' | '<' | '>' | ...

 OntExp       ::= ConceptName ( Var )? ( OntPath )?

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