org.semanticweb.owl.explanation.api

Class ExplanationManager

java.lang.Object

org.semanticweb.owl.explanation.api.ExplanationManager

public class ExplanationManager
extends Object

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 19-Nov-2008 An explanation utility class that creates the default explanation generators.

Constructor Summary

Constructors

Constructor and Description
ExplanationManager()

Method Summary

Methods

Modifier and Type	Method and Description
static <E> ExplanationGeneratorFactory<E>	createExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory)
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>	createExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory) Creates an explanation generator factory that will produce explanation generators that generate explanations as to why an checker is entailed by a set of axioms.
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>	createExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) Creates an explanation generator factory that will produce explanation generators that generate explanations as to why an checker is entailed by a set of axioms.
static <E> ExplanationGeneratorFactory<E>	createLaconicExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory)
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>	createLaconicExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>	createLaconicExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExplanationManager

public ExplanationManager()

Method Detail

createExplanationGeneratorFactory

public static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> createExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Creates an explanation generator factory that will produce explanation generators that generate explanations as to why an checker is entailed by a set of axioms.

Parameters:

reasonerFactory - A reasoner factory that can be used for creating new reasoners if necessary

Returns:

An explanation generatory factory that creates explanation generators for entailed axioms

createExplanationGeneratorFactory

public static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> createExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                                                                                                   ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)

Creates an explanation generator factory that will produce explanation generators that generate explanations as to why an checker is entailed by a set of axioms.

Parameters:

reasonerFactory - A reasoner factory that can be used for creating new reasoners if necessary

progressMonitor - An explanation progress monitor

Returns:

An explanation generatory factory that creates explanation generators for entailed axioms

createLaconicExplanationGeneratorFactory

public static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> createLaconicExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

createLaconicExplanationGeneratorFactory

public static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> createLaconicExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                                                                                                          ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)

createExplanationGeneratorFactory

public static <E> ExplanationGeneratorFactory<E> createExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory)

createLaconicExplanationGeneratorFactory

public static <E> ExplanationGeneratorFactory<E> createLaconicExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory)