<rdf:RDF

xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"

xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"

xmlns:owl="http://www.w3.org/2002/07/owl#"

xml:base="http://www.w3.org/2002/03owlt/I5.1/consistent010" >

<owl:DatatypeProperty rdf:ID="p">

<rdfs:range

rdf:resource="http://www.w3.org/2001/XMLSchema#byte"/>

</owl:DatatypeProperty>

<owl:InverseFunctionalProperty rdf:about="#p"/>

<owl:ObjectProperty rdf:ID="q">

<owl:inverseOf>

<owl:ObjectProperty rdf:ID="invQ"/>

</owl:inverseOf>

</owl:ObjectProperty>

<owl:Thing rdf:ID="spy">

<rdf:type>

<owl:Restriction>

<owl:onProperty rdf:resource="#invQ"/>

<owl:cardinality rdf:datatype=

"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"

>127</owl:cardinality>

</owl:Restriction>

</rdf:type>

</owl:Thing>

<owl:Restriction>

<owl:onProperty rdf:resource="#p"/>

<owl:someValuesFrom

rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#q"/>

<owl:hasValue rdf:resource="#spy"/>

</owl:Restriction>

</owl:equivalentClass>

</owl:Restriction>

</rdf:RDF>