com.clarkparsia.owlapi.explanation

Class DefaultExplanationGenerator

java.lang.Object

com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

All Implemented Interfaces:

ExplanationGenerator

public class DefaultExplanationGenerator
extends java.lang.Object
implements ExplanationGenerator

Author: Matthew Horridge
Clark & Parsia, LLC
Bio-Health Informatics Group
Date: 24-Jan-2008

Constructor Summary

Constructors

Constructor and Description
DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, ExplanationProgressMonitor progressMonitor)
DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, OWLReasoner reasoner, ExplanationProgressMonitor progressMonitor)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Set<OWLAxiom>	getExplanation(OWLAxiom axiom)
java.util.Set<OWLAxiom>	getExplanation(OWLClassExpression unsatClass) Returns a single explanation for the given unsatisfiable class.
java.util.Set<java.util.Set<OWLAxiom>>	getExplanations(OWLAxiom axiom)
java.util.Set<java.util.Set<OWLAxiom>>	getExplanations(OWLAxiom axiom, int maxExplanations)
java.util.Set<java.util.Set<OWLAxiom>>	getExplanations(OWLClassExpression unsatClass) Returns all the explanations for the given unsatisfiable class.
java.util.Set<java.util.Set<OWLAxiom>>	getExplanations(OWLClassExpression unsatClass, int maxExplanations) Return a specified number of explanations for the given unsatisfiable class.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultExplanationGenerator

public DefaultExplanationGenerator(OWLOntologyManager man,
                           OWLReasonerFactory reasonerFactory,
                           OWLOntology ontology,
                           ExplanationProgressMonitor progressMonitor)

Parameters:

man - manager

reasonerFactory - reasoner factory

ontology - ontology to reason on

progressMonitor - progress monitor

DefaultExplanationGenerator

public DefaultExplanationGenerator(OWLOntologyManager man,
                           OWLReasonerFactory reasonerFactory,
                           OWLOntology ontology,
                           OWLReasoner reasoner,
                           ExplanationProgressMonitor progressMonitor)

Parameters:

man - manager

reasonerFactory - reasoner factory

ontology - ontology to reason on

reasoner - the reasoner to use

progressMonitor - progress monitor

Method Detail

getExplanation

public java.util.Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)

Description copied from interface: ExplanationGenerator

Returns a single explanation for the given unsatisfiable class.

Specified by:

getExplanation in interface ExplanationGenerator

Parameters:

unsatClass - The class that is unsatisfiable for which an explanation will be generated.

Returns:

A single explanation for the given unsatisfiable class, or empty set if the concept is satisfiable

getExplanation

public java.util.Set<OWLAxiom> getExplanation(OWLAxiom axiom)

Parameters:

axiom - the axiom to explain

Returns:

the explanation

getExplanations

public java.util.Set<java.util.Set<OWLAxiom>> getExplanations(OWLClassExpression unsatClass)

Description copied from interface: ExplanationGenerator

Returns all the explanations for the given unsatisfiable class.

Specified by:

getExplanations in interface ExplanationGenerator

Parameters:

unsatClass - The class that is unsatisfiable for which an explanation will be generated.

Returns:

All explanations for the given unsatisfiable class, or an empty set if the concept is satisfiable

getExplanations

public java.util.Set<java.util.Set<OWLAxiom>> getExplanations(OWLAxiom axiom)

Parameters:

axiom - the axiom to explain

Returns:

the set of explanations

getExplanations

public java.util.Set<java.util.Set<OWLAxiom>> getExplanations(OWLClassExpression unsatClass,
                                                     int maxExplanations)

Description copied from interface: ExplanationGenerator

Return a specified number of explanations for the given unsatisfiable class. A smaller number of explanations can be returned if there are not as many explanations for the given concept. The returned set will be empty if the given class is satisfiable,

Specified by:

getExplanations in interface ExplanationGenerator

Parameters:

unsatClass - The class that is unsatisfiable for which an explanation will be generated.

maxExplanations - Maximum number of explanations requested, or 0 to get all the explanations

Returns:

A specified number of explanations for the given unsatisfiable class, or an empty set if the concept is satisfiable

getExplanations

public java.util.Set<java.util.Set<OWLAxiom>> getExplanations(OWLAxiom axiom,
                                                     int maxExplanations)

Parameters:

maxExplanations - max number of explanations

axiom - the axiom to explain

Returns:

the set of explanations