W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

Re: SEM: Layering bug

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

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 GMT

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