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) throws OWLException
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.OWLException
- exceptionCopyright © 2017 The University of Manchester. All Rights Reserved.