Re: SEM: Layering bug

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Fri, 20 Dec 2002 12:58:25 -0500 (EST)
• To: jjc@hpl.hp.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20021220.125825.22259939.pfps@research.bell-labs.com>

From: "Jeremy Carroll" <jjc@hpl.hp.com>
Subject: SEM: Layering bug
Date: Fri, 20 Dec 2002 11:25:28 +0100

> 
> 
> Thinking some more I came across the following (potential) mismatch between
> OWL DL and OWL Full:
> 
> ====
> 
> OWL Full:
> 
> Empty graph
> 
> owl-full entails
> 
> rdfs:Literal rdfs:subClassOf owl:Thing
> 
> ====
> 
> OWL DL
> 
> Empty graph
> 
> OWL-DL entails
> 
> owl:Thing rdf:type owl:Class .
> owl:Thing rdfs:subClassOf _:x .
> _:x owl:complementOf rdfs:Literal .
> 
> ====
> 
> Maybe this can be fixed by having:
> 
> rdfs:Literal rdf:type owl:Datatype .

The fix is to make rdfs:Literal illegal in OWL DL, which I will do.

peter

Received on Friday, 20 December 2002 12:58:37 UTC