(resend) 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:


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



Received on Thursday, 30 January 2003 03:02:00 UTC