org.mindswap.pellet.tableau.cache
Interface CacheSafety

All Known Implementing Classes:
CacheSafetyAlwaysSafe, CacheSafetyDynamic, CacheSafetyNeverSafe

public interface CacheSafety

A class to check if a previsouly cached satisfiability result is safe to reuse for a specific node in the completion graph.

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.
 

Method Detail

canSupport

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

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

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.

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.