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

Annotations and entailments

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Sat, 18 Jan 2003 15:36:33 +0100
To: www-webont-wg@w3.org
Message-Id: <200301181536.33568.jjc@hpl.hp.com>


(During my on-going work on checking the mapping rules I came across this bug)

Semantic layering problem, potential showstopper.

FileA:
<owl:Class rdf:ID="example">
   <rdfs:comment>An explanation</rdfs:comment>
</owl:Class>


FileB:
<owl:Class rdf:ID="example">
   <rdfs:comment>A different explanation</rdfs:comment>
</owl:Class>


Currently

FileA DL-entails FileB

and

FileB DL-entails FileA

While being IMO simply incorrect; this also breaks semantic layering since in 
OWL Full (like in RDF) neither entailment holds.

Jeremy
Received on Saturday, 18 January 2003 09:36:06 GMT

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