W3C home > Mailing lists > Public > public-webont-comments@w3.org > May 2008

Minor bug in http://www.w3.org/TR/owl-semantics/rdfs.html#5.2

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 06 May 2008 10:50:03 +0100
Message-ID: <482029CB.6030001@hpl.hp.com>
To: public-webont-comments@w3.org 


The OWL Full semantics entail that
OWL:Nothing rdf:type rdfs:Datatype

and similarly for any empty class.
I believe this is unintentional, and can be fixed by the addition of
"n >= 1" in the first of the "Further conditions on owl:oneOf" in the 
reference section.

Jeremy
Received on Tuesday, 6 May 2008 09:51:36 GMT

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