Warning:
This wiki has been archived and is now read-only.
OWLMetamodelingExample1
From OWL
Example 1 from OWLMetamodeling.
The following tools/reasoners can determine that Mutt is unsatisifiable in the ontology below:
- TopBraid 2.4.0 (Pellet 1.5, Jena Built-in reasoner 2.5, RACER 1.7.4)
- Protege 3.3 beta (RACER 1.7.4)
- Protege 4.0alpha (Pellet 1.4)
Peter verified this in in Pellet 1.5.1 directly: http://lists.w3.org/Archives/Public/public-owl-wg/2007Nov/0589.html.
<?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#"> <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> </rdf:RDF>