W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

Re: Layering bug?

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Fri, 4 Jul 2003 21:41:01 +0200
To: "Jeremy Carroll <jjc" <jjc@hplb.hpl.hp.com>
Cc: pat hayes <phayes@ihmc.us>, www-webont-wg@w3.org
Message-ID: <OFCCF0BDAA.EB0B1336-ONC1256D59.006A161C-C1256D59.006C2468@agfa.be>


> > 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT