Re: Where DAML+OIL deviates from the RDF-Schema spec.

Sorry I should have made my comments more precise.

However, I think that my point still stands.  There is no statement in RDFS
that subClassOf is < (strict subset) and not <= (non-strict subset).  In
the absence of such a statement, I think that the reading for subClassOf
should be taken to be permissive.

It turns out, of course, that RDF and RDFS have no means of creating two
classes that are equivalent, aside from subClassOf cycles, so, perhaps, the
prohibition on cycles could be inferred to mean strict subset.  However,
this is, in my opinion, ``reading between the lines'', and any
clarification would be a change.

Peter Patel-Schneider