Re: Layering bug?

> > which (under the identities assumed in Full) is both RDFS-valid and an
> > OWL-inconsistency.  Welcome the wonderful world of layering :-)
> It is syntactically invalid in OWL Lite and OWL DL, and consistent in
> OWL Full - I see no problems.

Then why is
http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0031.html

[[
rdfs:Class rdf:type _:x.
_:x owl:complementOf owl:Class.
]]

still not resolved to be an otest:InconsistencyTest ??
(because some think it isn't, and I can even follow
them: owl:Class ought to have an unambiguous meaning).


For the current case

[[
owl:Class rdf:type owl:Class.
]]

even Pat writes
  "both RDFS-valid and an OWL-inconsistency".


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Friday, 4 July 2003 15:42:21 UTC