org.coode.oppl

Class IndividualVariableScope

java.lang.Object

org.coode.oppl.AbstractVariableScope<org.semanticweb.owlapi.model.OWLClassExpression>

org.coode.oppl.IndividualVariableScope

All Implemented Interfaces:

Renderable, VariableScope<org.semanticweb.owlapi.model.OWLClassExpression>

public class IndividualVariableScope
extends AbstractVariableScope<org.semanticweb.owlapi.model.OWLClassExpression>
implements VariableScope<org.semanticweb.owlapi.model.OWLClassExpression>

Represents a range limitations that could be added to a GeneratedVariable instance with INDIVIDUAL VariableType, in particular this restricts the possible values to the set of individuals that are instances of a given OWLClassExpression

Author:

Luigi Iannone

Method Summary

Methods

Modifier and Type	Method and Description
boolean	check(org.semanticweb.owlapi.model.OWLObject owlObject)
org.semanticweb.owlapi.model.OWLClassExpression	getClassExpression()
VariableScopes.Direction	getDirection()
org.semanticweb.owlapi.model.OWLClassExpression	getScopingObject()
String	render(ConstraintSystem constraintSystem)
void	setDescription(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

Methods inherited from class org.coode.oppl.AbstractVariableScope

getChecker

Methods inherited from class java.lang.Object

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

Method Detail

getClassExpression

public org.semanticweb.owlapi.model.OWLClassExpression getClassExpression()

Returns:

the description

setDescription

public void setDescription(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

Parameters:

classExpression - the description to set

check

public boolean check(org.semanticweb.owlapi.model.OWLObject owlObject)
              throws org.semanticweb.owlapi.model.OWLRuntimeException

Specified by:

check in interface VariableScope<org.semanticweb.owlapi.model.OWLClassExpression>

Parameters:

owlObject - owlObject

Returns:

true if the input OWLObject is into the VariableScope

Throws:

org.semanticweb.owlapi.model.OWLRuntimeException - OWLRuntimeException

getDirection

public VariableScopes.Direction getDirection()

Specified by:

getDirection in interface VariableScope<org.semanticweb.owlapi.model.OWLClassExpression>

Returns:

the direction of the VariableScope

getScopingObject

public org.semanticweb.owlapi.model.OWLClassExpression getScopingObject()

Specified by:

getScopingObject in interface VariableScope<org.semanticweb.owlapi.model.OWLClassExpression>

Returns:

the scope delimiter for the VariableScope

render

public String render(ConstraintSystem constraintSystem)

Specified by:

render in interface Renderable

Parameters:

constraintSystem - constraintSystem

Returns:

rendering