- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 30 Nov 2007 08:19:58 -0500 (EST)
- Cc: public-owl-wg@w3.org
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