org.semanticweb.kaon2.api.reasoner
Interface SubsumptionHierarchy

All Superinterfaces:

java.util.Collection<SubsumptionHierarchy.Node>, java.lang.Iterable<SubsumptionHierarchy.Node>, java.util.Set<SubsumptionHierarchy.Node>

public interface SubsumptionHierarchy
extends java.util.Set<SubsumptionHierarchy.Node>

Represents a subsumption hierarcy for atomc classes in an ontology.

Nested Class Summary

static interface

SubsumptionHierarchy.Node Represents a node in the subsumption hiearchy.

Method Summary

SubsumptionHierarchy.Node	getNodeFor(OWLClass owlClass) Returns the hierarchy node containing the given class.
SubsumptionHierarchy.Node	nothingNode() Returns the node for the owl:Nothing class.
SubsumptionHierarchy.Node	thingNode() Returns the node for the owl:Thing class.

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Method Detail

getNodeFor

SubsumptionHierarchy.Node getNodeFor(OWLClass owlClass)

Returns the hierarchy node containing the given class.

Parameters:

owlClass - the OWL class for which the node is returned

Returns:

the node in the hierarchy (null if the class is not in the hierarchy)

thingNode

SubsumptionHierarchy.Node thingNode()

Returns the node for the owl:Thing class.

Returns:

the node for owl:Thing class

nothingNode

SubsumptionHierarchy.Node nothingNode()

Returns the node for the owl:Nothing class.

Returns:

the node for owl:Nothing class