Given a set of ontologies, this composite change will replace all subclass
axioms in each ontology, whose super class is an object intersection
(conjuction) with multiple subclass axioms - one for each conjunct. For
example, A subClassOf (B and C), would be replaced with two subclass axioms,
A subClassOf B, and A subClassOf C.
Matthew Horridge, The University Of Manchester, Bio-Health