[OWL] [1.1] OWL 1.1 overview and syntax documents

[Peter F. Patel-Schneider]

I have put together two documents on OWL 1.1:
1/ A short overview document giving the basic ideas behind the additions,
   available at
	http://www-db.research.bell-labs.com/user/pfps/owl/overview.html
2/ A document defining the syntax of the extensions in OWL 1.1, 
   available at
	http://www-db.research.bell-labs.com/user/pfps/owl/syntax.html
Both documents are also attached to this message.

The syntax document provides sufficient information for implementors to
implement OWL 1.1, as it not only has a formal syntax but an informal
discussion of the semantics and pointers to other documents that a
reasonably competent formalist could turn into a full semantics.  Implementors
should give this document a close look to see if it is what they thought they
were signing up for.

As well, Bernardo Cuenca Grau is putting together a formal semantics document
that should be ready early in the new year.


Peter F. Patel-Schneider
Bell Labs Research

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.mindswap.org/pipermail/owl/attachments/20051219/e02d6c72/overview-0001.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.mindswap.org/pipermail/owl/attachments/20051219/e02d6c72/syntax-0001.html