com.clarkparsia.owlapi.explanation.util
Class DefinitionTracker

java.lang.Object
  com.clarkparsia.owlapi.explanation.util.DefinitionTracker

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLOntologyChangeListener

public class DefinitionTracker
extends Object
implements org.semanticweb.owlapi.model.OWLOntologyChangeListener

Tracker for definitions

Constructor Summary

DefinitionTracker(org.semanticweb.owlapi.model.OWLOntology ontology)

Method Summary

boolean	isDefined(org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLEntity entity) Checks if this entity is referred by a logical axiom in the imports closure of the designated ontology.
void	ontologiesChanged(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefinitionTracker

public DefinitionTracker(org.semanticweb.owlapi.model.OWLOntology ontology)

Parameters:

ontology - ontology to track

Method Detail

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.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 org.semanticweb.owlapi.model.OWLOntologyChange> changes)
                       throws org.semanticweb.owlapi.model.OWLException

Specified by:

ontologiesChanged in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener

Throws:

org.semanticweb.owlapi.model.OWLException