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

Class JustificationComputation

java.lang.Object

org.liveontologies.protege.explanation.justification.service.JustificationComputation

public abstract class JustificationComputation
extends Object

An object using which justification can be computed

Author:

Yevgeny Kazakov

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	JustificationComputation.InterruptMonitor

Constructor Summary

Constructors

Constructor	Description
JustificationComputation(JustificationListener listener, JustificationComputation.InterruptMonitor monitor)

Method Summary

Modifier and Type	Method	Description
boolean	isInterrupted()
protected void	notifyJustificationFound(Set<org.semanticweb.owlapi.model.OWLAxiom> justification)	Should be called each time a new justification is found
<P> boolean	setPrefferredPriority(JustificationPriorityComparator<P> comparator)	Sets the preferred priority for returning of justifications
abstract void	startComputation()	Initiate the computation of justifications;

Methods inherited from class java.lang.Object

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

Constructor Details

JustificationComputation

public JustificationComputation(JustificationListener listener,
 JustificationComputation.InterruptMonitor monitor)

Method Details

setPrefferredPriority

public <P> boolean setPrefferredPriority(JustificationPriorityComparator<P> comparator)

Sets the preferred priority for returning of justifications

Type Parameters:

P - the type of objects used to compare justifications

Parameters:

comparator - JustificationPriorityComparator that defines the order in which the justifications should be reported by the computation: justification with the smaller values of JustificationPriorityComparator.getPriority(java.util.Set<org.semanticweb.owlapi.model.OWLAxiom>) under the comparator should be returned first

Returns:

true if the value has been set and will be used in the computation and false otherwise

startComputation

public abstract void startComputation()

Initiate the computation of justifications;

notifyJustificationFound

protected void notifyJustificationFound(Set<org.semanticweb.owlapi.model.OWLAxiom> justification)

Should be called each time a new justification is found

Parameters:

justification - a new justification found by this computation

isInterrupted

public boolean isInterrupted()

Returns:

true if the computation has been interrupted and false otherwise