OWLMetric<Integer>
, OWLOntologyChangeListener
public class AxiomCount extends IntegerValuedMetric
Constructor | Description |
---|---|
AxiomCount(OWLOntology o) |
Instantiates a new axiom count.
|
Modifier and Type | Method | Description |
---|---|---|
String |
getName() |
Gets the human readable name of this metric.
|
dispose, getManager, getOntologies, getOntology, getValue, isImportsClosureUsed, ontologiesChanged, setImportsClosureUsed, setOntology, toString
public AxiomCount(@Nonnull OWLOntology o)
o
- ontology to useCopyright © 2018 The University of Manchester. All rights reserved.