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.

Received on Tuesday, 6 May 2008 09:51:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:30 UTC