SEM: current version of semantics document

The current version of the semantics document, which contains 
  1/ the abstract syntax, 
  2/ the direct model theory, 
  3/ the mapping from abstract syntax to n-triples, and 
  4/ the RDFS-compatible model theory,
is available as a multi-part document at 
  http://www-db.research.bell-labs.com/user/pfps/owl/semantics.html
and as a single-part document (suitable for printing, but some links go to 
the multi-part document) at 
  http://www-db.research.bell-labs.com/user/pfps/owl/semantics-all.html

Peter F. Patel-Schneider
Bell Labs Research

Received on Thursday, 31 October 2002 14:18:33 UTC