org.semanticweb.owl.inference
Interface MonitorableOWLReasoner

All Superinterfaces:

OWLClassReasoner, OWLConsistencyChecker, OWLIndividualReasoner, OWLPropertyReasoner, OWLReasoner, OWLReasonerBase, OWLSatisfiabilityChecker

All Known Implementing Classes:

MonitorableOWLReasonerAdapter

public interface MonitorableOWLReasoner
extends OWLReasoner

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Mar-2007

An OWLReasoner whose classification progress can be monitored.

Method Summary

OWLEntity	getCurrentEntity() Gets the entity which is currently being classified.
void	setProgressMonitor(ProgressMonitor progressMonitor)

Methods inherited from interface org.semanticweb.owl.inference.OWLConsistencyChecker

isConsistent

Methods inherited from interface org.semanticweb.owl.inference.OWLClassReasoner

getAncestorClasses, getDescendantClasses, getEquivalentClasses, getInconsistentClasses, getSubClasses, getSuperClasses, isEquivalentClass, isSubClassOf

Methods inherited from interface org.semanticweb.owl.inference.OWLSatisfiabilityChecker

isSatisfiable

Methods inherited from interface org.semanticweb.owl.inference.OWLIndividualReasoner

getDataPropertyRelationships, getIndividuals, getObjectPropertyRelationships, getRelatedIndividuals, getRelatedValues, getTypes, hasDataPropertyRelationship, hasObjectPropertyRelationship, hasType

Methods inherited from interface org.semanticweb.owl.inference.OWLPropertyReasoner

getAncestorProperties, getAncestorProperties, getDescendantProperties, getDescendantProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getInverseProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAntiSymmetric, isFunctional, isFunctional, isInverseFunctional, isIrreflexive, isReflexive, isSymmetric, isTransitive

Method Detail

setProgressMonitor

void setProgressMonitor(ProgressMonitor progressMonitor)

getCurrentEntity

OWLEntity getCurrentEntity()

Gets the entity which is currently being classified.

Returns:

The entity being classified, or null if the reasoner is in a stage where no entities are being classified.