Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>
Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Ontology: a
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#r-N-times-M-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N-times-M>
Range:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invR-N-times-M-to-1>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#invP-1-to-N>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#p-N-to-1>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#q-M-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N-times-M>
Range:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invQ-1-to-M>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#p-N-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N>
Range:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invP-1-to-N>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#invR-N-times-M-to-1>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#r-N-times-M-to-1>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#invQ-1-to-M>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#q-M-to-1>
Class: owl:Thing
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invQ-1-to-M> exactly 3 owl:Thing,
<http://www.w3.org/2002/03owlt/description-logic/consistent908#p-N-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invR-N-times-M-to-1> exactly 5 owl:Thing,
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invP-1-to-N> exactly 2 owl:Thing
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N-times-M>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#q-M-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N>,
<http://www.w3.org/2002/03owlt/description-logic/consistent908#r-N-times-M-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>
Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Ontology:
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#r-N-times-M-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N-times-M>
Range:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invR-N-times-M-to-1>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#invP-1-to-N>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#p-N-to-1>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#q-M-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N-times-M>
Range:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invQ-1-to-M>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#p-N-to-1>
Characteristics:
Functional
Domain:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N>
Range:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invP-1-to-N>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#invR-N-times-M-to-1>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#r-N-times-M-to-1>
ObjectProperty: <http://www.w3.org/2002/03owlt/description-logic/consistent908#invQ-1-to-M>
InverseOf:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#q-M-to-1>
Class: owl:Thing
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invQ-1-to-M> exactly 3 owl:Thing,
<http://www.w3.org/2002/03owlt/description-logic/consistent908#p-N-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invR-N-times-M-to-1> exactly 5 owl:Thing,
<http://www.w3.org/2002/03owlt/description-logic/consistent908#invP-1-to-N> exactly 2 owl:Thing
Class: <http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N-times-M>
EquivalentTo:
<http://www.w3.org/2002/03owlt/description-logic/consistent908#q-M-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent908#cardinality-N>,
<http://www.w3.org/2002/03owlt/description-logic/consistent908#r-N-times-M-to-1> some <http://www.w3.org/2002/03owlt/description-logic/consistent908#infinite>