Package openllet.core.tableau.cache

Class CachedConceptNode

  • All Implemented Interfaces:
    CachedNode
    public class CachedConceptNode
extends java.lang.Object
implements CachedNode

    Description: A _node cached as the result of satisfiability checking for a concept.

    Copyright: Copyright (c) 2008

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Map<openllet.aterm.ATermAppl,​DependencySet> getDepends()
      Returns the types and their dependencies for this _node.
      EdgeList getInEdges()
      Returns the incoming edges of this _node.
      openllet.aterm.ATermAppl getName()
      Returns the name of this _node.
      EdgeList getOutEdges()
      Returns the outgoing edges of this _node.
      boolean hasRNeighbor​(Role role)
      Checks if this node is connected to another _node with the given role (or one of its subproperties).
      boolean isBottom()
      Returns if this is the cached _node for TOP concept.
      boolean isComplete()
      Returns if this cached _node is complete.
      boolean isIndependent()
      Returns if this _node was cached without any dependency to a non-deterministic _branch.
      boolean isNamedIndividual()
      Returns if this _node represent a named _individual (not an anonymous _individual or a concept _node)
      boolean isTop()
      Returns if this is the cached _node for BOTTOM concept.
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • CachedConceptNode

        public CachedConceptNode​(openllet.aterm.ATermAppl name,
                         Individual nodeParam)
        Parameters:
        name -
        nodeParam -

    • Method Detail

      • isIndependent

        public boolean isIndependent()
        Returns if this _node was cached without any dependency to a non-deterministic _branch. In the presence of nominals, when we are checking the satisfiability of a concept the root _node may be merged to a nominal _node and that merge may be due to a non-deterministic _branch. In such cases the types and edges that are cached do not necessarily show types and edges that will exist in every clash-free tableau completion.
        Specified by:
        isIndependent in interface CachedNode
        Returns:
        If this _node was cached without any dependency to a non-deterministic _branch

      • getInEdges

        public EdgeList getInEdges()
        Returns the incoming edges of this _node.
        Specified by:
        getInEdges in interface CachedNode
        Returns:
        Incoming edges of this node

      • getOutEdges

        public EdgeList getOutEdges()
        Returns the outgoing edges of this _node.
        Specified by:
        getOutEdges in interface CachedNode
        Returns:
        Outgoing edges of this _node

      • getDepends

        public java.util.Map<openllet.aterm.ATermAppl,​DependencySet> getDepends()
        Returns the types and their dependencies for this _node.
        Specified by:
        getDepends in interface CachedNode
        Returns:
        a map from concepts to dependency sets

      • hasRNeighbor

        public boolean hasRNeighbor​(Role role)
        Checks if this node is connected to another _node with the given role (or one of its subproperties). The _node may have an incoming edge with the inverse of this role which would count as an r-neighbor.
        Specified by:
        hasRNeighbor in interface CachedNode
        Returns:
        Outgoing edges of this node

      • isBottom

        public boolean isBottom()
        Returns if this is the cached _node for TOP concept.
        Specified by:
        isBottom in interface CachedNode
        Returns:
        true if this is the cached _node for TOP concept

      • isComplete

        public boolean isComplete()
        Returns if this cached _node is complete.
        Specified by:
        isComplete in interface CachedNode
        Returns:
        true if this cached _node is complete

      • isNamedIndividual

        public boolean isNamedIndividual()
        Returns if this _node represent a named _individual (not an anonymous _individual or a concept _node)
        Specified by:
        isNamedIndividual in interface CachedNode
        Returns:
        If this _node represent a named _individual

      • isTop

        public boolean isTop()
        Returns if this is the cached _node for BOTTOM concept.
        Specified by:
        isTop in interface CachedNode
        Returns:
        true if this is the cached _node for BOTTOM concept

      • getName

        public openllet.aterm.ATermAppl getName()
        Description copied from interface: CachedNode
        Returns the name of this _node. For cached concept _nodes this is the name of the concept.
        Specified by:
        getName in interface CachedNode
        Returns:
        Name of this _node

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object