|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
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.
| 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 |
|---|
boolean canSupport(Expressivity expressivity)
expressivity - Expressivity of the KB where safety check will be performed
true if this safety checker can be used with the specified expressivity
boolean isSafe(aterm.ATermAppl c,
Individual ind)
c - The concept for which we want to reuse previously cached satisfiability resultind - The node in the completion graph represented by the concept
true if a previously cached satisfiability result is safe to reuse
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||