Prefix(:=) Prefix(owl:=) Prefix(rdf:=) Prefix(xml:=) Prefix(xsd:=) Prefix(rdfs:=) Prefix(eu-test:=) Prefix(owl2xml:=) Ontology( Declaration(Class(eu-test:A)) Declaration(Class(eu-test:B)) Declaration(Class(eu-test:C)) Declaration(Class(eu-test:D)) Declaration(Class(eu-test:E)) Declaration(Class(owl:Thing)) Declaration(ObjectProperty(eu-test:R)) Declaration(NamedIndividual(eu-test:m1)) Declaration(NamedIndividual(eu-test:m2)) Declaration(NamedIndividual(eu-test:m3)) Declaration(NamedIndividual(eu-test:m4)) Declaration(NamedIndividual(eu-test:m5)) Declaration(NamedIndividual(eu-test:testInd)) ############################ # Classes ############################ # Class: eu-test:A (eu-test:A) SubClassOf(eu-test:A ObjectMinCardinality(2 eu-test:R eu-test:D)) SubClassOf(eu-test:A ObjectMinCardinality(3 eu-test:R eu-test:E)) SubClassOf(eu-test:A ObjectMinCardinality(5 eu-test:R eu-test:B)) SubClassOf(eu-test:A ObjectMaxCardinality(5 eu-test:R)) # Class: eu-test:B (eu-test:B) EquivalentClasses(eu-test:B ObjectUnionOf(ObjectOneOf(eu-test:m1) ObjectOneOf(eu-test:m2) ObjectOneOf(eu-test:m3) ObjectOneOf(eu-test:m4) ObjectOneOf(eu-test:m5))) # Class: eu-test:C (eu-test:C) SubClassOf(eu-test:C ObjectSomeValuesFrom(ObjectInverseOf(eu-test:R) eu-test:A)) DisjointClasses(eu-test:C eu-test:D) DisjointClasses(eu-test:C eu-test:E) # Class: eu-test:D (eu-test:D) DisjointClasses(eu-test:D eu-test:E) ############################ # Named Individuals ############################ # Individual: eu-test:testInd (eu-test:testInd) ClassAssertion(eu-test:C eu-test:testInd) )