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 -
Method Summary
Modifier and TypeMethodDescriptionvoidorg.semanticweb.owlapi.model.OWLAxiomorg.protege.editor.owl.OWLEditorKitintgetPopularity(org.semanticweb.owlapi.model.OWLAxiom axiom) intvoidjustificationFound(Set<org.semanticweb.owlapi.model.OWLAxiom> justification) called each time a new justification is computedvoidfired when the justifications previously provided by theJustificationComputationManagermay be out of date, i.e., they may be no longer correct for the current ontology or current settings and need to be recomputedvoidvoidSets theJustificationComputationServicethat should be used for computing justifications forgetEntailment(); the computed justifications are updated if necessary.voidfired when the settings panel returned byJustificationComputationManager.getSettingsPanel()may have changed
-
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
- Returns:
- the
JustificationComputationServicethat can be used for computing justifications for thegetEntailment(), i.e., those for whichJustificationComputationService.canJustify(OWLAxiom)istrue - See Also:
-
getSettingsPanel
-
selectJusificationService
Sets theJustificationComputationServicethat should be used for computing justifications forgetEntailment(); the computed justifications are updated if necessary. TheJustificationComputationServicemust be fromgetServices().- Parameters:
service- theJustificationComputationServicethat should be used for computing justifications- See Also:
-
justificationsOutdated
public void justificationsOutdated()Description copied from interface:JustificationComputationManager.ChangeListenerfired when the justifications previously provided by theJustificationComputationManagermay 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:
justificationsOutdatedin interfaceJustificationComputationManager.ChangeListener
-
settingsPanelChanged
public void settingsPanelChanged()Description copied from interface:JustificationComputationManager.ChangeListenerfired when the settings panel returned byJustificationComputationManager.getSettingsPanel()may have changed- Specified by:
settingsPanelChangedin interfaceJustificationComputationManager.ChangeListener
-
justificationFound
Description copied from interface:JustificationListenercalled each time a new justification is computed- Specified by:
justificationFoundin interfaceJustificationListener- Parameters:
justification- the computed justification
-
addListener
-
removeListener
-
pollJustification
-
getRemainingJustificationCount
public int getRemainingJustificationCount() -
getPopularity
public int getPopularity(org.semanticweb.owlapi.model.OWLAxiom axiom)
-