de.uniba.wiai.kinf.pw.projects.lillytab.reasoner.abox

Class RABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

java.lang.Object

de.uniba.wiai.kinf.pw.projects.lillytab.reasoner.abox.RABox<Name,Klass,Role>

Type Parameters:

Name - The type for nominals and values

Klass - The type for DL classes

Role - The type for properties (roles)

All Implemented Interfaces:

de.dhke.projects.cutil.collections.immutable.IImmutable<IRABox<Name,Klass,Role>>, IRABox<Name,Klass,Role>

public class RABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>
extends Object
implements IRABox<Name,Klass,Role>

Author:

Peter Wullinger

Constructor Summary

Constructors

Modifier	Constructor and Description
	RABox(IABoxNode<Name,Klass,Role> node)
protected	RABox(IABoxNode<Name,Klass,Role> node, LinkMap<Name,Klass,Role> predMap, LinkMap<Name,Klass,Role> succMap)

Method Summary

Methods

Modifier and Type	Method and Description
IRABox<Name,Klass,Role>	clone(IABoxNode<Name,Klass,Role> newNode)
boolean	deepEquals(Object obj)
int	deepHashCode()
ILinkMap<Name,Klass,Role>	getAssertedPredecessors() Get the list of asserted role predecessors, i.e. those incoming role links that are present in the actual representation of the graph.
ILinkMap<Name,Klass,Role>	getAssertedSuccessors() Get the list of asserted role successors, i.e. those outgoing role links that are present in the actual representation of the graph.
IRABox<Name,Klass,Role>	getImmutable()
Collection<Role>	getIncomingRoles()
IABoxNode<Name,Klass,Role>	getNode()
Collection<Role>	getOutgoingRoles()
Collection<IABoxNode<Name,Klass,Role>>	getPredecessorNodes()
Collection<IABoxNode<Name,Klass,Role>>	getPredecessorNodes(Role role)
Iterable<de.dhke.projects.cutil.Pair<Role,NodeID>>	getPredecessorPairs()
Set<NodeID>	getPredecessors()
Collection<NodeID>	getPredecessors(Role role)
Collection<IABoxNode<Name,Klass,Role>>	getSuccessorNodes()
Collection<IABoxNode<Name,Klass,Role>>	getSuccessorNodes(Role role)
Iterable<de.dhke.projects.cutil.Pair<Role,NodeID>>	getSuccessorPairs()
Set<NodeID>	getSuccessors()
Collection<NodeID>	getSuccessors(Role role)
boolean	hasPredecessor(Role role)
boolean	hasPredecessor(Role role, IABoxNode<Name,Klass,Role> predecessor)
boolean	hasPredecessor(Role role, NodeID predecessor) Determine if the specified predecessor is connected to the current node via a role link.
boolean	hasSuccessor(Role role) Determine if the current node to any successor via the specified role.
boolean	hasSuccessor(Role role, IABoxNode<Name,Klass,Role> successor) Determine if the current node is connected to any successor via a role link.
boolean	hasSuccessor(Role role, NodeID successor) Determine if the current node is connected to the successor via an outgoing role link.

Methods inherited from class java.lang.Object

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

Constructor Detail

RABox

public RABox(IABoxNode<Name,Klass,Role> node)

RABox

protected RABox(IABoxNode<Name,Klass,Role> node,
     LinkMap<Name,Klass,Role> predMap,
     LinkMap<Name,Klass,Role> succMap)

Method Detail

getNode

public IABoxNode<Name,Klass,Role> getNode()

Specified by:

getNode in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getOutgoingRoles

public Collection<Role> getOutgoingRoles()

Specified by:

getOutgoingRoles in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getIncomingRoles

public Collection<Role> getIncomingRoles()

Specified by:

getIncomingRoles in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getAssertedSuccessors

public ILinkMap<Name,Klass,Role> getAssertedSuccessors()

Description copied from interface: IRABox

Get the list of asserted role successors, i.e. those outgoing role links that are present in the actual representation of the graph.

The asserted can but need not include inferred connections, for example because of role inheritance or transitivity assertions.

