org.semanticweb.owl.explanation.impl.laconic

Class LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering

java.lang.Object

org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering

All Implemented Interfaces:

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

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

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 06/05/2011

Constructor Summary

Constructors

Constructor and Description
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)

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

LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering

public 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)

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.