org.mindswap.pellet.tableau.cache

Class CacheSafetyDynamic

java.lang.Object

org.mindswap.pellet.tableau.cache.CacheSafetyDynamic

All Implemented Interfaces:

CacheSafety

public class CacheSafetyDynamic
extends 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

Modifier and Type	Method and Description
boolean	canSupport(Expressivity expressivity) Check if this safety checker can be used with the specified expressivity.
protected Iterator<CachedNode>	getCachedNodes(ABox abox, aterm.ATermAppl c)
protected Edge	getParentEdge(Individual ind)
protected boolean	hasAnonInverse(Role role)
protected boolean	interactsWithInverses(KnowledgeBase kb, Role role)
protected boolean	interactsWithInversesComplex(KnowledgeBase kb, Role role)
protected boolean	interactsWithInversesSimple(Role role)
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

clone, equals, finalize, 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

getParentEdge

protected Edge getParentEdge(Individual ind)

getCachedNodes

protected Iterator<CachedNode> getCachedNodes(ABox abox,
                                              aterm.ATermAppl c)

interactsWithInverses

protected boolean interactsWithInverses(KnowledgeBase kb,
                                        Role role)

interactsWithInversesSimple

protected boolean interactsWithInversesSimple(Role role)

interactsWithInversesComplex

protected boolean interactsWithInversesComplex(KnowledgeBase kb,
                                               Role role)

hasAnonInverse

protected boolean hasAnonInverse(Role role)