OWL-MET Ontology Language Semantics and Abstract Syntax.
Abstract Syntax.
(Draft)
Last revision is: 1.12
Date is: 02 April 2007 08:54 PM
The abstract syntax is specified here by means of a
version of Extended BNF, very similar to the EBNF notation
used for XML [XML]. Terminals
are quoted; non-terminals are bold and not quoted.
Alternatives are either separated by vertical bars (|)
or are given in different productions. Components that
can occur at most once are enclosed in square
brackets ([…]); components that can occur any number
of times (including zero) are enclosed in braces ({…}).
Whitespace is ignored in the productions here.
1. Temporalized Ontologies
An OWL-MET ontology in the abstract syntax contains
a sequence of annotations, axioms, and facts. OWL-MET
ontologies can have a name. Annotations are used
in the same manner as in OWL. The main content
of an OWL-MET ontology is carried in its axioms
and facts, which provide information about classes, properties,
and individuals in the ontology.
ontology ::= 'Ontology(' [
ontologyID ] {
directive } ')'
directive ::= 'Annotation('
ontologyPropertyID ontologyID ')'
| 'Annotation(' annotationPropertyID URIreference ')'
| 'Annotation(' annotationPropertyID dataLiteral ')'
| 'Annotation(' annotationPropertyID individual')'
| axiom
| fact