<rdf:RDF

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

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

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

xml:base="http://www.w3.org/2002/03owlt/extra-credit/premises003" >

<owl:FunctionalProperty rdf:ID="p-N-to-1" >

<owl:inverseOf>

<owl:ObjectProperty rdf:ID="invP-1-to-N" />

</owl:inverseOf>

<rdfs:domain rdf:resource="#cardinality-N" />

<rdfs:range rdf:resource="#only-d" />

</owl:FunctionalProperty>

<owl:FunctionalProperty rdf:ID="q-M-to-1" >

<owl:inverseOf>

<owl:ObjectProperty rdf:ID="invQ-1-to-M" />

</owl:inverseOf>

<rdfs:domain rdf:resource="#cardinality-N-times-M" />

<rdfs:range rdf:resource="#cardinality-N" />

</owl:FunctionalProperty>

<owl:FunctionalProperty rdf:ID="r-N-times-M-to-1">

<owl:inverseOf>

<owl:ObjectProperty rdf:ID="invR-1-to-N-times-M" />

</owl:inverseOf>

<rdfs:domain rdf:resource="#cardinality-N-times-M" />

<rdfs:range rdf:resource="#only-d" />

</owl:FunctionalProperty>

<owl:Class rdf:ID="only-d">

<owl:oneOf rdf:parseType="Collection">

<rdf:Description rdf:ID="d"/>

</owl:oneOf>

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#invP-1-to-N"/>

<owl:cardinality rdf:resource="#N"/>

</owl:Restriction>

</owl:equivalentClass>

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#invR-1-to-N-times-M"/>

<owl:cardinality rdf:resource="#N-times-M"/>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

<owl:Class rdf:ID="cardinality-N">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#p-N-to-1"/>

<owl:someValuesFrom rdf:resource="#only-d"/>

</owl:Restriction>

</owl:equivalentClass>

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#invQ-1-to-M"/>

<owl:cardinality rdf:resource="#M"/>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

<owl:Class rdf:ID="cardinality-N-times-M">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#q-M-to-1"/>

<owl:someValuesFrom rdf:resource="#cardinality-N"/>

</owl:Restriction>

</owl:equivalentClass>

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#r-N-times-M-to-1"/>

<owl:someValuesFrom rdf:resource="#only-d"/>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

<rdf:Description rdf:about="#N-times-M">

<owl:sameAs

rdf:datatype=

"http://www.w3.org/2001/XMLSchema#int">77</owl:sameAs>

</rdf:Description>

</rdf:RDF>