Generalization with disjoint subclasses.
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) )
Related page