W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2005

Re: classification inferences based on owl:disjointWith

From: Charles McCathieNevile <charles@w3.org>
Date: Wed, 12 Jan 2005 04:47:32 -0500 (EST)
To: Steve Gollery <sgollery@cadrc.calpoly.edu>
Cc: www-rdf-interest@w3.org
Message-ID: <Pine.LNX.4.55.0501120446280.18941@homer.w3.org>

I don't think the reasoner gets told rdfs:Class rdfs:subClass owl:Class in
which case it would have no reason to assume that foaf:Document is an



On Tue, 11 Jan 2005, Steve Gollery wrote:

>I'm using Jena with Racer as the DIG reasoner, using a test program
>based on the "Extended example" at
>I have an ontology that imports foaf. After I load the ontology, I list
>the OWL classes using OntModel.listClasses. The foaf classes don't show
>up on the list, although they do appear when I list all the statements
>with predicate "rdf:type" and object "rdfs:Class." It looks like Racer
>is not inferring that the foaf classes are OWL classes, even though they
>are defined like this:
>   <rdfs:Class rdf:about="http://xmlns.com/foaf/0.1/Document"
>rdfs:label="Document" rdfs:comment="A document.">
>     <rdfs:subClassOf rdf:resource="http://xmlns.com/wordnet/1.6/Document"/>
>     <rdfs:isDefinedBy rdf:resource="http://xmlns.com/foaf/0.1/"/>
>     <owl:disjointWith
>     <owl:disjointWith rdf:resource="http://xmlns.com/foaf/0.1/Person"/>
>     <owl:disjointWith rdf:resource="http://xmlns.com/foaf/0.1/Project"/>
>   </rdfs:Class>
>Since the domain and range of owl:disjointWith is owl:Class, I would
>expect that an inference engine would classify foaf:Document as an
>owl:Class even though the ontology states that foaf:Document is an
>Am I wrong about that?
>Steven Gollery

Charles McCathieNevile             http://www.w3.org/People/Charles
tel: +61 409 134 136                 fax(france): +33 4 92 38 78 22
Post:    21 Mitchell street, FOOTSCRAY Vic 3011, Australia    or
 W3C, 2004 Route des Lucioles, 06902 Sophia Antipolis Cedex, France
Received on Wednesday, 12 January 2005 09:47:33 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:54 UTC