org.semanticweb.owl.explanation.impl.laconic

Class LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering

java.lang.Object

org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering

All Implemented Interfaces:

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

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

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

Constructor Summary

Constructors

Constructor and Description

LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor, OPlusSplitting spiltting, ModularityTreatment inputType)

Method Summary

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

LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering

public LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
                                                                     EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
                                                                     ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory,
                                                                     ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor,
                                                                     OPlusSplitting spiltting,
                                                                     ModularityTreatment inputType)

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.