org.semanticweb.owlapi.reasoner.impl
org.semanticweb.owlapi.reasoner.structural
uk.ac.manchester.cs.owl.owlapi