org.semanticweb.owlapi.reasoner.impl

Class OWLNamedIndividualNode

java.lang.Object

org.semanticweb.owlapi.reasoner.impl.DefaultNode<org.semanticweb.owlapi.model.OWLNamedIndividual>

org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNode

All Implemented Interfaces:

Iterable<org.semanticweb.owlapi.model.OWLNamedIndividual>, org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual>

public class OWLNamedIndividualNode
extends DefaultNode<org.semanticweb.owlapi.model.OWLNamedIndividual>

Author:

Matthew Horridge, The University of Manchester, Information Management Group, Date: 05-Dec-2009

Field Summary

Fields inherited from class org.semanticweb.owlapi.reasoner.impl.DefaultNode

BOTTOM_CLASS, BOTTOM_DATA_NODE, BOTTOM_DATA_PROPERTY, BOTTOM_NODE, BOTTOM_OBJECT_NODE, BOTTOM_OBJECT_PROPERTY, TOP_CLASS, TOP_DATA_NODE, TOP_DATA_PROPERTY, TOP_DATATYPE, TOP_NODE, TOP_OBJECT_NODE, TOP_OBJECT_PROPERTY

Constructor Summary

Constructors

Constructor and Description
OWLNamedIndividualNode() default constructor.
OWLNamedIndividualNode(org.semanticweb.owlapi.model.OWLNamedIndividual entity)
OWLNamedIndividualNode(Set<org.semanticweb.owlapi.model.OWLNamedIndividual> entities)

Method Summary

Methods

Modifier and Type	Method and Description
protected org.semanticweb.owlapi.model.OWLNamedIndividual	getBottomEntity()
protected org.semanticweb.owlapi.model.OWLNamedIndividual	getTopEntity()

Methods inherited from class org.semanticweb.owlapi.reasoner.impl.DefaultNode

add, contains, equals, getEntities, getEntitiesMinus, getEntitiesMinusBottom, getEntitiesMinusTop, getRepresentativeElement, getSize, hashCode, isBottomNode, isSingleton, isTopNode, iterator, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

OWLNamedIndividualNode

public OWLNamedIndividualNode()

default constructor.

OWLNamedIndividualNode

public OWLNamedIndividualNode(org.semanticweb.owlapi.model.OWLNamedIndividual entity)

Parameters:

entity - individual to include

OWLNamedIndividualNode

public OWLNamedIndividualNode(Set<org.semanticweb.owlapi.model.OWLNamedIndividual> entities)

Parameters:

entities - individuals to include

Method Detail

getTopEntity

protected org.semanticweb.owlapi.model.OWLNamedIndividual getTopEntity()

Specified by:

getTopEntity in class DefaultNode<org.semanticweb.owlapi.model.OWLNamedIndividual>

getBottomEntity

protected org.semanticweb.owlapi.model.OWLNamedIndividual getBottomEntity()

Specified by:

getBottomEntity in class DefaultNode<org.semanticweb.owlapi.model.OWLNamedIndividual>