org.semanticweb.owl.explanation.api

Interface ExplanationGeneratorFactory<E>

All Known Implementing Classes:

BlackBoxExplanationGeneratorFactory, InconsistentOntologyExplanationGeneratorFactory, LaconicExplanationGeneratorFactory

public interface ExplanationGeneratorFactory<E>

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

An interface that describes a factory that can create an explanation generator. It is assumed that an explanation generator generates explanations from a set of source axioms that are obtained from a set of ontolgies.

Method Summary

Modifier and Type	Method and Description
ExplanationGenerator<E>	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>	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>	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>	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

Method Detail

createExplanationGenerator

ExplanationGenerator<E> 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.

Parameters:

ontology - The ontology from which the source axioms are obtained.

Returns:

An explanation generator that generates explanations based on the axioms in the imports closure of the specified ontology

createExplanationGenerator

ExplanationGenerator<E> 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.

Parameters:

ontology - The ontology from which the source axioms are obtained.

progressMonitor - A progress monitor that gets informed of when explanations are found (should not be null)

Returns:

An explanation generator that generates explanations based on the axioms in the imports closure of the specified ontology

createExplanationGenerator

ExplanationGenerator<E> 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

Parameters:

axioms - The axioms that give rise to the entailments

Returns:

An explanation generator that generates explanations based on the specified set of axioms

createExplanationGenerator

ExplanationGenerator<E> 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

Parameters:

axioms - The axioms that give rise to the entailments

progressMonitor - A progress monitor that gets informed of when explanations are found (should not be null)

Returns:

An explanation generator that generates explanations based on the specified set of axioms