Specified by:

getAssertedSuccessors in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

Returns:

The asserted predecessors of the current node.

getAssertedPredecessors

public ILinkMap<Name,Klass,Role> getAssertedPredecessors()

Description copied from interface: IRABox

Get the list of asserted role predecessors, i.e. those incoming role links that are present in the actual representation of the graph.

The asserted can but need not include inferred connections, for example because of role inheritance or transitivity assertions.

Specified by:

getAssertedPredecessors in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

Returns:

The asserted successors of the current node.

hasSuccessor

public boolean hasSuccessor(Role role,
                   NodeID successor)

Description copied from interface: IRABox

Determine if the current node is connected to the successor via an outgoing role link.

Specified by:

hasSuccessor in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

Parameters:

role - The role

successor - The successor

Returns:

true if the current node is connected to successor via a role link.

hasSuccessor

public boolean hasSuccessor(Role role,
                   IABoxNode<Name,Klass,Role> successor)

Description copied from interface: IRABox

Determine if the current node is connected to any successor via a role link.

Specified by:

hasSuccessor in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

Parameters:

role - The role

successor - The successor

Returns:

true if the current node is connected to successor via a role link.

hasPredecessor

public boolean hasPredecessor(Role role,
                     NodeID predecessor)

Description copied from interface: IRABox

Determine if the specified predecessor is connected to the current node via a role link.

Specified by:

hasPredecessor in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

Parameters:

role - The role

predecessor - The predecessor

Returns:

true if the current node is connected to successor via a role link.

hasPredecessor

public boolean hasPredecessor(Role role,
                     IABoxNode<Name,Klass,Role> predecessor)

Specified by:

hasPredecessor in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getSuccessors

public Collection<NodeID> getSuccessors(Role role)

Specified by:

getSuccessors in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getPredecessors

public Collection<NodeID> getPredecessors(Role role)

Specified by:

getPredecessors in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getSuccessorNodes

public Collection<IABoxNode<Name,Klass,Role>> getSuccessorNodes(Role role)

Specified by:

getSuccessorNodes in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getPredecessorNodes

public Collection<IABoxNode<Name,Klass,Role>> getPredecessorNodes(Role role)

Specified by:

getPredecessorNodes in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getPredecessorNodes

public Collection<IABoxNode<Name,Klass,Role>> getPredecessorNodes()

Specified by:

getPredecessorNodes in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getSuccessorNodes

public Collection<IABoxNode<Name,Klass,Role>> getSuccessorNodes()

Specified by:

getSuccessorNodes in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getImmutable

public IRABox<Name,Klass,Role> getImmutable()

Specified by:

getImmutable in interface de.dhke.projects.cutil.collections.immutable.IImmutable<IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>>

hasSuccessor

public boolean hasSuccessor(Role role)

Description copied from interface: IRABox

Determine if the current node to any successor via the specified role.

Specified by:

hasSuccessor in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

Parameters:

role - The role

Returns:

true has a role successor.

hasPredecessor

public boolean hasPredecessor(Role role)

Specified by:

hasPredecessor in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getSuccessorPairs

public Iterable<de.dhke.projects.cutil.Pair<Role,NodeID>> getSuccessorPairs()

Specified by:

getSuccessorPairs in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getPredecessorPairs

public Iterable<de.dhke.projects.cutil.Pair<Role,NodeID>> getPredecessorPairs()

Specified by:

getPredecessorPairs in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getPredecessors

public Set<NodeID> getPredecessors()

Specified by:

getPredecessors in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

getSuccessors

public Set<NodeID> getSuccessors()

Specified by:

getSuccessors in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

clone

public IRABox<Name,Klass,Role> clone(IABoxNode<Name,Klass,Role> newNode)

Specified by:

clone in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

deepEquals

public boolean deepEquals(Object obj)

Specified by:

deepEquals in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>

deepHashCode

public int deepHashCode()

Specified by:

deepHashCode in interface IRABox<Name extends Comparable<? super Name>,Klass extends Comparable<? super Klass>,Role extends Comparable<? super Role>>