public abstract class SingleExplanationGeneratorImpl extends Object implements TransactionAwareSingleExpGen
Constructor and Description |
---|
SingleExplanationGeneratorImpl(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner)
Instantiates a new single explanation generator impl.
|
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.
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
dispose, getExplanation
public SingleExplanationGeneratorImpl(@Nonnull OWLOntology ontology, @Nonnull OWLReasonerFactory reasonerFactory, @Nonnull OWLReasoner reasoner)
ontology
- the ontologyreasonerFactory
- the reasoner factoryreasoner
- the reasonerpublic OWLOntologyManager getOntologyManager()
SingleExplanationGenerator
getOntologyManager
in interface SingleExplanationGenerator
public OWLReasoner getReasoner()
SingleExplanationGenerator
getReasoner
in interface SingleExplanationGenerator
@Nonnull public DefinitionTracker getDefinitionTracker()
public OWLOntology getOntology()
SingleExplanationGenerator
getOntology
in interface SingleExplanationGenerator
public OWLReasonerFactory getReasonerFactory()
SingleExplanationGenerator
getReasonerFactory
in interface SingleExplanationGenerator
public void beginTransaction()
TransactionAwareSingleExpGen
HSTExplanationGenerator
.beginTransaction
in interface TransactionAwareSingleExpGen
public void endTransaction()
TransactionAwareSingleExpGen
TransactionAwareSingleExpGen.beginTransaction()
endTransaction
in interface TransactionAwareSingleExpGen
Copyright © 2020 The University of Manchester. All rights reserved.