Layering bug? from Jeremy Carroll on 2003-06-18 (www-webont-wg@w3.org from June 2003)

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 18 Jun 2003 16:03:32 +0300
To: www-webont-wg@w3.org
Message-Id: <200306181603.32091.jjc@hpl.hp.com>

How about this:

eg:c rdf:type owl:Class .
eg:d rdf:type owl:Class .
eg:ap rdf:type AnnotationProperty .
owl:Thing owl:oneOf rdf:nil .

entails

eg:c eg:ap eg:d .


====

I think this holds in OWL Full but not in OWL DL, yet it is within the 
syntactic subset.

OWL Full proof.

owl:Thing equals rdfs:Resource.
rdfs:Resource is not empty,
thus there are no interpretations satisfying the premises.

Jeremy

Received on Wednesday, 18 June 2003 10:03:38 UTC