Package org.liveontologies.protege.explanation.justification.service

Class JustificationComputationManager

java.lang.Object

org.liveontologies.protege.explanation.justification.service.JustificationComputationManager

public abstract class JustificationComputationManager
extends Object

Manages computation of justifications for a given OWLAxiom

Author:

Alexander Stupnikov Date: 08-02-2017, Yevgeny Kazakov

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	JustificationComputationManager.ChangeListener

Constructor Summary

Constructors

Constructor	Description
JustificationComputationManager(org.semanticweb.owlapi.model.OWLAxiom entailment, JustificationListener listener, JustificationComputation.InterruptMonitor monitor)	Constructs a computation object

Method Summary

Modifier and Type	Method	Description
void	addListener(JustificationComputationManager.ChangeListener listener)
abstract JustificationComputation	getComputation()
org.semanticweb.owlapi.model.OWLAxiom	getEntailment()
Collection<? extends Set<org.semanticweb.owlapi.model.OWLAxiom>>	getInitialJustifications()
JustificationComputation.InterruptMonitor	getInterruptMonitor()
JustificationListener	getJustificationListener()
JPanel	getSettingsPanel()
protected void	notifyJustificationsOutdated()	should be called each time the previously returned justifications bay become incorrect
void	removeListener(JustificationComputationManager.ChangeListener listener)

Methods inherited from class java.lang.Object

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

Constructor Details

JustificationComputationManager

public JustificationComputationManager(org.semanticweb.owlapi.model.OWLAxiom entailment,
 JustificationListener listener,
 JustificationComputation.InterruptMonitor monitor)

Constructs a computation object

Parameters:

entailment - an axiom to compute justifications for

listener - the JustificationListener using which new justifications are reported

monitor - the JustificationComputation.InterruptMonitor that is used to check if the computation has been interrupted

Method Details

getEntailment

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

Returns:

an axiom to compute justifications for

getJustificationListener

public JustificationListener getJustificationListener()

getInterruptMonitor

public JustificationComputation.InterruptMonitor getInterruptMonitor()

addListener

public void addListener(JustificationComputationManager.ChangeListener listener)

removeListener

public void removeListener(JustificationComputationManager.ChangeListener listener)

getSettingsPanel

public JPanel getSettingsPanel()

Returns:

the JPanel that can display settings for the computation of the justification or null if no setting panel is required.

getInitialJustifications

public Collection<? extends Set<org.semanticweb.owlapi.model.OWLAxiom>> getInitialJustifications()

Returns:

some initial justifications for getEntailment(); if the result is non-empty, these justifications will be initially shown in the explanation window. The returned collections of justifications may be not complete but each justification should be correct. There should not be a considerable delay for returning the justifications. This method is mainly intended when the previously computed justifications are cached.

getComputation

public abstract JustificationComputation getComputation()

Returns:

the JustificationComputation that can be used for computing justification; this computation should use the getJustificationListener() for reporting justifications and getInterruptMonitor() for monitoring when interrupt has been requested

notifyJustificationsOutdated

protected void notifyJustificationsOutdated()

should be called each time the previously returned justifications bay become incorrect