openllet.owlapi.explanation

Class GlassBoxExplanation

java.lang.Object

com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

openllet.owlapi.explanation.GlassBoxExplanation

All Implemented Interfaces:

com.clarkparsia.owlapi.explanation.SingleExplanationGenerator, com.clarkparsia.owlapi.explanation.TransactionAwareSingleExpGen

public class GlassBoxExplanation
extends com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

Title: GlassBoxExplanation

Description: Implementation of SingleExplanationGenerator interface using the axiom tracing facilities of Pellet.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	_logger

Constructor Summary

Constructors

Constructor and Description
GlassBoxExplanation(OpenlletReasoner reasoner)
GlassBoxExplanation(OpenlletReasonerFactory factory, OpenlletReasoner reasoner)
GlassBoxExplanation(org.semanticweb.owlapi.model.OWLOntology ontology, OpenlletReasonerFactory factory)

Method Summary

Modifier and Type	Method and Description
void	dispose()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
OpenlletReasoner	getReasoner()
OpenlletReasonerFactory	getReasonerFactory()
static void	setup() Very important initialization step that needs to be called once before a reasoner is created. this function will be called automatically when GlassBoxExplanation is loaded by the class loader.
String	toString()

Methods inherited from class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

beginTransaction, endTransaction, getDefinitionTracker, getOntology, getOntologyManager

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_logger

public static final Logger _logger

Constructor Detail

GlassBoxExplanation

public GlassBoxExplanation(org.semanticweb.owlapi.model.OWLOntology ontology,
                           OpenlletReasonerFactory factory)

GlassBoxExplanation

public GlassBoxExplanation(OpenlletReasoner reasoner)

GlassBoxExplanation

public GlassBoxExplanation(OpenlletReasonerFactory factory,
                           OpenlletReasoner reasoner)

Method Detail

setup

public static void setup()

Very important initialization step that needs to be called once before a reasoner is created. this function will be called automatically when GlassBoxExplanation is loaded by the class loader.

getExplanation

public Set<org.semanticweb.owlapi.model.OWLAxiom> getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)

getReasoner

public OpenlletReasoner getReasoner()

Specified by:

getReasoner in interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

Overrides:

getReasoner in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

getReasonerFactory

public OpenlletReasonerFactory getReasonerFactory()

Specified by:

getReasonerFactory in interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

Overrides:

getReasonerFactory in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

dispose

public void dispose()

toString

public String toString()

Overrides:

toString in class Object