Uses of Interface
org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory

Packages that use ExplanationGeneratorFactory

Package	Description
org.semanticweb.owl.explanation.api
org.semanticweb.owl.explanation.impl.blackbox.checker
org.semanticweb.owl.explanation.impl.laconic

Uses of ExplanationGeneratorFactory in org.semanticweb.owl.explanation.api

Methods in org.semanticweb.owl.explanation.api that return ExplanationGeneratorFactory

Modifier and Type	Method and Description
static <E> ExplanationGeneratorFactory<E>	ExplanationManager.createExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory)
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>	ExplanationManager.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>	ExplanationManager.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>	ExplanationManager.createLaconicExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory)
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>	ExplanationManager.createLaconicExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>	ExplanationManager.createLaconicExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)

Uses of ExplanationGeneratorFactory in org.semanticweb.owl.explanation.impl.blackbox.checker

Classes in org.semanticweb.owl.explanation.impl.blackbox.checker that implement ExplanationGeneratorFactory

Modifier and Type	Class and Description
class	BlackBoxExplanationGeneratorFactory<E> Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 A factory that creates a black box explanation generator.
class	InconsistentOntologyExplanationGeneratorFactory Author: Matthew Horridge The University of Manchester Information Management Group Date: 14-May-2009

Uses of ExplanationGeneratorFactory in org.semanticweb.owl.explanation.impl.laconic

Classes in org.semanticweb.owl.explanation.impl.laconic that implement ExplanationGeneratorFactory

Modifier and Type	Class and Description
class	LaconicExplanationGeneratorFactory<E> Author: Matthew Horridge The University Of Manchester Information Management Group Date: 15-Sep-2008

Constructors in org.semanticweb.owl.explanation.impl.laconic with parameters of type ExplanationGeneratorFactory

Constructor and Description
LaconicExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, ExplanationGeneratorFactory<E> explanationGeneratorFactory, ExplanationProgressMonitor<E> progressMonitor)
LaconicExplanationGeneratorBasedOnDeltaPlus(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)
LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering(Set<org.semanticweb.owlapi.model.OWLAxiom> inputAxioms, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> cf, ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegate, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)
LaconicExplanationGeneratorBasedOnOPlus(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)
LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor, OPlusSplitting spiltting, ModularityTreatment inputType)
LaconicExplanationGeneratorFactory(ExplanationGeneratorFactory<E> explanationGeneratorFactory)