org.mindswap.pellet.tableau.cache
Class CachedConceptNode

java.lang.Object
  extended by org.mindswap.pellet.tableau.cache.CachedConceptNode
All Implemented Interfaces:
CachedNode

public class CachedConceptNode
extends java.lang.Object
implements CachedNode

Title:

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

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Constructor Summary
CachedConceptNode(aterm.ATermAppl name, Individual node)
           
 
Method Summary
 java.util.Map<aterm.ATermAppl,DependencySet> getDepends()
          Returns the types and their dependencies for this node.
 EdgeList getInEdges()
          Returns the incoming edges of this node.
 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(aterm.ATermAppl name,
                         Individual node)
Parameters:
depends -
node -
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<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 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


Copyright © 2004 Evren Sirin. All Rights Reserved.