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
To: public-webont-comments@w3.org
Message-ID: <482029CB.6030001@hpl.hp.com>

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 UTC