Prefix(:=) Prefix(owl:=) Prefix(rdf:=) Prefix(xml:=) Prefix(xsd:=) Prefix(rdfs:=) Ontology( Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(ObjectProperty()) Declaration(ObjectProperty()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) Declaration(NamedIndividual()) ############################ # Classes ############################ # Class: () SubClassOf( ObjectUnionOf( ObjectSomeValuesFrom( ObjectOneOf()))) SubClassOf( ObjectSomeValuesFrom( ObjectOneOf())) SubClassOf( ObjectSomeValuesFrom( ObjectOneOf())) SubClassOf( ObjectMaxCardinality(1 )) # Class: () SubClassOf( ObjectOneOf( )) ############################ # Named Individuals ############################ # Individual: () ClassAssertion( ) # Individual: () ClassAssertion( ) # Individual: () ClassAssertion( ) SubClassOf(ObjectOneOf() ObjectMinCardinality(14 )) )