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(OWLOntology ontology)
ontology
- ontology to trackpublic boolean isDefined(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(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.