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

Constructor Summary

SingleExplanationGeneratorImpl(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Method Summary

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()
org.semanticweb.owlapi.model.OWLOntology	getOntology()
org.semanticweb.owlapi.model.OWLOntologyManager	getOntologyManager()
org.semanticweb.owlapi.reasoner.OWLReasoner	getReasoner()
org.semanticweb.owlapi.reasoner.OWLReasonerFactory	getReasonerFactory()
protected boolean	isFirstExplanation()

Methods inherited from class java.lang.Object

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

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

getExplanation

Constructor Detail

SingleExplanationGeneratorImpl

public SingleExplanationGeneratorImpl(org.semanticweb.owlapi.model.OWLOntology ontology,
                                      org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                                      org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Method Detail

getOntologyManager

public org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()

Specified by:

getOntologyManager in interface SingleExplanationGenerator

Returns:

the ontology manager for this explanation generator.

getReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()

Specified by:

getReasoner in interface SingleExplanationGenerator

Returns:

the reasoner associated with this generator.

getDefinitionTracker

public DefinitionTracker getDefinitionTracker()

getOntology

public org.semanticweb.owlapi.model.OWLOntology getOntology()

Specified by:

getOntology in interface SingleExplanationGenerator

Returns:

the ontology according to which the explanations are generated

getReasonerFactory

public org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory()

Specified by:

getReasonerFactory in interface SingleExplanationGenerator

Returns:

the reasoner factory used to create fresh reasoners.

isFirstExplanation

protected boolean isFirstExplanation()

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