spec 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:Thing2

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>

with Class owl:Thing2 |-> Thingie