Ontology(<http://nomagic.com/ontology/example-case/case-24>
Declaration(
Class(:Animal)
)
Declaration(
Class(:Cat)
)
Declaration(
Class(:Dog)
)
Declaration(
Class(:Mouse)
)
SubClassOf(:Cat :Animal)
SubClassOf(:Dog :Animal)
SubClassOf(:Mouse :Animal)
DisjointClasses(:Cat :Dog)
DisjointClasses(:Cat :Mouse)
DisjointClasses(:Dog :Mouse)
AnnotationAssertion(rdfs:label :Animal "Animal"@en)
AnnotationAssertion(rdfs:label :Cat "Cat"@en)
AnnotationAssertion(rdfs:label :Dog "Dog"@en)
AnnotationAssertion(rdfs:label :Mouse "Mouse"@en)
) |