org.semanticweb.owlapi.reasoner.impl

Class NodeFactory

java.lang.Object

org.semanticweb.owlapi.reasoner.impl.NodeFactory

public final class NodeFactory
extends Object

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Method Summary

Modifier and Type	Method and Description
static DefaultNode<OWLClass>	getOWLClassBottomNode()
static DefaultNode<OWLClass>	getOWLClassNode()
static DefaultNode<OWLClass>	getOWLClassNode(OWLClass cls)
static DefaultNode<OWLClass>	getOWLClassNode(Set<OWLClass> clses)
static DefaultNode<OWLClass>	getOWLClassTopNode()
static DefaultNode<OWLDataProperty>	getOWLDataPropertyBottomNode()
static DefaultNode<OWLDataProperty>	getOWLDataPropertyNode()
static DefaultNode<OWLDataProperty>	getOWLDataPropertyNode(OWLDataProperty prop)
static DefaultNode<OWLDataProperty>	getOWLDataPropertyNode(Set<OWLDataProperty> properties)
static DefaultNode<OWLDataProperty>	getOWLDataPropertyTopNode()
static DefaultNode<OWLNamedIndividual>	getOWLNamedIndividualNode()
static DefaultNode<OWLNamedIndividual>	getOWLNamedIndividualNode(OWLNamedIndividual ind)
static DefaultNode<OWLNamedIndividual>	getOWLNamedIndividualNode(Set<OWLNamedIndividual> inds)
static DefaultNode<OWLObjectPropertyExpression>	getOWLObjectPropertyBottomNode()
static DefaultNode<OWLObjectPropertyExpression>	getOWLObjectPropertyNode()
static DefaultNode<OWLObjectPropertyExpression>	getOWLObjectPropertyNode(OWLObjectPropertyExpression prop)
static DefaultNode<OWLObjectPropertyExpression>	getOWLObjectPropertyNode(Set<OWLObjectPropertyExpression> properties)
static DefaultNode<OWLObjectPropertyExpression>	getOWLObjectPropertyTopNode()

Methods inherited from class java.lang.Object

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

Method Detail

getOWLClassNode

public static DefaultNode<OWLClass> getOWLClassNode()

Returns:

a class node

getOWLClassNode

public static DefaultNode<OWLClass> getOWLClassNode(OWLClass cls)

Parameters:

cls - a class to be included in the node

Returns:

a class node with one element

getOWLClassNode

public static DefaultNode<OWLClass> getOWLClassNode(Set<OWLClass> clses)

Parameters:

clses - set of classes to be included

Returns:

a class node with some elements

getOWLClassTopNode

public static DefaultNode<OWLClass> getOWLClassTopNode()

Returns:

the top class node

getOWLClassBottomNode

public static DefaultNode<OWLClass> getOWLClassBottomNode()

Returns:

the bottom class node

getOWLObjectPropertyNode

public static DefaultNode<OWLObjectPropertyExpression> getOWLObjectPropertyNode()

Returns:

an object property node

getOWLObjectPropertyNode

public static DefaultNode<OWLObjectPropertyExpression> getOWLObjectPropertyNode(OWLObjectPropertyExpression prop)

Parameters:

prop - a property to be added

Returns:

an object property node with one element

getOWLObjectPropertyNode

public static DefaultNode<OWLObjectPropertyExpression> getOWLObjectPropertyNode(Set<OWLObjectPropertyExpression> properties)

Parameters:

properties - some properties to be added

Returns:

an object property node with some elements

getOWLObjectPropertyTopNode

public static DefaultNode<OWLObjectPropertyExpression> getOWLObjectPropertyTopNode()

Returns:

the top object property node

getOWLObjectPropertyBottomNode

public static DefaultNode<OWLObjectPropertyExpression> getOWLObjectPropertyBottomNode()

Returns:

the bottom object property node

getOWLDataPropertyNode

public static DefaultNode<OWLDataProperty> getOWLDataPropertyNode()

Returns:

a data property node

getOWLDataPropertyNode

public static DefaultNode<OWLDataProperty> getOWLDataPropertyNode(OWLDataProperty prop)

Parameters:

prop - a property to be added

Returns:

a data property node with one element

getOWLDataPropertyNode

public static DefaultNode<OWLDataProperty> getOWLDataPropertyNode(Set<OWLDataProperty> properties)

Parameters:

properties - some properties to be added

Returns:

a data property node with some elements

getOWLDataPropertyTopNode

public static DefaultNode<OWLDataProperty> getOWLDataPropertyTopNode()

Returns:

the top data property node

getOWLDataPropertyBottomNode

public static DefaultNode<OWLDataProperty> getOWLDataPropertyBottomNode()

Returns:

the bottom data property node

getOWLNamedIndividualNode

public static DefaultNode<OWLNamedIndividual> getOWLNamedIndividualNode()

Returns:

an individual node

getOWLNamedIndividualNode

public static DefaultNode<OWLNamedIndividual> getOWLNamedIndividualNode(OWLNamedIndividual ind)

Parameters:

ind - an individual to be added

Returns:

an individual node with one element

getOWLNamedIndividualNode

public static DefaultNode<OWLNamedIndividual> getOWLNamedIndividualNode(Set<OWLNamedIndividual> inds)

Parameters:

inds - some individuals to be added

Returns:

an individual node containing some individuals