OWLMetric<Integer>
, OWLOntologyChangeListener
public class LogicalAxiomCount extends AxiomCountMetric
Constructor | Description |
---|---|
LogicalAxiomCount(OWLOntology o) |
Instantiates a new logical axiom count.
|
dispose, getManager, getOntologies, getOntology, getValue, isImportsClosureUsed, ontologiesChanged, setImportsClosureUsed, setOntology, toString
getAxioms
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getName, recomputeMetric
public LogicalAxiomCount(@Nonnull OWLOntology o)
o
- ontology to useCopyright © 2018 The University of Manchester. All rights reserved.