org.mindswap.pellet.tableau.cache
Class CacheSafetyDynamic

java.lang.Object
  extended by org.mindswap.pellet.tableau.cache.CacheSafetyDynamic
All Implemented Interfaces:
CacheSafety

public class CacheSafetyDynamic
extends java.lang.Object
implements CacheSafety

A cache safety implementation that checks the cached result and the context in which we try to reuse it to decide if it is safe to reuse the result.

Author:
Evren Sirin

Method Summary
 boolean canSupport(Expressivity expressivity)
          Check if this safety checker can be used with the specified expressivity.
 boolean isSafe(aterm.ATermAppl c, Individual ind)
          Returns if a previously cached satisfiability result is safe to reuse for a given concept and node in the completion graph.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

canSupport

public boolean canSupport(Expressivity expressivity)
Check if this safety checker can be used with the specified expressivity.

Specified by:
canSupport in interface CacheSafety
Parameters:
expressivity - Expressivity of the KB where safety check will be performed
Returns:
true if this safety checker can be used with the specified expressivity

isSafe

public boolean isSafe(aterm.ATermAppl c,
                      Individual ind)
Returns if a previously cached satisfiability result is safe to reuse for a given concept and node in the completion graph.

Specified by:
isSafe in interface CacheSafety
Parameters:
c - The concept for which we want to reuse previously cached satisfiability result
ind - The node in the completion graph represented by the concept
Returns:
true if a previously cached satisfiability result is safe to reuse


Copyright © 2004 Evren Sirin. All Rights Reserved.