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

Packages that use ExplanationGenerator

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

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

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

Modifier and Type	Method and Description
ExplanationGenerator<E>	ExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology) Creates an explanation generator that draws source axioms for the explanation from an ontology and its imports closure.
ExplanationGenerator<E>	ExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology, ExplanationProgressMonitor<E> progressMonitor) Creates an explanation generator that draws source axioms for the explanation from an ontology and its imports closure.
ExplanationGenerator<E>	ExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms) Creates an explanation generator that generates explanations for entailments that hold over the specified set of axioms
ExplanationGenerator<E>	ExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, ExplanationProgressMonitor<E> progressMonitor) Creates an explanation generator that generates explanations for entailments that hold over the specified set of axioms

Methods in org.semanticweb.owl.explanation.api with parameters of type ExplanationGenerator

Modifier and Type	Method and Description
void	NullExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> eExplanation, Set<Explanation<E>> allFoundExplanations)
void	ExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> generator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations) Called by explanation generators that support progress monitors.
void	ConsoleExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allExplanations)

Uses of ExplanationGenerator in org.semanticweb.owl.explanation.impl.blackbox

Classes in org.semanticweb.owl.explanation.impl.blackbox that implement ExplanationGenerator

Modifier and Type	Class and Description
class	BlackBoxExplanationGenerator<E> Deprecated. Use BlackBoxExplanationGenerator2
class	BlackBoxExplanationGenerator2<E> Author: Matthew Horridge The University of Manchester Information Management Group Date: 18-Feb-2010

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

Methods in org.semanticweb.owl.explanation.impl.blackbox.checker that return ExplanationGenerator

Modifier and Type	Method and Description
ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom>	InconsistentOntologyExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology)
ExplanationGenerator<E>	BlackBoxExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology)
ExplanationGenerator<E>	BlackBoxExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology, ExplanationProgressMonitor<E> progressMonitor)
ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom>	InconsistentOntologyExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)
ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom>	InconsistentOntologyExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
ExplanationGenerator<E>	BlackBoxExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
ExplanationGenerator<E>	BlackBoxExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, ExplanationProgressMonitor<E> progressMonitor)
ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom>	InconsistentOntologyExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)

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

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

Modifier and Type	Class and Description
class	LaconicExplanationGenerator<E> Author: Matthew Horridge The University Of Manchester Information Management Group Date: 15-Sep-2008
class	LaconicExplanationGeneratorBasedOnDeltaPlus Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 11/04/2011
class	LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 06/05/2011
class	LaconicExplanationGeneratorBasedOnOPlus Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 23/04/2011
class	LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 26/04/2011

Methods in org.semanticweb.owl.explanation.impl.laconic that return ExplanationGenerator

Modifier and Type	Method and Description
ExplanationGenerator<E>	LaconicExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology)
ExplanationGenerator<E>	LaconicExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology, ExplanationProgressMonitor<E> progressMonitor)
ExplanationGenerator<E>	LaconicExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
ExplanationGenerator<E>	LaconicExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, ExplanationProgressMonitor<E> progressMonitor)

Methods in org.semanticweb.owl.explanation.impl.laconic with parameters of type ExplanationGenerator

Modifier and Type	Method and Description
void	LaconicExplanationGenerator.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations)

Uses of ExplanationGenerator in org.semanticweb.owl.explanation.impl.setree

Classes in org.semanticweb.owl.explanation.impl.setree that implement ExplanationGenerator

Modifier and Type	Class and Description
class	SETreeExplanationGenerator Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 19-Jul-2010