Package openllet.core.tableau.cache
Class CachedConstantNode
- java.lang.Object
-
- openllet.core.tableau.cache.CachedConstantNode
-
- All Implemented Interfaces:
CachedNode
public class CachedConstantNode extends java.lang.Object implements CachedNode
Description: Represents a cached _node that is used in different KBs.
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
- Author:
- Evren Sirin
-
-
Field Summary
Fields Modifier and Type Field Description static CachedNode
_BOTTOM
static CachedNode
_INCOMPLETE
static CachedNode
_TOP
-
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()
-
-
-
Field Detail
-
_TOP
public static final CachedNode _TOP
-
_BOTTOM
public static final CachedNode _BOTTOM
-
_INCOMPLETE
public static final CachedNode _INCOMPLETE
-
-
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 interfaceCachedNode
- 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 interfaceCachedNode
- Returns:
- Incoming edges of this node
-
getOutEdges
public EdgeList getOutEdges()
Returns the outgoing edges of this _node.- Specified by:
getOutEdges
in interfaceCachedNode
- 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 interfaceCachedNode
- 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 interfaceCachedNode
- Returns:
- Outgoing edges of this node
-
isNamedIndividual
public boolean isNamedIndividual()
Returns if this _node represent a named _individual (not an anonymous _individual or a concept _node)- Specified by:
isNamedIndividual
in interfaceCachedNode
- Returns:
- If this _node represent a named _individual
-
isBottom
public boolean isBottom()
Returns if this is the cached _node for TOP concept.- Specified by:
isBottom
in interfaceCachedNode
- 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 interfaceCachedNode
- Returns:
true
if this cached _node is complete
-
isTop
public boolean isTop()
Returns if this is the cached _node for BOTTOM concept.- Specified by:
isTop
in interfaceCachedNode
- Returns:
true
if this is the cached _node for BOTTOM concept
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getName
public openllet.aterm.ATermAppl getName()
Returns the name of this _node. For cached concept _nodes this is the name of the concept.- Specified by:
getName
in interfaceCachedNode
- Returns:
- Name of this _node
-
-