;; Ontology 'source' in functional syntax
Prefix(: = )
Prefix(xsd: = )
Prefix(rdf: = )
Ontology(
DataPropertyRange(:p1 DataUnionOf(rdf:text 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))
)
;; Ontology 'source' parsed
(ontology (:blank :ontology)
(datapropertyrange !ex:p1
(dataunionof !rdf:text !xsd:float))
(datapropertydomain !ex:p2 (objectunionof !ex:c1 !ex:u1))
(objectpropertyrange !ex:p3 (objectunionof !ex:c2 !ex:u2))
(objectpropertydomain !ex:p4 (objectunionof !ex:c3 !ex:u3))
(objectpropertydomain (objectinverseof !ex:p5) !ex:c4)
(objectpropertyrange (objectinverseof !ex:p5) !ex:c4)
(objectpropertydomain (objectinverseof !ex:p6)
(objectunionof !ex:c5 !ex:u5))
(objectpropertyrange (objectinverseof !ex:p7)
(objectunionof !ex:c6 !ex:u6)))
;; Ontology 'source' in rdf/xml
;; Ontology 'source' as ntriples
_:b1 .
_:b2 .
_:b3 .
_:b4 .
_:b4 .
_:b3 _:b4 .
_:b2 _:b3 .
_:b2 .
_:b5 .
_:b6 .
_:b7 .
_:b7 .
_:b6 _:b7 .
_:b5 _:b6 .
_:b5 .
_:b8 .
_:b9 .
_:b10 .
_:b10 .
_:b9 _:b10 .
_:b8 _:b9 .
_:b8 .
_:b11 .
_:b12 .
_:b13 .
_:b13 .
_:b12 _:b13 .
_:b11 _:b12 .
_:b11 .
_:b14 .
_:b14 .
_:b15 .
_:b15 .
_:b16 .
_:b17 .
_:b18 .
_:b19 .
_:b19 .
_:b18 _:b19 .
_:b17 _:b18 .
_:b16 _:b17 .
_:b20 .
_:b21 .
_:b22 .
_:b23 .
_:b23 .
_:b22 _:b23 .
_:b21 _:b22 .
_:b20 _:b21 .