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

Class JustificationComputationService

java.lang.Object

org.liveontologies.protege.explanation.justification.service.JustificationComputationService

All Implemented Interfaces:

org.protege.editor.core.Disposable, org.protege.editor.core.plugin.ProtegePluginInstance

public abstract class JustificationComputationService
extends Object
implements org.protege.editor.core.plugin.ProtegePluginInstance

A skeleton for a plugin that can provide justification based explanation for OWL axioms and inconsistent ontologies

Author:

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

Constructor Summary

Constructors

Constructor	Description
JustificationComputationService()

Method Summary

Modifier and Type	Method	Description
abstract boolean	canJustify(org.semanticweb.owlapi.model.OWLAxiom entailment)	Check if computation of justifications is supported for a given OWLAxiom
boolean	canJustifyInconsistentOntology()
abstract JustificationComputationManager	createComputationManager(org.semanticweb.owlapi.model.OWLAxiom entailment, JustificationListener listener, JustificationComputation.InterruptMonitor monitor)	Creates a JustificationComputationManager computation object designed to compute everything regarding the service.
JustificationComputationManager	createInconsistentOntologyJustificationComputation(JustificationListener listener, JustificationComputation.InterruptMonitor monitor)
abstract String	getName()	Should return a name for the plugin
org.protege.editor.owl.OWLEditorKit	getOWLEditorKit()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.protege.editor.core.Disposable

dispose

Methods inherited from interface org.protege.editor.core.plugin.ProtegePluginInstance

initialise

Constructor Details

JustificationComputationService

public JustificationComputationService()

Method Details

canJustify

public abstract boolean canJustify(org.semanticweb.owlapi.model.OWLAxiom entailment)

Check if computation of justifications is supported for a given OWLAxiom

Parameters:

entailment - an OWLAxiom for which justification should be computed

Returns:

true if createComputationManager(org.semanticweb.owlapi.model.OWLAxiom, org.liveontologies.protege.explanation.justification.service.JustificationListener, org.liveontologies.protege.explanation.justification.service.JustificationComputation.InterruptMonitor) can compute the output for the given OWLAxiom

createComputationManager

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

Creates a JustificationComputationManager computation object designed to compute everything regarding the service.

Parameters:

entailment - an axiom to compute justification for

listener - a listener through which to report the computed justifications

monitor - an object that should be used to see if the computation should be interrupted

Returns:

JustificationComputationManager which maintains computations for the entailment

canJustifyInconsistentOntology

public boolean canJustifyInconsistentOntology()

Returns:

true if createInconsistentOntologyJustificationComputation(org.liveontologies.protege.explanation.justification.service.JustificationListener, org.liveontologies.protege.explanation.justification.service.JustificationComputation.InterruptMonitor) can compute the output

createInconsistentOntologyJustificationComputation

public JustificationComputationManager createInconsistentOntologyJustificationComputation(JustificationListener listener,
 JustificationComputation.InterruptMonitor monitor)

getName

public abstract String getName()

Should return a name for the plugin

Returns:

the name to be displayed in available plugins list

toString

public String toString()

Overrides:

toString in class Object

getOWLEditorKit

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

Returns:

OWLEditorKit for the service.