OWL abstract syntax and model theory WD out

Apropos to our RDF/XML discussions is a new WD release ... this is really good stuff ... the integration of description logic and RDF(S) is a technical tour de force. This contains details of design decisions concerning OWL/DL vs. OWL Full that impact issues of speed, decidability, reasoners etc.

http://www.w3.org/TR/owl-semantics/

Jonathan