Prefix(xsd:=) Prefix(owl:=) Prefix(:=) Prefix(xml:=) Prefix(rdf:=) Prefix(rdfs:=) Ontology( ClassAssertion(:Role :none) ClassAssertion(:Role :x) ClassAssertion(:Role :xy) ClassAssertion(:Role :xyz) ClassAssertion(:Role :xz) ClassAssertion(:Role :y) ClassAssertion(:Role :yz) ClassAssertion(:Role :z) ClassAssertion(:Subject :Sa) ClassAssertion(:Subject :Sb) ClassAssertion(:Subject :Sc) Declaration(Class(:Role)) Declaration(Class(:Subject)) Declaration(NamedIndividual(:none)) Declaration(NamedIndividual(:Sa)) Declaration(NamedIndividual(:Sb)) Declaration(NamedIndividual(:Sc)) Declaration(NamedIndividual(:x)) Declaration(NamedIndividual(:xy)) Declaration(NamedIndividual(:xyz)) Declaration(NamedIndividual(:xz)) Declaration(NamedIndividual(:y)) Declaration(NamedIndividual(:yz)) Declaration(NamedIndividual(:z)) Declaration(ObjectProperty(:equalTo)) Declaration(ObjectProperty(:greateOrEqual)) Declaration(ObjectProperty(:greaterThan)) Declaration(ObjectProperty(:hasRole)) Declaration(ObjectProperty(:isSuperiorTo)) ObjectPropertyAssertion(:greaterThan :x :none) ObjectPropertyAssertion(:greaterThan :xy :x) ObjectPropertyAssertion(:greaterThan :xy :y) ObjectPropertyAssertion(:greaterThan :xyz :xy) ObjectPropertyAssertion(:greaterThan :xyz :xz) ObjectPropertyAssertion(:greaterThan :xyz :yz) ObjectPropertyAssertion(:greaterThan :xz :x) ObjectPropertyAssertion(:greaterThan :xz :z) ObjectPropertyAssertion(:greaterThan :y :none) ObjectPropertyAssertion(:greaterThan :yz :y) ObjectPropertyAssertion(:greaterThan :yz :z) ObjectPropertyAssertion(:greaterThan :z :none) ObjectPropertyAssertion(:hasRole :Sa :xy) ObjectPropertyAssertion(:hasRole :Sb :z) ObjectPropertyAssertion(:hasRole :Sc :none) ObjectPropertyDomain(:hasRole :Subject) ObjectPropertyRange(:hasRole :Role) SubClassOf(:Role ObjectHasSelf(:equalTo)) SubObjectPropertyOf(:equalTo :greateOrEqual) SubObjectPropertyOf(:greaterThan :greateOrEqual) SubObjectPropertyOf(ObjectPropertyChain(:hasRole :greaterThan ObjectInverseOf(:hasRole)) :isSuperiorTo) TransitiveObjectProperty(:greaterThan) )