org.aksw.commons.owlapi.reasoning.impl
Classes 
PelletIncrementalClassifier
SubsumptionResult