org.semanticweb.owl.explanation.impl.blackbox.checker

Class InconsistentOntologyExplanationGeneratorFactory

java.lang.Object

org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory

All Implemented Interfaces:

ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>

public class InconsistentOntologyExplanationGeneratorFactory
extends Object
implements ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 14-May-2009

Constructor Summary

Constructors

Constructor and Description
InconsistentOntologyExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, long entailmentCheckingTimeout)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

InconsistentOntologyExplanationGeneratorFactory

public InconsistentOntologyExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                                                       long entailmentCheckingTimeout)

Method Detail

createExplanationGenerator

public ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom> createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology)

Description copied from interface: ExplanationGeneratorFactory

Creates an explanation generator that draws source axioms for the explanation from an ontology and its imports closure.

Specified by:

createExplanationGenerator in interface ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>

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

public ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom> createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                                              ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)

Description copied from interface: ExplanationGeneratorFactory

Creates an explanation generator that draws source axioms for the explanation from an ontology and its imports closure.

Specified by:

createExplanationGenerator in interface ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>

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

public ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom> createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)

Description copied from interface: ExplanationGeneratorFactory

Creates an explanation generator that generates explanations for entailments that hold over the specified set of axioms

Specified by:

createExplanationGenerator in interface ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>

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

public ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom> createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
                                                                                              ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)

Description copied from interface: ExplanationGeneratorFactory

Creates an explanation generator that generates explanations for entailments that hold over the specified set of axioms

Specified by:

createExplanationGenerator in interface ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom>

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