OWL DL and OWL Lite Syntax

This is a FYI on work in progress.

I have begun work on a slightly different approach to the syntax ...

It doesn't really seem very different but should give a clear, intelligible 
and provably correct triple-oriented characterization of OWL Lite and OWL DL.

There are a fair number of minor differences to achieve this.

A pointer to a snapshot document is:

http://lists.w3.org/Archives/Public/www-archive/2003Jan/att-0107/01-t


A pointer to the snapshot prolog version of the grammars, and the code that 
generates the interesting bits of the document is:

http://lists.w3.org/Archives/Public/www-archive/2003Jan/att-0107/00-ass.zip

Jeremy

Received on Thursday, 30 January 2003 03:16:21 UTC