Re: SEM: Layering bug

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