openllet.owlapi.explanation

Class PelletExplanation

java.lang.Object

openllet.owlapi.explanation.PelletExplanation

public class PelletExplanation
extends Object

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
PelletExplanation(OpenlletReasoner reasoner)
PelletExplanation(org.semanticweb.owlapi.model.OWLOntology ontology)
PelletExplanation(org.semanticweb.owlapi.model.OWLOntology ontology, boolean useGlassBox)

Method Summary

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLAxiom>	getEntailmentExplanation(org.semanticweb.owlapi.model.OWLAxiom axiom)
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getEntailmentExplanations(org.semanticweb.owlapi.model.OWLAxiom axiom)
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getEntailmentExplanations(org.semanticweb.owlapi.model.OWLAxiom axiom, int maxExplanations)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getInconsistencyExplanation()
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getInconsistencyExplanations()
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getInconsistencyExplanations(int maxExplanations)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getInstanceExplanation(org.semanticweb.owlapi.model.OWLIndividual ind, org.semanticweb.owlapi.model.OWLClassExpression cls)
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getInstanceExplanations(org.semanticweb.owlapi.model.OWLIndividual ind, org.semanticweb.owlapi.model.OWLClassExpression cls)
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getInstanceExplanations(org.semanticweb.owlapi.model.OWLIndividual ind, org.semanticweb.owlapi.model.OWLClassExpression cls, int maxExplanations)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getSubClassExplanation(org.semanticweb.owlapi.model.OWLClassExpression subClass, org.semanticweb.owlapi.model.OWLClassExpression superClass)
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getSubClassExplanations(org.semanticweb.owlapi.model.OWLClassExpression subClass, org.semanticweb.owlapi.model.OWLClassExpression superClass)
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getSubClassExplanations(org.semanticweb.owlapi.model.OWLClassExpression subClass, org.semanticweb.owlapi.model.OWLClassExpression superClass, int maxExplanations)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getUnsatisfiableExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass) Returns a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getUnsatisfiableExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass) Returns all the explanations for the given unsatisfiable class.
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getUnsatisfiableExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass, int maxExplanations) Return a specified number of explanations for the given unsatisfiable class.
static void	setup() Very important initialization step that needs to be called once before a reasoner is created.

Methods inherited from class java.lang.Object

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

Constructor Detail

PelletExplanation

public PelletExplanation(org.semanticweb.owlapi.model.OWLOntology ontology)

PelletExplanation

public PelletExplanation(org.semanticweb.owlapi.model.OWLOntology ontology,
                         boolean useGlassBox)

PelletExplanation

public PelletExplanation(OpenlletReasoner reasoner)

Method Detail

setup

public static void setup()

Very important initialization step that needs to be called once before a reasoner is created. This function will be called automatically when GlassBoxExplanation is loaded by the class loader. This function simply calls the GlassBoxExplanation.setup() function.

getEntailmentExplanation

public Set<org.semanticweb.owlapi.model.OWLAxiom> getEntailmentExplanation(org.semanticweb.owlapi.model.OWLAxiom axiom)

getEntailmentExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getEntailmentExplanations(org.semanticweb.owlapi.model.OWLAxiom axiom)

getEntailmentExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getEntailmentExplanations(org.semanticweb.owlapi.model.OWLAxiom axiom,
                                                                                 int maxExplanations)

getInconsistencyExplanation

public Set<org.semanticweb.owlapi.model.OWLAxiom> getInconsistencyExplanation()

getInconsistencyExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getInconsistencyExplanations()

getInconsistencyExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getInconsistencyExplanations(int maxExplanations)

getInstanceExplanation

public Set<org.semanticweb.owlapi.model.OWLAxiom> getInstanceExplanation(org.semanticweb.owlapi.model.OWLIndividual ind,
                                                                         org.semanticweb.owlapi.model.OWLClassExpression cls)

getInstanceExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getInstanceExplanations(org.semanticweb.owlapi.model.OWLIndividual ind,
                                                                               org.semanticweb.owlapi.model.OWLClassExpression cls)

getInstanceExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getInstanceExplanations(org.semanticweb.owlapi.model.OWLIndividual ind,
                                                                               org.semanticweb.owlapi.model.OWLClassExpression cls,
                                                                               int maxExplanations)

getSubClassExplanation

public Set<org.semanticweb.owlapi.model.OWLAxiom> getSubClassExplanation(org.semanticweb.owlapi.model.OWLClassExpression subClass,
                                                                         org.semanticweb.owlapi.model.OWLClassExpression superClass)

getSubClassExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getSubClassExplanations(org.semanticweb.owlapi.model.OWLClassExpression subClass,
                                                                               org.semanticweb.owlapi.model.OWLClassExpression superClass)

getSubClassExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getSubClassExplanations(org.semanticweb.owlapi.model.OWLClassExpression subClass,
                                                                               org.semanticweb.owlapi.model.OWLClassExpression superClass,
                                                                               int maxExplanations)

getUnsatisfiableExplanation

public Set<org.semanticweb.owlapi.model.OWLAxiom> getUnsatisfiableExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)

Returns a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.

Parameters:

unsatClass - an unsatisfiabile class expression which is will be explained

Returns:

set of axioms explaining the unsatisfiability of given class expression, or empty set if the given expression is satisfiable.

getUnsatisfiableExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getUnsatisfiableExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)

Returns all the explanations for the given unsatisfiable class.

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

getUnsatisfiableExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getUnsatisfiableExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass,
                                                                                    int maxExplanations)

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,

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