public class UnsatisfiableClassCountMetric extends IntegerValuedMetric
Constructor and Description |
---|
UnsatisfiableClassCountMetric(OWLReasoner reasoner,
OWLOntologyManager owlOntologyManager) |
Modifier and Type | Method and Description |
---|---|
String |
getName()
Gets the human readable name of this metric.
|
dispose, getManager, getOntologies, getOntology, getValue, isImportsClosureUsed, ontologiesChanged, setImportsClosureUsed, setOntology, toString
public UnsatisfiableClassCountMetric(OWLReasoner reasoner, OWLOntologyManager owlOntologyManager)
owlOntologyManager
- manager to usereasoner
- the reasonerCopyright © 2017 The University of Manchester. All Rights Reserved.