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 java.lang.Object
implements TransactionAwareSingleExpGen

Title: SingleExplanationGeneratorImpl

Description: An abstract implementation of SingleExplanationGenerator that can be used as the basis for different explanation generator techniques.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

SingleExplanationGeneratorImpl(OWLOntology ontology, OWLReasonerFactory reasonerFactory, 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()
OWLOntology	getOntology() Gets the ontologies according to which the explanations are generated
OWLOntologyManager	getOntologyManager() Get the ontology manager for this explanation generator.
OWLReasoner	getReasoner() Returns the reasoner associated with this generator.
OWLReasonerFactory	getReasonerFactory() Returns the reasoner factory used to create fresh reasoners.
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(OWLOntology ontology,
                                      OWLReasonerFactory reasonerFactory,
                                      OWLReasoner reasoner)

Method Detail

getOntologyManager

public OWLOntologyManager getOntologyManager()

Description copied from interface: SingleExplanationGenerator

Get the ontology manager for this explanation generator.

Specified by:

getOntologyManager in interface SingleExplanationGenerator

getReasoner

public OWLReasoner getReasoner()

Description copied from interface: SingleExplanationGenerator

Returns the reasoner associated with this generator.

Specified by:

getReasoner in interface SingleExplanationGenerator

getDefinitionTracker

public DefinitionTracker getDefinitionTracker()

getOntology

public OWLOntology getOntology()

Gets the ontologies according to which the explanations are generated

Specified by:

getOntology in interface SingleExplanationGenerator

Returns:

ont

getReasonerFactory

public OWLReasonerFactory getReasonerFactory()

Description copied from interface: SingleExplanationGenerator

Returns the reasoner factory used to create fresh reasoners.

Specified by:

getReasonerFactory in interface SingleExplanationGenerator

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