Added more disjoint axioms to ontology.