org.semanticweb.owlapi.reasoner.impl
Classes 
NodeImpl
NodeSetImpl
OWLReasonerBase
SatisfiabilityReducer