org.semanticweb.owlapi.reasoner.structural

Class StructuralReasoner