org.semanticweb.owlapi.reasoner

Interface OWLReasoner