proposals on annotations and imports

PROPOSAL 1:

The OWL abstract syntax be augmented to allow an ontology to be given an
optional name in the form of a URI.

PROPOSAL 2:

The OWL direct semantics be augmented to include annotation triples, whose
first and second elements are domain elements and whose third element is
either a domain element or a literal.

The meaning of ontology annotations and imports includes that an
appropriate triple is in the annotation triples.  The subject of this
triple is the denotation of the name of the ontology if it has one,
otherwise any domain element will do.  The meaning of other annotations is
that the appropriate triple is in the annotation triples.

PROPOSAL 3:

The meaning of imports in the direct semantics is modified be that the
interpretation satisfies the imported ontology, instead of talking about
imports closure.


Peter F. Patel-Schneider
Bell Labs Research
Lucent Technologies