Re: OWL Full proposal (sort of) - addressing my Action

I'm wondering what would be the differences between this proposal and
the DAML+OIL situation.  Recall that DAML+OIL has a reference document
http://www.daml.org/2001/03/reference, which provides an informal
description of what DAML+OIL means and covers all RDF graphs, and a
semantics document,
http://www.daml.org/2001/03/model-theoretic-semantics, which provides
the DAML+OIL formal meaning (which is about half-way between OWL 1.1
semantics and OWL Full semantics).

peter

PS: As an aside, it appears to me that making one change to the DAML+OIL
semantics would move it very close to the OWL 1.1 semantics.  The change
would be as follows:

  <?O1,?R,?O2>   <IO(?O1),OI(?O2)> in IR(?R), provided that IO(?O1) <= AD,
  		 **and the triple produces no other semantic constraints*