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)
)