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

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)

Methods inherited from class java.lang.Object

equals, 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)

Specified by:

ontologiesChanged in interface OWLOntologyChangeListener