org.semanticweb.owlapi.metrics

Class UnsatisfiableClassCountMetric