org.mindswap.pellet.tableau.cache

Class CachedConstantNode

java.lang.Object

org.mindswap.pellet.tableau.cache.CachedConstantNode

All Implemented Interfaces:

CachedNode

public class CachedConstantNode
extends Object
implements CachedNode

Title:

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 and Description
static CachedNode	BOTTOM
static CachedNode	INCOMPLETE
static CachedNode	TOP

Method Summary

Methods

Modifier and Type	Method and Description
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.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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 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 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

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

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

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

toString

public String toString()

Overrides:

toString in class Object

getName

public aterm.ATermAppl getName()

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