Package openllet.core.tableau.completion

Class CompletionStrategy

java.lang.Object

openllet.core.tableau.completion.CompletionStrategy

Direct Known Subclasses:

EmptySRIQStrategy, SROIQStrategy

public abstract class CompletionStrategy
extends java.lang.Object

A completion _strategy specifies how the tableau rules will be applied to an ABox. Depending on the expressivity of the KB, e.g. SHIN, SHON, etc., different (more efficient) strategies may be used. This class is the base for all different implementations and contains _strategy independent functions.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field	Description
static java.util.logging.Logger	_logger

Constructor Summary

Constructors

Constructor	Description
CompletionStrategy(ABox abox)

Method Summary

Modifier and Type	Method	Description
void	addBranch(Branch newBranch)
Edge	addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
void	addType(Node startNode, openllet.aterm.ATermAppl c, DependencySet ds)
void	applyDomainRange(Individual subj, Role pred, Node obj, DependencySet ds)
void	applyFunctionality(Individual subj, Role pred, Node obj)
void	applyPropertyRestrictions(Edge edge)
void	applyPropertyRestrictions(Individual subj, Role pred, Node obj, DependencySet ds)
void	applyUniversalRestrictions(Individual node)
void	checkReflexivitySymmetry(Individual subj, Role pred, Individual obj, DependencySet dsParam)
void	checkTimer()
abstract void	complete(Expressivity expr)	apply all the tableau rules to the designated ABox
Individual	createFreshIndividual(Individual parent, DependencySet ds)
ABox	getABox()
Blocking	getBlocking()
java.util.Iterator<Individual>	getInitializeIterator()
TBox	getTBox()
void	initialize(Expressivity expressivity)
void	mergeAll()	Merge all _node pairs in the _queue.
void	mergeTo(Node y, Node z, DependencySet dsParam)	Merge _node y into z.
void	printBlocked()
void	restore(Branch br)
void	restoreLocal(Individual ind, Branch br)
boolean	setDifferent(Node y, Node z, DependencySet ds)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_logger

public static final java.util.logging.Logger _logger

Constructor Detail

CompletionStrategy

public CompletionStrategy(ABox abox)

Method Detail

getABox

public ABox getABox()

getTBox

public TBox getTBox()

getBlocking

public Blocking getBlocking()

checkTimer

public void checkTimer()

getInitializeIterator

public java.util.Iterator<Individual> getInitializeIterator()

Returns:

individuals to which we need to apply the initialization rules

initialize

public void initialize(Expressivity expressivity)

complete

public abstract void complete(Expressivity expr)

apply all the tableau rules to the designated ABox

Parameters:

expr - of the tableau

createFreshIndividual

public Individual createFreshIndividual(Individual parent,
                                        DependencySet ds)

applyUniversalRestrictions

public void applyUniversalRestrictions(Individual node)

addType

public void addType(Node startNode,
                    openllet.aterm.ATermAppl c,
                    DependencySet ds)

addEdge

public Edge addEdge(Individual subj,
                    Role pred,
                    Node obj,
                    DependencySet ds)

applyPropertyRestrictions

public void applyPropertyRestrictions(Edge edge)

applyPropertyRestrictions

public void applyPropertyRestrictions(Individual subj,
                                      Role pred,
                                      Node obj,
                                      DependencySet ds)

applyDomainRange

public void applyDomainRange(Individual subj,
                             Role pred,
                             Node obj,
                             DependencySet ds)

applyFunctionality

public void applyFunctionality(Individual subj,
                               Role pred,
                               Node obj)

checkReflexivitySymmetry

public void checkReflexivitySymmetry(Individual subj,
                                     Role pred,
                                     Individual obj,
                                     DependencySet dsParam)

mergeAll

public void mergeAll()

Merge all _node pairs in the _queue.

mergeTo

public void mergeTo(Node y,
                    Node z,
                    DependencySet dsParam)

Merge _node y into z. Node y and all its descendants will be pruned from the completion graph.

Parameters:

y - Node being pruned

z - Node that is being merged into

dsParam - Dependency of this merge operation

setDifferent

public boolean setDifferent(Node y,
                            Node z,
                            DependencySet ds)

restoreLocal

public void restoreLocal(Individual ind,
                         Branch br)

restore

public void restore(Branch br)

addBranch

public void addBranch(Branch newBranch)

printBlocked

public void printBlocked()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object