org.semanticweb.elk.reasoner.taxonomy.model

Interface Node<T extends ElkObject>

Type Parameters:

T - the type of members of the node

All Known Subinterfaces:

InstanceNode<T,I>, TaxonomyNode<T>, TypeNode<T,I>, UpdateableBottomNode<T>, UpdateableInstanceNode<T,I>, UpdateableNode<T>, UpdateableTaxonomyNode<T>, UpdateableTypeNode<T,I>

All Known Implementing Classes:

AnonymousNode, ConcurrentClassTaxonomy.BottomClassNode, FreshInstanceNode, FreshNode, FreshTaxonomyNode, FreshTypeNode, IndividualNode, OrphanInstanceNode, OrphanNode, OrphanTypeNode, SimpleNode

public interface Node<T extends ElkObject>

Basic interface for representing sets of equivalent ElkObjects with one canonical representative. The notion of equivalence depends on the application but will usually be implied extensional equality.

Author:

Markus Kroetzsch, "Yevgeny Kazakov"

Method Summary

Methods

Modifier and Type	Method and Description
T	getCanonicalMember() Get one object to canonically represent the classes in this Node.
Set<T>	getMembers() Get an unmodifiable set of objects that this Node represents.

Method Detail

getMembers

Set<T> getMembers()

Get an unmodifiable set of objects that this Node represents. The membership in this set is checked using the structural equality.

Returns:

collection of logically equivalent objects

getCanonicalMember

T getCanonicalMember()

Get one object to canonically represent the classes in this Node. It is guaranteed that the least object is the least one according to the ordering defined by PredefinedElkIri.compare(). TODO The above remark is a bit mysterious. Does the interface really make such guarantees?

Returns:

canonical object