OWLMetamodelingExample1

From OWL
Jump to: navigation, search

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>