refactored disjoint classes and properties in Ontology