com.clarkparsia.owlapi.explanation.util

Class DefinitionTracker

java.lang.Object

com.clarkparsia.owlapi.explanation.util.DefinitionTracker

All Implemented Interfaces:

OWLOntologyChangeListener

public class DefinitionTracker
extends Object
implements OWLOntologyChangeListener

Tracker for definitions.

Constructor Summary

Constructors

Constructor and Description
DefinitionTracker(OWLOntology ontology) Instantiates a new definition tracker.

Method Summary

Methods

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefinitionTracker

public DefinitionTracker(OWLOntology ontology)

Instantiates a new definition tracker.

Parameters:

ontology - ontology to track

Method Detail

isDefined

public boolean isDefined(OWLEntity entity)

Checks if this entity is referred by a logical axiom in the imports closure of the designated ontology.

Parameters:

entity - entity we are searching for

Returns:

true if there is at least one logical axiom in the imports closure of the given ontology that refers the given entity

isDefined

public 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.

Parameters:

classExpression - description that contains the entities we are searching for

Returns:

true if all the entities in the given description are referred by at least one logical axiom in the imports closure of the given ontology

ontologiesChanged

public void ontologiesChanged(List<? extends OWLOntologyChange> changes)
                       throws OWLException

Description copied from interface: OWLOntologyChangeListener

Called when some changes have been applied to various ontologies. These may be an axiom added or an axiom removed changes.

Specified by:

ontologiesChanged in interface OWLOntologyChangeListener

Parameters:

changes - A list of changes that have occurred. Each change may be examined to determine which ontology it was applied to.

Throws:

OWLException - exception