Re: Annotations and entailments

From: Jeremy Carroll <jjc@hpl.hp.com>
Subject: Annotations and entailments
Date: Sat, 18 Jan 2003 15:36:33 +0100

> (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

Hmm.  Why do you say that this is incorrect?   Annotations were supposed to
be non-logical.  I would instead say that RDF is incorrect.  (This is a
bit, but only a bit, tongue-in-cheek.)

I do agree that this might be considered to break semantic layering in some
sense.

peter