org.semanticweb.owl.explanation.impl.setree

Class SETreeExplanationGenerator

java.lang.Object

org.semanticweb.owl.explanation.impl.setree.SETreeExplanationGenerator

All Implemented Interfaces:

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

public class SETreeExplanationGenerator
extends Object
implements ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom>

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 19-Jul-2010

Constructor Summary

Constructors

Constructor and Description
SETreeExplanationGenerator(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, Set<? extends org.semanticweb.owlapi.model.OWLAxiom> workingAxioms)

Method Summary

Methods

Modifier and Type	Method and Description
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.

Methods inherited from class java.lang.Object

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

Constructor Detail

SETreeExplanationGenerator

public SETreeExplanationGenerator(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                          EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
                          Set<? extends org.semanticweb.owlapi.model.OWLAxiom> workingAxioms)

Method Detail

getExplanations

public Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>> getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment)
                                                                        throws ExplanationException

Gets explanations for an entailment. All explanations for the entailment will be returned.

Specified by:

getExplanations in interface ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom>

Parameters:

entailment - The entailment for which explanations will be generated.

Returns:

A set containing all of the explanations. The set will be empty if the entailment does not hold.

Throws:

ExplanationException - if there was a problem generating the explanation.

getExplanations

public Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>> getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment,
                                                                      int limit)
                                                                        throws ExplanationException

Gets explanations for an entailment, with limit on the number of explanations returned.

Specified by:

getExplanations in interface ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom>

Parameters:

entailment - The entailment for which explanations will be generated.

limit - The maximum number of explanations to generate. This should be a positive integer.

Returns:

A set containing explanations. The maximum cardinality of the set is specified by the limit parameter. The set may be empty if the entailment does not hold, or if a limit of zero or less is supplied.

Throws:

ExplanationException - if there was a problem generating the explanation.