Package openllet.core.tableau.cache
Class CachedConceptNode
- java.lang.Object
-
- openllet.core.tableau.cache.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
-
-
Constructor Summary
Constructors Constructor Description CachedConceptNode(openllet.aterm.ATermAppl name, Individual nodeParam)
-
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()
-
-
-
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 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
-
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
-
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
-
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
-
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 interfaceCachedNode
- Returns:
- Name of this _node
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-