SEM: semantics for the abstract syntax

I have put together a semantics for the abstract syntax (actually, a
version of the abstract syntax, as the abstract syntax has not been
finalized as of yet).  Members of the SEM group might want to give this a
look, to see a way of providing meaning for OWL.

The document can also be found at
http://www-db.research.bell-labs.com/user/pfps/owl/semantics.html

peter