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:eu_memberstate)) Declaration(Class(eu-test:future_eu)) Declaration(Class(owl:Thing)) Declaration(ObjectProperty(eu-test:R)) Declaration(NamedIndividual(eu-test:m1)) Declaration(NamedIndividual(eu-test:m10)) Declaration(NamedIndividual(eu-test:m11)) Declaration(NamedIndividual(eu-test:m12)) Declaration(NamedIndividual(eu-test:m13)) Declaration(NamedIndividual(eu-test:m14)) Declaration(NamedIndividual(eu-test:m15)) Declaration(NamedIndividual(eu-test:m16)) Declaration(NamedIndividual(eu-test:m17)) Declaration(NamedIndividual(eu-test:m18)) Declaration(NamedIndividual(eu-test:m19)) Declaration(NamedIndividual(eu-test:m2)) Declaration(NamedIndividual(eu-test:m20)) Declaration(NamedIndividual(eu-test:m21)) Declaration(NamedIndividual(eu-test:m22)) Declaration(NamedIndividual(eu-test:m23)) Declaration(NamedIndividual(eu-test:m24)) Declaration(NamedIndividual(eu-test:m25)) Declaration(NamedIndividual(eu-test:m26)) Declaration(NamedIndividual(eu-test:m27)) Declaration(NamedIndividual(eu-test:m28)) Declaration(NamedIndividual(eu-test:m3)) Declaration(NamedIndividual(eu-test:m4)) Declaration(NamedIndividual(eu-test:m5)) Declaration(NamedIndividual(eu-test:m6)) Declaration(NamedIndividual(eu-test:m7)) Declaration(NamedIndividual(eu-test:m8)) Declaration(NamedIndividual(eu-test:m9)) Declaration(NamedIndividual(eu-test:testInd)) ############################ # Classes ############################ # Class: eu-test:A (eu-test:A) SubClassOf(eu-test:A ObjectSomeValuesFrom(ObjectInverseOf(eu-test:R) eu-test:future_eu)) # Class: eu-test:eu_memberstate (eu-test:eu_memberstate) EquivalentClasses(eu-test:eu_memberstate ObjectOneOf(eu-test:m1 eu-test:m10 eu-test:m11 eu-test:m12 eu-test:m13 eu-test:m14 eu-test:m15 eu-test:m16 eu-test:m17 eu-test:m18 eu-test:m19 eu-test:m2 eu-test:m20 eu-test:m21 eu-test:m22 eu-test:m23 eu-test:m24 eu-test:m25 eu-test:m26 eu-test:m27 eu-test:m28 eu-test:m3 eu-test:m4 eu-test:m5 eu-test:m6 eu-test:m7 eu-test:m8 eu-test:m9)) SubClassOf(eu-test:eu_memberstate owl:Thing) # Class: eu-test:future_eu (eu-test:future_eu) SubClassOf(eu-test:future_eu ObjectMinCardinality(28 eu-test:R eu-test:eu_memberstate)) SubClassOf(eu-test:future_eu ObjectMaxCardinality(28 eu-test:R)) ############################ # Named Individuals ############################ # Individual: eu-test:m1 (eu-test:m1) # Individual: eu-test:m10 (eu-test:m10) # Individual: eu-test:m11 (eu-test:m11) # Individual: eu-test:m12 (eu-test:m12) # Individual: eu-test:m13 (eu-test:m13) # Individual: eu-test:m14 (eu-test:m14) # Individual: eu-test:m15 (eu-test:m15) # Individual: eu-test:m16 (eu-test:m16) # Individual: eu-test:m17 (eu-test:m17) # Individual: eu-test:m18 (eu-test:m18) # Individual: eu-test:m19 (eu-test:m19) # Individual: eu-test:m2 (eu-test:m2) # Individual: eu-test:m20 (eu-test:m20) # Individual: eu-test:m21 (eu-test:m21) # Individual: eu-test:m22 (eu-test:m22) # Individual: eu-test:m23 (eu-test:m23) # Individual: eu-test:m24 (eu-test:m24) # Individual: eu-test:m25 (eu-test:m25) # Individual: eu-test:m26 (eu-test:m26) # Individual: eu-test:m27 (eu-test:m27) # Individual: eu-test:m28 (eu-test:m28) # Individual: eu-test:m3 (eu-test:m3) # Individual: eu-test:m4 (eu-test:m4) # Individual: eu-test:m5 (eu-test:m5) # Individual: eu-test:m6 (eu-test:m6) # Individual: eu-test:m7 (eu-test:m7) # Individual: eu-test:m8 (eu-test:m8) # Individual: eu-test:m9 (eu-test:m9) # Individual: eu-test:testInd (eu-test:testInd) ClassAssertion(eu-test:A eu-test:testInd) DifferentIndividuals(eu-test:m1 eu-test:m10 eu-test:m11 eu-test:m12 eu-test:m13 eu-test:m14 eu-test:m15 eu-test:m16 eu-test:m17 eu-test:m18 eu-test:m19 eu-test:m2 eu-test:m20 eu-test:m21 eu-test:m22 eu-test:m23 eu-test:m24 eu-test:m25 eu-test:m26 eu-test:m27 eu-test:m28 eu-test:m3 eu-test:m4 eu-test:m5 eu-test:m6 eu-test:m7 eu-test:m8 eu-test:m9) )