<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#"
<owl:Ontology/>
<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="#infinite" />
</owl:FunctionalProperty>
<owl:ObjectProperty rdf:about="#p-N-to-1" />
<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:ObjectProperty rdf:about="#q-M-to-1" />
<owl:FunctionalProperty rdf:ID="r-N-times-M-to-1">
<owl:inverseOf>
<owl:ObjectProperty rdf:ID="invR-N-times-M-to-1" />
</owl:inverseOf>
<rdfs:domain rdf:resource="#cardinality-N-times-M" />
<rdfs:range rdf:resource="#infinite" />
</owl:FunctionalProperty>
<owl:ObjectProperty rdf:about="#r-N-times-M-to-1"/>
<owl:Class rdf:ID="infinite">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#invP-1-to-N"/>
<owl:cardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#integer"
>2</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#invR-N-times-M-to-1"/>
<owl:cardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#integer"
>5</owl:cardinality>
</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="#infinite"/>
</owl:Restriction>
</owl:equivalentClass>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#invQ-1-to-M"/>
<owl:cardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#integer"
>3</owl:cardinality>
</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:Class>
<owl:Class rdf:about="#cardinality-N-times-M">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#r-N-times-M-to-1"/>
<owl:someValuesFrom rdf:resource="#infinite"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF>