org.semanticweb.owl.explanation.impl.blackbox.hst

Class HittingSetTree<E>

java.lang.Object

org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree<E>

All Implemented Interfaces:

org.semanticweb.owl.explanation.telemetry.TelemetryObject

public class HittingSetTree<E>
extends Object
implements org.semanticweb.owl.explanation.telemetry.TelemetryObject

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

Constructor Summary

Constructors

Constructor and Description
HittingSetTree(HittingSetTreeConstructionStrategy<E> strategy, ExplanationProgressMonitor<E> progressMonitor)

Method Summary

Modifier and Type	Method and Description
void	addClosedPath(Set<org.semanticweb.owlapi.model.OWLAxiom> pathContents)
void	addExplanation(Explanation<E> explanation)
boolean	addExploredPath(Set<org.semanticweb.owlapi.model.OWLAxiom> currentPath)
void	buildHittingSetTree(E entailment, int limit, ExplanationGeneratorMediator<E> generatorMediator)
boolean	containsClosedPath(Set<org.semanticweb.owlapi.model.OWLAxiom> path)
Set<Explanation<E>>	getExplanations()
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getExploredPaths()
String	getPreferredSerialisedName()
ExplanationProgressMonitor<E>	getProgressMonitor()
HittingSetTreeNode<E>	getRoot()
List<Explanation<E>>	getSortedExplanations()
void	incrementNumberOfNodesWithCallsToFindOne() The number of calls to find one.
void	incrementNumberOfNodesWithReusedJustifications()
boolean	isSerialisedAsXML()
void	removeCurrentPath(Set<org.semanticweb.owlapi.model.OWLAxiom> currentPath)
void	serialise(OutputStream outputStream)

Methods inherited from class java.lang.Object

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

Constructor Detail

HittingSetTree

public HittingSetTree(HittingSetTreeConstructionStrategy<E> strategy,
                      ExplanationProgressMonitor<E> progressMonitor)

Method Detail

incrementNumberOfNodesWithCallsToFindOne

public void incrementNumberOfNodesWithCallsToFindOne()

The number of calls to find one. Find one is called when there isn't a justification that can be reused.

incrementNumberOfNodesWithReusedJustifications

public void incrementNumberOfNodesWithReusedJustifications()

buildHittingSetTree

public void buildHittingSetTree(E entailment,
                                int limit,
                                ExplanationGeneratorMediator<E> generatorMediator)

getExploredPaths

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

getProgressMonitor

public ExplanationProgressMonitor<E> getProgressMonitor()

addExplanation

public void addExplanation(Explanation<E> explanation)

getSortedExplanations

public List<Explanation<E>> getSortedExplanations()

getExplanations

public Set<Explanation<E>> getExplanations()

getRoot

public HittingSetTreeNode<E> getRoot()

containsClosedPath

public boolean containsClosedPath(Set<org.semanticweb.owlapi.model.OWLAxiom> path)

addExploredPath

public boolean addExploredPath(Set<org.semanticweb.owlapi.model.OWLAxiom> currentPath)

removeCurrentPath

public void removeCurrentPath(Set<org.semanticweb.owlapi.model.OWLAxiom> currentPath)

addClosedPath

public void addClosedPath(Set<org.semanticweb.owlapi.model.OWLAxiom> pathContents)

getPreferredSerialisedName

public String getPreferredSerialisedName()

Specified by:

getPreferredSerialisedName in interface org.semanticweb.owl.explanation.telemetry.TelemetryObject

isSerialisedAsXML

public boolean isSerialisedAsXML()

Specified by:

isSerialisedAsXML in interface org.semanticweb.owl.explanation.telemetry.TelemetryObject

serialise

public void serialise(OutputStream outputStream)

Specified by:

serialise in interface org.semanticweb.owl.explanation.telemetry.TelemetryObject