spec a =
Prefix: ns0: <http://cohse.semanticweb.org/ontologies/people#>
Prefix: owl11xml: <http://www.w3.org/2006/12/owl11-xml#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: owl11: <http://www.w3.org/2006/12/owl11#>
Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>
Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: ex: <http://www.example.org#>
Prefix: : <http://example.org/>
Prefix: pizza: <http://www.co-ode.org/ontologies/pizza/pizza.owl#>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Prefix: food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>
Prefix: vin: <http://www.w3.org/2002/03owlt/miscellaneous/consistent001#>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent905#invQ-1-to-M>
InverseOf:
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent905#q-M-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#cardinality-N-times-M>
Range:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#cardinality-N>
InverseOf:
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent905#r-N-times-M-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#cardinality-N-times-M>
Range:
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#invR-N-times-M-to-1>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent905#invR-N-times-M-to-1>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#r-N-times-M-to-1>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent905#p-N-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#cardinality-N>
Range:
InverseOf:
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent905#invP-1-to-N>
InverseOf:
Class: owl:Thing
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent905#cardinality-N-times-M>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#r-N-times-M-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent905#only-d>,
<http://www.w3.org/2002/03owlt/description-logic/consistent905#q-M-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent905#cardinality-N>
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent905#cardinality-N>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#invQ-1-to-M> exactly 3 owl:Thing,
<http://www.w3.org/2002/03owlt/description-logic/consistent905#p-N-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent905#only-d>
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent905#only-d>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent905#invP-1-to-N> exactly 2 owl:Thing,
<http://www.w3.org/2002/03owlt/description-logic/consistent905#invR-N-times-M-to-1> exactly 6 owl:Thing
Individual: <http://www.w3.org/2002/03owlt/description-logic/consistent905#d>
Types:
owl:Thing
with ObjectProperty <http://www.w3.org/2002/03owlt/description-logic/consistent905#r-N-times-M-to-1> |-> N-times-M-to-1