public class OWLMetricManager extends Object
Constructor and Description |
---|
OWLMetricManager(List<OWLMetric<?>> metrics)
Instantiates a new OWL metric manager.
|
Modifier and Type | Method and Description |
---|---|
List<OWLMetric<?>> |
getMetrics() |
void |
setOntology(OWLOntology ontology) |
String |
toString() |
Copyright © 2020 The University of Manchester. All rights reserved.