W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: SEM: Layering bug

From: Dan Connolly <connolly@w3.org>
Date: 01 Jan 2003 14:09:40 -0600
To: Jeremy Carroll <jjc@hpl.hp.com>
Cc: www-webont-wg@w3.org
Message-Id: <1041451780.19701.17.camel@dirk.dm93.org>

On Mon, 2002-12-30 at 12:00, Jeremy Carroll wrote:
> >> 
> >> OWL Full:
> >> 
> >> Empty graph
> >> 
> >> owl-full entails
> >> 
> >> rdfs:Literal rdfs:subClassOf owl:Thing
> 
> DanC:
> > How do you get that? I thought owl:Thing was
> > disjoint from rdfs:Literal.
> 
> In OWL DL but not OWL Full.

That's not my understanding.

> At
> http://www-db.research.bell-labs.com/user/pfps/owl/semantics/rdfs.html#5.4
> 
> we read IOT=R1
> in other words
> 
> owl:Thing owl:sameClassAs rdfs:Resource .

That's broken.

owl:Thing is disjoint from rdfs:Literal and rdf:Property,
in my understanding.

Peter/Pat, please fix/confirm/explain-why-not.

> When combined with the recent change to RDFS that
> 
> rdfs:Literal rdfs:subClassOf rdfs:Resource .
> 
> we get the result.
> 
> Jeremy
> 
> PS I believe Peter's fix works ... and I note that it is in the version of the 
> (significantly improved) semantics doc dated 20th December.
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 1 January 2003 15:09:33 GMT

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