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: <http://www.w3.org/2002/03owlt/description-logic/consistent006>

ObjectProperty: <http://oiled.man.example.net/test#invR>

InverseOf:

<http://oiled.man.example.net/test#r>

ObjectProperty: <http://oiled.man.example.net/test#r>

InverseOf:

<http://oiled.man.example.net/test#invR>

Class: owl:Thing

Class: <http://oiled.man.example.net/test#Satisfiable>

EquivalentTo:

<http://oiled.man.example.net/test#invR> some

((<http://oiled.man.example.net/test#r> some <http://oiled.man.example.net/test#p1>)

and (<http://oiled.man.example.net/test#r> max 1 owl:Thing))

Individuals:

_:http://www.w3.org/2002/03owlt/description-logic/consistent006#genid23

Class: <http://oiled.man.example.net/test#p1>

SubClassOf:

not (<http://oiled.man.example.net/test#p2>

or <http://oiled.man.example.net/test#p3>

or <http://oiled.man.example.net/test#p4>

or <http://oiled.man.example.net/test#p5>)

Class: <http://oiled.man.example.net/test#p2>

SubClassOf:

not (<http://oiled.man.example.net/test#p3>

or <http://oiled.man.example.net/test#p4>

or <http://oiled.man.example.net/test#p5>)

Class: <http://oiled.man.example.net/test#p3>

SubClassOf:

not (<http://oiled.man.example.net/test#p4>

or <http://oiled.man.example.net/test#p5>)

Class: <http://oiled.man.example.net/test#p4>

SubClassOf:

not (<http://oiled.man.example.net/test#p5>)

Class: <http://oiled.man.example.net/test#p5>

Individual: _:http://www.w3.org/2002/03owlt/description-logic/consistent006#genid23

Types:

<http://oiled.man.example.net/test#Satisfiable>