Re: UFDTF Metamodeling Document

From: "Conrad Bock" <conrad.bock@nist.gov>
Subject: RE: UFDTF Metamodeling Document
Date: Thu, 29 Nov 2007 15:49:19 -0500

> Peter,

>  >  That would be useful, but it would also be useful to know which
>  >  version of Protege, Racer, Pellet, TopBraid, and JENA are involved,
>  >  and what is being passed to the reasoner.  (For example, it may be
>  >  that Protege is converting to OWL DL and thus that Racer isn't
>  >  handling this ontology.)
> 
> See http://www.w3.org/2007/OWL/wiki/OWLMetamodelingExample1.

I ran this file through Pellet 1.5.1 directly.  Pellet 1.5.1 implements
OWL 1.1 metamodelling, as does Pellet 1.4.  I think that several other
OWL DL reasoners have been upgraded to support much of OWL 1.1, as OWL
1.1 has been out for quite some time now.

So it is not surprising that tools support more that OWL DL now.  Pellet
is particularly good at saying just what the input looks like.  Here is
what Pellet 1.5.1 reports for a slightly modified version of the
ontology (included below):

*********************************
idefix 74> /usr/java/jre1.6.0_03/bin/java -jar lib/pellet.jar -if
~/mutt.owl -realize
Input file: file:/home/pfps/mutt.owl
OWL Species: Full
DL Expressivity: ALC
Consistent: Yes
Time: 996 ms (Loading: 942 Species Validation: 22 Consistency: 13
Classification: 18 Realization: 1 )

Unsatisfiable Concepts
myspace:Mutt

Classification:

 owl:Thing
    myspace:Collie - (myspace:lassie)
    owl:Class
       myspace:Foo - (myspace:Collie, myspace:Mutt,
		      myspace:CockerSpaniel) 
    myspace:CockerSpaniel
 owl:Nothing = myspace:Mutt


Non OWL-DL features used:
Invalid DisjointClasses Axiom: owl:disjointWith is used with
	myspace:Collie which is an individual
Invalid DisjointClasses Axiom: owl:disjointWith is used with
	myspace:CockerSpaniel which is an individual
Invalid SubClass Axiom: rdfs:subClassOf is used with myspace:Collie
	which is an individual
Invalid SubClass Axiom: rdfs:subClassOf is used with myspace:Mutt which
	is an individual
Invalid SubClass Axiom: rdfs:subClassOf is used with
	myspace:CockerSpaniel which is an individual
Non OWL-Lite features used:
Disjoint Classes: owl:disjointWith construct is used
	DisjointClasses(myspace:Collie myspace:CockerSpaniel)

Add the following statements to make this document OWL DL
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" > 
</rdf:RDF>
*********************************

Note that Pellet is saying that this ontology is in OWL Full, not OWL
DL.  It even notes some reasons why the ontology is not OWL DL, and has
some not-very-good advice on how to make it OWL DL.  The species
recognition in Pellet does not appear to have been upgraded to OWL 1.1.

Pellet then processes the ontology.  Pellet does OWL 1.1 processing, not
just OWL DL processing.  In OWL 1.1, because each of the names
CockerSpaniel, Collie, and Mutt participate in disjointness axioms or
subClass axioms, these names are names of classes.

It is thus not the triple
	myspace:CockerSpaniel rdf:type myspace:Foo .
that makes CockerSpaniel a class, which I verified by loading a version
of the ontology with later triples cut off and noting that Pellet did
not treat CockerSpaniel was not a class there.  Instead it is the
triples 
	myspace:Collie owl:disjointWith myspace:CockerSpaniel .
and
	myspace:Mutt rdfs:subClassOf myspace:CockerSpaniel .

peter

PS: Here is the modified ontology:

<?xml version="1.0"?>

<rdf:RDF
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:myspace="http://www.nist.gov/myspace#"
   xmlns:owl="http://www.w3.org/2002/07/owl#"
   xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
   xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
 
  <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Class">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
  </rdf:Description>

 <owl:Class rdf:about="http://www.nist.gov/myspace#Foo">
   <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
 </owl:Class>
 
  <myspace:Foo rdf:about="http://www.nist.gov/myspace#CockerSpaniel">
  </myspace:Foo>
  <myspace:Foo rdf:about="http://www.nist.gov/myspace#Collie">
    <owl:disjointWith
  rdf:resource="http://www.nist.gov/myspace#CockerSpaniel"/>
  </myspace:Foo>  
   
  <myspace:Foo rdf:about="http://www.nist.gov/myspace#Mutt">
    <rdfs:subClassOf
    rdf:resource="http://www.nist.gov/myspace#CockerSpaniel"/>
    <rdfs:subClassOf rdf:resource="http://www.nist.gov/myspace#Collie"/>
  </myspace:Foo>

  <myspace:Collie rdf:about="http://www.nist.gov/myspace#lassie" />

</rdf:RDF>

Received on Friday, 30 November 2007 13:36:46 UTC