Package openllet.core.tableau.cache

Class 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

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean canSupport​(Expressivity expressivity)
      Check if this safety checker can be used with the specified expressivity.
      boolean isSafe​(openllet.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​(openllet.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