com.clarkparsia.owlapi.explanation

Class HSTExplanationGenerator

java.lang.Object

com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

All Implemented Interfaces:

ExplanationGenerator, MultipleExplanationGenerator, SingleExplanationGenerator

public class HSTExplanationGenerator
extends Object
implements MultipleExplanationGenerator

HST explanation generator

Constructor Summary

Constructors

Constructor and Description
HSTExplanationGenerator(TransactionAwareSingleExpGen singleExplanationGenerator)

Method Summary

Methods

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLAxiom>	getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass) Returns a single explanation for the given unsatisfiable class.
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass) Returns all the explanations for the given unsatisfiable class.
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass, int maxExplanations) Return a specified number of explanations for the given unsatisfiable class.
protected static int	getOccurrences(org.semanticweb.owlapi.model.OWLAxiom ax, Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> axiomSets) Given an axiom and a set of axioms this method determines how many sets contain the axiom.
org.semanticweb.owlapi.model.OWLOntology	getOntology()
org.semanticweb.owlapi.model.OWLOntologyManager	getOntologyManager()
org.semanticweb.owlapi.reasoner.OWLReasoner	getReasoner()
org.semanticweb.owlapi.reasoner.OWLReasonerFactory	getReasonerFactory()
TransactionAwareSingleExpGen	getSingleExplanationGenerator()
void	setProgressMonitor(ExplanationProgressMonitor progressMonitor) Sets the progress monitor for this multiple explanation generator.

Methods inherited from class java.lang.Object

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

Constructor Detail

HSTExplanationGenerator

public HSTExplanationGenerator(TransactionAwareSingleExpGen singleExplanationGenerator)

Parameters:

singleExplanationGenerator - explanation generator to use

Method Detail

setProgressMonitor

public void setProgressMonitor(ExplanationProgressMonitor progressMonitor)

Description copied from interface: MultipleExplanationGenerator

Sets the progress monitor for this multiple explanation generator.

Specified by:

setProgressMonitor in interface MultipleExplanationGenerator

Parameters:

progressMonitor - The progress monitor.

getOntologyManager

public org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()

Specified by:

getOntologyManager in interface SingleExplanationGenerator

Returns:

the ontology manager for this explanation generator.

getOntology

public org.semanticweb.owlapi.model.OWLOntology getOntology()

Specified by:

getOntology in interface SingleExplanationGenerator

Returns:

the ontology according to which the explanations are generated

getReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()

Specified by:

getReasoner in interface SingleExplanationGenerator

Returns:

the reasoner associated with this generator.

getReasonerFactory

public org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory()

Specified by:

getReasonerFactory in interface SingleExplanationGenerator

Returns:

the reasoner factory used to create fresh reasoners.

getSingleExplanationGenerator

public TransactionAwareSingleExpGen getSingleExplanationGenerator()

Returns:

the explanation generator

getExplanation

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

Description copied from interface: ExplanationGenerator

Returns a single explanation for the given unsatisfiable class.

Specified by:

getExplanation in interface ExplanationGenerator

Specified by:

getExplanation in interface SingleExplanationGenerator

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

getExplanations

public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getExplanations(org.semanticweb.owlapi.model.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 Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getExplanations(org.semanticweb.owlapi.model.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

getOccurrences

protected static int getOccurrences(org.semanticweb.owlapi.model.OWLAxiom ax,
                 Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> axiomSets)

Given an axiom and a set of axioms this method determines how many sets contain the axiom.

Parameters:

ax - The axiom that will be counted.

axiomSets - The sets to count from