Package org.liveontologies.protege.explanation.justification

Class JustificationManager

java.lang.Object

org.liveontologies.protege.explanation.justification.JustificationManager

All Implemented Interfaces:

JustificationComputationManager.ChangeListener, JustificationListener

public class JustificationManager
extends Object
implements JustificationComputationManager.ChangeListener, JustificationListener

Used to keep track of the computed justifications for a particular entailed OWLAxiom

Author:

Yevgeny Kazakov

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	JustificationManager.ChangeListener

Method Summary

Modifier and Type	Method	Description
void	addListener(JustificationManager.ChangeListener listener)
org.semanticweb.owlapi.model.OWLAxiom	getEntailment()
org.protege.editor.owl.OWLEditorKit	getOwlEditorKit()
int	getPopularity(org.semanticweb.owlapi.model.OWLAxiom axiom)
int	getRemainingJustificationCount()
Collection<JustificationComputationService>	getServices()
JPanel	getSettingsPanel()
void	justificationFound(Set<org.semanticweb.owlapi.model.OWLAxiom> justification)	called each time a new justification is computed
void	justificationsOutdated()	fired when the justifications previously provided by the JustificationComputationManager may be out of date, i.e., they may be no longer correct for the current ontology or current settings and need to be recomputed
PrioritizedJustification	pollJustification()
void	removeListener(JustificationManager.ChangeListener listener)
void	selectJusificationService(JustificationComputationService service)	Sets the JustificationComputationService that should be used for computing justifications for getEntailment(); the computed justifications are updated if necessary.
void	settingsPanelChanged()	fired when the settings panel returned by JustificationComputationManager.getSettingsPanel() may have changed

Methods inherited from class java.lang.Object

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

Method Details

getEntailment

public org.semanticweb.owlapi.model.OWLAxiom getEntailment()

Returns:

the axiom for which the proofs are managed

getOwlEditorKit

public org.protege.editor.owl.OWLEditorKit getOwlEditorKit()

getServices

public Collection<JustificationComputationService> getServices()

Returns:

the JustificationComputationService that can be used for computing justifications for the getEntailment(), i.e., those for which JustificationComputationService.canJustify(OWLAxiom) is true

See Also:

• getEntailment()

getSettingsPanel

public JPanel getSettingsPanel()

selectJusificationService

public void selectJusificationService(JustificationComputationService service)

Sets the JustificationComputationService that should be used for computing justifications for getEntailment(); the computed justifications are updated if necessary. The JustificationComputationService must be from getServices().

Parameters:

service - the JustificationComputationService that should be used for computing justifications

See Also:

• getEntailment()
• getServices()

justificationsOutdated

public void justificationsOutdated()

Description copied from interface: JustificationComputationManager.ChangeListener

fired when the justifications previously provided by the JustificationComputationManager may be out of date, i.e., they may be no longer correct for the current ontology or current settings and need to be recomputed

Specified by:

justificationsOutdated in interface JustificationComputationManager.ChangeListener

settingsPanelChanged

public void settingsPanelChanged()

Description copied from interface: JustificationComputationManager.ChangeListener

fired when the settings panel returned by JustificationComputationManager.getSettingsPanel() may have changed

Specified by:

settingsPanelChanged in interface JustificationComputationManager.ChangeListener

justificationFound

public void justificationFound(Set<org.semanticweb.owlapi.model.OWLAxiom> justification)

Description copied from interface: JustificationListener

called each time a new justification is computed

Specified by:

justificationFound in interface JustificationListener

Parameters:

justification - the computed justification

addListener

public void addListener(JustificationManager.ChangeListener listener)

removeListener

public void removeListener(JustificationManager.ChangeListener listener)

pollJustification

public PrioritizedJustification pollJustification()

getRemainingJustificationCount

public int getRemainingJustificationCount()

getPopularity

public int getPopularity(org.semanticweb.owlapi.model.OWLAxiom axiom)