Re: Minutes of Web Ontology Working Group teleconference of June 5, 2003

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Thu, 05 Jun 2003 19:25:19 -0400 (EDT)
• To: jos.deroo@agfa.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20030605.192519.125121549.pfps@research.bell-labs.com>

From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: Re: Minutes of Web Ontology Working Group teleconference of June 5, 2003
Date: Thu, 5 Jun 2003 23:58:29 +0200

[...]

> > 17:31:28 <pfps> Peter PS - if owl:Class is not the same
> >                 as rdfs:Class - then in OWL  Full it does
> >                 not follow that rdfs:Class belongs
> >                 to the owl:intersectionOf [rdfs:Class]
> 
> I can't see why;
> haven't found a problem proving that
> 
> ex:I owl:intersectionOf _:l.
> _:l rdf:first rdfs:Class.
> _:l rdf:rest rdf:nil.
> 
> entails
> 
> rdfs:Class a ex:I.
> 
> (that is assuming such facts as
> owl:Class rdfs:subClassOf rdfs:Class.
> owl:Thing rdfs:subClassOf rdfs:Resource.
> owl:differentFrom rdfs:domain rdfs:Resource.
> owl:differentFrom rdfs:range rdfs:Resource.
> owl:intersectionOf rdfs:domain rdfs:Class.
> owl:intersectionOf rdfs:range rdf:List.
> ...)

This is not the inference I said did not follow.  I said that the empty
knowledge base does not entail

	rdfs:Class rdf:type _:i .
	_:i owl:intersectionOf _:l .
	_:l rdf:first rdfs:Class .
	_:l rdf:rest rdf:nil .

if owl:Class is not a superset of rdfs:Class.
This is very different from your example.

peter

Received on Thursday, 5 June 2003 19:25:33 UTC