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

Methods

Modifier and Type	Method and Description
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