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

Layering bug?

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 GMT

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