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/consistent009>

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

Characteristics:

Functional

InverseOf:

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

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

InverseOf:

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

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

InverseOf:

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

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

InverseOf:

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

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

SubPropertyOf:

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

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

Characteristics:

Functional

InverseOf:

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

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

Characteristics:

Functional

InverseOf:

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

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

EquivalentTo:

(<http://oiled.man.example.net/test#f> some <http://oiled.man.example.net/test#p>)

and (<http://oiled.man.example.net/test#f1> some (not (<http://oiled.man.example.net/test#p>)))

Individuals:

_:http://www.w3.org/2002/03owlt/description-logic/consistent009#genid7

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

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

Types:

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