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
and as a single-part document (suitable for printing, but some links go to 
the multi-part document) at

Peter F. Patel-Schneider
Bell Labs Research

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