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()
Gets the definition tracker.
|
OWLOntology |
getOntology()
Gets the ontology.
|
OWLOntologyManager |
getOntologyManager()
Gets the ontology manager.
|
OWLReasoner |
getReasoner() |
OWLReasonerFactory |
getReasonerFactory()
Gets the reasoner factory.
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getExplanation
public SingleExplanationGeneratorImpl(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner)
ontology
- the ontologyreasonerFactory
- the reasoner factoryreasoner
- the reasonerpublic OWLOntologyManager getOntologyManager()
SingleExplanationGenerator
getOntologyManager
in interface SingleExplanationGenerator
public OWLReasoner getReasoner()
getReasoner
in interface SingleExplanationGenerator
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 © 2017 The University of Manchester. All Rights Reserved.