org.mindswap.pellet.tableau.blocking
Class Blocking

java.lang.Object
  extended by org.mindswap.pellet.tableau.blocking.Blocking
Direct Known Subclasses:
DoubleBlocking, EqualityBlocking, OptimizedDoubleBlocking, SubsetBlocking

public abstract class Blocking
extends java.lang.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
static java.util.logging.Logger log
           
 
Method Summary
 boolean isBlocked(Individual blocked)
           
 boolean isDirectlyBlocked(Individual blocked)
           
 boolean isDynamic()
           
 boolean isIndirectlyBlocked(Individual blocked)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

public static final java.util.logging.Logger log
Method Detail

isDynamic

public boolean isDynamic()

isBlocked

public boolean isBlocked(Individual blocked)

isIndirectlyBlocked

public boolean isIndirectlyBlocked(Individual blocked)

isDirectlyBlocked

public boolean isDirectlyBlocked(Individual blocked)


Copyright © 2004 Evren Sirin. All Rights Reserved.