Annotations and entailments from Jeremy Carroll on 2003-01-18 (www-webont-wg@w3.org from January 2003)

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 UTC