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 JeremyReceived on Thursday, 30 January 2003 03:02:00 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 22 March 2009 03:38:38 GMT