com.clarkparsia.owlapi.explanation.util

Interface ExplanationProgressMonitor