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

The Class SingleExplanationGeneratorImpl.

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()
OWLOntology	getOntology() Gets the ontology.
OWLOntologyManager	getOntologyManager() Gets the ontology manager.
OWLReasoner	getReasoner() Gets the reasoner.
OWLReasonerFactory	getReasonerFactory() Gets the reasoner factory.

Methods inherited from class java.lang.Object

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

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

dispose, getExplanation

Constructor Detail

SingleExplanationGeneratorImpl

public SingleExplanationGeneratorImpl(@Nonnull
                                      OWLOntology ontology,
                                      @Nonnull
                                      OWLReasonerFactory reasonerFactory,
                                      @Nonnull
                                      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()

Description copied from interface: SingleExplanationGenerator

Gets the reasoner.

Specified by:

getReasoner in interface SingleExplanationGenerator

Returns:

the reasoner associated with this generator.

getDefinitionTracker

@Nonnull
public DefinitionTracker getDefinitionTracker()

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.

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