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>