possible changes to abstract syntax and direct semantics to support annotations and fix problem with imports

I spent a bit of time fiddling with the abstract syntax and direct
semantics to handle annotations and imports in a better manner.

The basic changes are
1/ add an option ontology name to the abstract syntax
2/ add an annotation triple set to the direct semantics
3/ have annotations require triples in the annotation triple set
4/ ontology annotations and imports directives also require triples in this
   same set, using the ontology name as the subject
5/ imports is handled in a more semantic fashion

I think that this gets much closer to the RDF solution.

The changed version can be seen under
http://www-db.research.bell-labs.com/user/pfps/owl/

I have not made any changes to the later sections of the document.

Comments are welcome.

peter

Received on Friday, 7 February 2003 14:03:55 UTC