uk.ac.manchester.cs.owlapi.modularity (OWLAPI