<rdf:RDF
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:oiled="http://oiled.man.example.net/test#">
<owl:Ontology rdf:about="">
<rdfs:comment>An ontology illustrating the use of a spy point that
limits the cardinality of the interpretation domain to having only two
objects.</rdfs:comment>
</owl:Ontology>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:minCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#invP"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP"/>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/>
<owl:someValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="http://oiled.man.example.net/test#spy"/>
</owl:oneOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<rdf:Description rdf:about="http://oiled.man.example.net/test#spy">
<rdf:type>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invP"/>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:maxCardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
<oiled:Unsatisfiable/>
</rdf:RDF>