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.
| Constructor and Description |
|---|
GlassBoxExplanation(org.semanticweb.owlapi.model.OWLOntology ontology,
PelletReasonerFactory factory) |
GlassBoxExplanation(PelletReasoner reasoner) |
GlassBoxExplanation(PelletReasonerFactory factory,
PelletReasoner reasoner) |
| Modifier and Type | Method and Description |
|---|---|
void |
dispose() |
void |
endTransaction() |
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() |
public static final Logger log
public GlassBoxExplanation(org.semanticweb.owlapi.model.OWLOntology ontology,
PelletReasonerFactory factory)
public GlassBoxExplanation(PelletReasoner reasoner)
public GlassBoxExplanation(PelletReasonerFactory factory, PelletReasoner reasoner)
public static void setup()
public void endTransaction()
endTransaction in interface com.clarkparsia.owlapi.explanation.TransactionAwareSingleExpGenendTransaction in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImplpublic Set<org.semanticweb.owlapi.model.OWLAxiom> getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
public PelletReasoner getReasoner()
getReasoner in interface com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorgetReasoner in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImplpublic PelletReasonerFactory getReasonerFactory()
getReasonerFactory in interface com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorgetReasonerFactory in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImplpublic void dispose()
Copyright © 2019. All rights reserved.