org.mindswap.pellet.tableau.cache

Class CachedConceptNode

java.lang.Object

org.mindswap.pellet.tableau.cache.CachedConceptNode

All Implemented Interfaces:

CachedNode

public class CachedConceptNode
extends 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

Constructors

Constructor and Description
CachedConceptNode(aterm.ATermAppl name, Individual node)

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

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 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 String toString()

Overrides:

toString in class Object