Package openllet.core.boxes.abox

Interface Summary

Interface	Description
ABox	Definition of an abox.
Edge	Description: Represents an edge in the tableau completion graph.

Class Summary

Class	Description
ABoxImpl	Copyright: Copyright (c) 2008
ABoxStats	Copyright: Copyright (c) 2009
Clash	Copyright: Copyright (c) 2007
DefaultEdge
EdgeList
Individual
IndividualIterator	An iterator to return nodes in the order they are added.
Literal
Node	FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here.
NodeMerge	Stores a pair of nodes to be merged.

Enum Summary

Enum	Description
Clash.ClashType