org.coode.oppl

Class VariableScopes

java.lang.Object

org.coode.oppl.VariableScopes

public class VariableScopes
extends Object

This class consists exclusively of static methods that operate on or return VariableScope instances

Author:

Luigi Iannone

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	VariableScopes.Direction

Constructor Summary

Constructors

Constructor and Description
VariableScopes()

Method Summary

Modifier and Type	Method and Description
static IndividualVariableScope	buildIndividualVariableScope(org.semanticweb.owlapi.model.OWLClassExpression description, VariableScopeChecker checker)
static SubClassVariableScope	buildSubClassVariableScope(org.semanticweb.owlapi.model.OWLClassExpression description, VariableScopeChecker checker)
static SubPropertyVariableScope<org.semanticweb.owlapi.model.OWLDataProperty>	buildSubPropertyVariableScope(org.semanticweb.owlapi.model.OWLDataProperty property, VariableScopeChecker checker)
static <P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>> SubPropertyVariableScope<P>	buildSubPropertyVariableScope(P property, VariableScopeChecker checker)
static SuperClassVariableScope	buildSuperClassVariableScope(org.semanticweb.owlapi.model.OWLClassExpression description, VariableScopeChecker checker)
static <P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>> SuperPropertyVariableScope<P>	buildSuperPropertyVariableScope(P property, VariableScopeChecker checker)

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableScopes

public VariableScopes()

Method Detail

buildSubClassVariableScope

public static SubClassVariableScope buildSubClassVariableScope(org.semanticweb.owlapi.model.OWLClassExpression description,
                                                               VariableScopeChecker checker)

Parameters:

description - description

checker - checker

Returns:

a VariableScope instance restricting values to be sub-classes of the input OWLClassExpression

buildSuperClassVariableScope

public static SuperClassVariableScope buildSuperClassVariableScope(org.semanticweb.owlapi.model.OWLClassExpression description,
                                                                   VariableScopeChecker checker)

Parameters:

description - description

checker - checker

Returns:

a VariableScope instance restricting values to be super-classes of the input OWLClassExpression

buildSubPropertyVariableScope

public static SubPropertyVariableScope<org.semanticweb.owlapi.model.OWLDataProperty> buildSubPropertyVariableScope(org.semanticweb.owlapi.model.OWLDataProperty property,
                                                                                                                   VariableScopeChecker checker)

Parameters:

property - property

checker - checker

Returns:

a VariableScope instance restricting values to be sub-properties of the input OWLProperty

buildSubPropertyVariableScope

public static <P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>> SubPropertyVariableScope<P> buildSubPropertyVariableScope(P property,
                                                                                                                                            VariableScopeChecker checker)

Type Parameters:

P - property type

Parameters:

property - property

checker - checker

Returns:

a VariableScope instance restricting values to be sub-properties of the input OWLProperty

buildSuperPropertyVariableScope

public static <P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>> SuperPropertyVariableScope<P> buildSuperPropertyVariableScope(P property,
                                                                                                                                                VariableScopeChecker checker)

Type Parameters:

P - property type

Parameters:

property - property

checker - checker

Returns:

a VariableScope instance restricting values to be super-properties of the input OWLProperty

buildIndividualVariableScope

public static IndividualVariableScope buildIndividualVariableScope(org.semanticweb.owlapi.model.OWLClassExpression description,
                                                                   VariableScopeChecker checker)

Parameters:

description - description

checker - checker

Returns:

a VariableScope instance restricting values to be instances of the input OWLClassExpression