com.clarkparsia.owlapi.explanation

Class SingleExplanationGeneratorImpl

java.lang.Object

com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

All Implemented Interfaces:

SingleExplanationGenerator, TransactionAwareSingleExpGen

Direct Known Subclasses:

BlackBoxExplanation

public abstract class SingleExplanationGeneratorImpl
extends Object
implements TransactionAwareSingleExpGen

Implementation of single explanation generator.

Constructor Summary

Constructors

Constructor and Description
SingleExplanationGeneratorImpl(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner) Instantiates a new single explanation generator impl.

Method Summary

Modifier and Type	Method and Description
void	beginTransaction() Indicates to the explanation generator that a transaction which may modify the ontology state is starting.
void	endTransaction() End a transaction.
DefinitionTracker	getDefinitionTracker() Gets the definition tracker.
OWLOntology	getOntology() Gets the ontology.
OWLOntologyManager	getOntologyManager() Gets the ontology manager.
OWLReasoner	getReasoner()
OWLReasonerFactory	getReasonerFactory() Gets the reasoner factory.
protected boolean	isFirstExplanation() Checks if is first explanation.

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

getExplanation

Constructor Detail

SingleExplanationGeneratorImpl

public SingleExplanationGeneratorImpl(OWLOntology ontology,
                                      OWLReasonerFactory reasonerFactory,
                                      OWLReasoner reasoner)

Instantiates a new single explanation generator impl.

Parameters:

ontology - the ontology

reasonerFactory - the reasoner factory

reasoner - the reasoner

Method Detail

getOntologyManager

public OWLOntologyManager getOntologyManager()

Description copied from interface: SingleExplanationGenerator

Gets the ontology manager.

Specified by:

getOntologyManager in interface SingleExplanationGenerator

Returns:

the ontology manager for this explanation generator.

getReasoner

public OWLReasoner getReasoner()

Specified by:

getReasoner in interface SingleExplanationGenerator

Returns:

the reasoner associated with this generator.

getDefinitionTracker

public DefinitionTracker getDefinitionTracker()

Gets the definition tracker.

Returns:

the definition tracker

getOntology

public OWLOntology getOntology()

Description copied from interface: SingleExplanationGenerator

Gets the ontology.

Specified by:

getOntology in interface SingleExplanationGenerator

Returns:

the ontology according to which the explanations are generated

getReasonerFactory

public OWLReasonerFactory getReasonerFactory()

Description copied from interface: SingleExplanationGenerator

Gets the reasoner factory.

Specified by:

getReasonerFactory in interface SingleExplanationGenerator

Returns:

the reasoner factory used to create fresh reasoners.

isFirstExplanation

protected boolean isFirstExplanation()

Checks if is first explanation.

Returns:

true, if is first explanation

beginTransaction

public void beginTransaction()

Description copied from interface: TransactionAwareSingleExpGen

Indicates to the explanation generator that a transaction which may modify the ontology state is starting. Intended to allow the explanation generator to efficiently preserve state when used by HSTExplanationGenerator.

Specified by:

beginTransaction in interface TransactionAwareSingleExpGen

endTransaction

public void endTransaction()

Description copied from interface: TransactionAwareSingleExpGen

End a transaction. See TransactionAwareSingleExpGen.beginTransaction()

Specified by:

endTransaction in interface TransactionAwareSingleExpGen