com.clarkparsia.owlapi.explanation

Interface TransactionAwareSingleExpGen

All Superinterfaces:

SingleExplanationGenerator

All Known Implementing Classes:

BlackBoxExplanation, SingleExplanationGeneratorImpl

public interface TransactionAwareSingleExpGen
extends SingleExplanationGenerator

transactional support for single explanation generator

Method Summary

Methods

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.

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

getExplanation, getOntology, getOntologyManager, getReasoner, getReasonerFactory

Method Detail

beginTransaction

void beginTransaction()

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.

endTransaction

void endTransaction()

End a transaction. See beginTransaction()