public class DefinitionTracker extends Object implements OWLOntologyChangeListener
Constructor and Description |
---|
DefinitionTracker(OWLOntology ontology)
Instantiates a new definition tracker.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isDefined(OWLClassExpression classExpression)
Checks if all the entities referred in the given concept are also referred by a logical axiom
in the imports closure of the designated ontology.
|
boolean |
isDefined(OWLEntity entity)
Checks if this entity is referred by a logical axiom in the imports closure of the designated
ontology.
|
void |
ontologiesChanged(List<? extends OWLOntologyChange> changes)
Called when some changes have been applied to various ontologies.
|
public DefinitionTracker(@Nonnull OWLOntology ontology)
ontology
- ontology to trackpublic boolean isDefined(@Nonnull OWLEntity entity)
entity
- entity we are searching fortrue
if there is at least one logical axiom in the imports closure of the
given ontology that refers the given entitypublic boolean isDefined(@Nonnull OWLClassExpression classExpression)
classExpression
- description that contains the entities we are searching fortrue
if all the entities in the given description are referred by at least
one logical axiom in the imports closure of the given ontologypublic void ontologiesChanged(List<? extends OWLOntologyChange> changes)
OWLOntologyChangeListener
ontologiesChanged
in interface OWLOntologyChangeListener
changes
- A list of changes that have occurred. Each change may be examined
to determine which ontology it was applied to.Copyright © 2020 The University of Manchester. All rights reserved.