Prefix(: = <http://example.org/>)

Prefix(xsd: = <http://www.w3.org/2001/XMLSchema#>)

Prefix(rdf: = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)

Ontology(

Declaration(DataProperty(:p1))

Declaration(DataProperty(:p2))

Declaration(DataProperty(:p3))

Declaration(DataProperty(:p4))

Declaration(DataProperty(:p5))

Declaration(DataProperty(:p6))

Declaration(DataProperty(:p7))

Declaration(Class(:c1))

Declaration(Class(:c2))

Declaration(Class(:c3))

Declaration(Class(:c4))

Declaration(Class(:c5))

Declaration(Class(:c6))

Declaration(Class(:u1))

Declaration(Class(:u2))

Declaration(Class(:u3))

Declaration(Class(:u5))

Declaration(Class(:u6))

DataPropertyRange(:p1 DataUnionOf(rdf:PlainLiteral xsd:float))

DataPropertyDomain(:p2 ObjectUnionOf(:c1 :u1))

ObjectPropertyRange(:p3 ObjectUnionOf(:c2 :u2))

ObjectPropertyDomain(:p4 ObjectUnionOf(:c3 :u3))

ObjectPropertyDomain(ObjectInverseOf(:p5) :c4)

ObjectPropertyRange(ObjectInverseOf(:p5) :c4)

ObjectPropertyDomain(ObjectInverseOf(:p6) ObjectUnionOf(:c5 :u5))

ObjectPropertyRange(ObjectInverseOf(:p7) ObjectUnionOf(:c6 :u6))

)