public abstract class SingleExplanationGeneratorImpl extends java.lang.Object implements TransactionAwareSingleExpGen
Constructor and Description |
---|
SingleExplanationGeneratorImpl(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner) |
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() |
OWLOntologyManager |
getOntologyManager() |
OWLReasoner |
getReasoner() |
OWLReasonerFactory |
getReasonerFactory() |
protected boolean |
isFirstExplanation() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getExplanation
public SingleExplanationGeneratorImpl(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner)
public OWLOntologyManager getOntologyManager()
getOntologyManager
in interface SingleExplanationGenerator
public OWLReasoner getReasoner()
getReasoner
in interface SingleExplanationGenerator
public DefinitionTracker getDefinitionTracker()
public OWLOntology getOntology()
getOntology
in interface SingleExplanationGenerator
public OWLReasonerFactory getReasonerFactory()
getReasonerFactory
in interface SingleExplanationGenerator
protected boolean isFirstExplanation()
public void beginTransaction()
TransactionAwareSingleExpGen
HSTExplanationGenerator
.beginTransaction
in interface TransactionAwareSingleExpGen
public void endTransaction()
TransactionAwareSingleExpGen
TransactionAwareSingleExpGen.beginTransaction()
endTransaction
in interface TransactionAwareSingleExpGen