com.clarkparsia.owlapi.explanation

Class GlassBoxExplanation

java.lang.Object

com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

com.clarkparsia.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	log

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	dispose()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
PelletReasoner	getReasoner()
PelletReasonerFactory	getReasonerFactory()
static void	setup() Very important initialization step that needs to be called once before a reasoner is created.
String	toString()

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

beginTransaction, endTransaction, getDefinitionTracker, getOntology, getOntologyManager, isFirstExplanation

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final Logger log

Constructor Detail

GlassBoxExplanation

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

GlassBoxExplanation

public GlassBoxExplanation(PelletReasoner reasoner)

GlassBoxExplanation

public GlassBoxExplanation(PelletReasonerFactory factory,
                   PelletReasoner 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 PelletReasoner getReasoner()

Specified by:

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

Overrides:

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

getReasonerFactory

public PelletReasonerFactory 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