Package openllet.core.tableau.completion.incremental

Class DependencyIndex

java.lang.Object

openllet.core.tableau.completion.incremental.DependencyIndex

public class DependencyIndex
extends java.lang.Object

This is the _index structure for maintaining the _dependencies between structures in an ABox and the syntactic assertions which caused them to be created. This is used for incremental deletions.

Author:

Christian Halaschek-Wiener

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
DependencyIndex(KnowledgeBase kb)	Default constructor
DependencyIndex(KnowledgeBase kb, DependencyIndex oldIndex)	Copy constructor

Method Summary

Modifier and Type	Method	Description
void	addBranchAddDependency(Branch branch)	Add a new branch dependency
void	addCloseBranchDependency(Branch branch, DependencySet ds)	Add a new _branch ds removal dependency
void	addEdgeDependency(Edge edge, DependencySet ds)	Add a new edge dependency
void	addMergeDependency(openllet.aterm.ATermAppl ind, openllet.aterm.ATermAppl mergedTo, DependencySet ds)	Add a new merge dependency
void	addTypeDependency(openllet.aterm.ATermAppl ind, openllet.aterm.ATermAppl type, DependencySet ds)	Add a new type dependency
DependencyEntry	getDependencies(openllet.aterm.ATermAppl assertion)
void	removeBranchDependencies(Branch b)	Remove _branch _dependencies - this is needed due to backjumping!
void	removeDependencies(openllet.aterm.ATermAppl assertion)	Remove the _dependencies for a given assertion
void	setClashDependencies(Clash clash)	Set clash dependencies

Methods inherited from class java.lang.Object

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

Field Detail

_logger

public static final java.util.logging.Logger _logger

Constructor Detail

DependencyIndex

public DependencyIndex(KnowledgeBase kb)

Default constructor

Parameters:

kb -

DependencyIndex

public DependencyIndex(KnowledgeBase kb,
                       DependencyIndex oldIndex)

Copy constructor

Parameters:

kb -

oldIndex -

Method Detail

getDependencies

public DependencyEntry getDependencies(openllet.aterm.ATermAppl assertion)

Parameters:

assertion -

Returns:

the dependencies

addTypeDependency

public void addTypeDependency(openllet.aterm.ATermAppl ind,
                              openllet.aterm.ATermAppl type,
                              DependencySet ds)

Add a new type dependency

Parameters:

ind -

type -

ds -

addMergeDependency

public void addMergeDependency(openllet.aterm.ATermAppl ind,
                               openllet.aterm.ATermAppl mergedTo,
                               DependencySet ds)

Add a new merge dependency

Parameters:

ind -

mergedTo -

ds -

addEdgeDependency

public void addEdgeDependency(Edge edge,
                              DependencySet ds)

Add a new edge dependency

Parameters:

edge -

ds -

addBranchAddDependency

public void addBranchAddDependency(Branch branch)

Add a new branch dependency

Parameters:

branch -

addCloseBranchDependency

public void addCloseBranchDependency(Branch branch,
                                     DependencySet ds)

Add a new _branch ds removal dependency

Parameters:

branch -

ds -

removeDependencies

public void removeDependencies(openllet.aterm.ATermAppl assertion)

Remove the _dependencies for a given assertion

Parameters:

assertion -

removeBranchDependencies

public void removeBranchDependencies(Branch b)

Remove _branch _dependencies - this is needed due to backjumping!

Parameters:

b -

setClashDependencies

public void setClashDependencies(Clash clash)

Set clash dependencies

Parameters:

clash -