org.mindswap.pellet.tableau.blocking

Class Blocking

java.lang.Object

org.mindswap.pellet.tableau.blocking.Blocking

Direct Known Subclasses:

DoubleBlocking, EqualityBlocking, OptimizedDoubleBlocking, SubsetBlocking

public abstract class Blocking
extends Object

Generic class to check if an individual in an completion graph is blocked by another individual. Blocking prevents infinite models to be created and can improve performance by limiting the size of the completion graph built.

This abstract class defines the basic functionality needed to check for blocking and leaves the actual check of blocking condition between a pair of individuals to its concrete subclasses that may do different things based on the expressivity of the current kb.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
protected static BlockingCondition	block1
protected static BlockingCondition	block2
protected static BlockingCondition	block3
protected static BlockingCondition	block4
protected static BlockingCondition	block5
protected static BlockingCondition	block6
static Logger	log

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Blocking()

Method Summary

Modifier and Type	Method and Description
boolean	isBlocked(Individual blocked)
boolean	isDirectlyBlocked(Individual blocked)
protected abstract boolean	isDirectlyBlockedBy(BlockingContext cxt)
protected boolean	isDirectlyBlockedByDescendant(BlockingContext cxt)
protected boolean	isDirectlyBlockedInt(Individual blocked)
boolean	isDynamic()
boolean	isIndirectlyBlocked(Individual blocked)

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final Logger log

block1

protected static final BlockingCondition block1

block2

protected static final BlockingCondition block2

block3

protected static final BlockingCondition block3

block4

protected static final BlockingCondition block4

block5

protected static final BlockingCondition block5

block6

protected static final BlockingCondition block6

Constructor Detail

Blocking

protected Blocking()

Method Detail

isDynamic

public boolean isDynamic()

isBlocked

public boolean isBlocked(Individual blocked)

isIndirectlyBlocked

public boolean isIndirectlyBlocked(Individual blocked)

isDirectlyBlocked

public boolean isDirectlyBlocked(Individual blocked)

isDirectlyBlockedInt

protected boolean isDirectlyBlockedInt(Individual blocked)

isDirectlyBlockedByDescendant

protected boolean isDirectlyBlockedByDescendant(BlockingContext cxt)

isDirectlyBlockedBy

protected abstract boolean isDirectlyBlockedBy(BlockingContext cxt)