| Package | Description |
|---|---|
| org.coode.oppl | |
| org.coode.oppl.variabletypes | |
| org.coode.parsers.oppl |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractVariableScope<O extends org.semanticweb.owlapi.model.OWLObject> |
class |
ClassVariableScope
Represents a range limitations that could be added to a
GeneratedVariable instance with CLASS VariableType |
class |
IndividualVariableScope
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 |
class |
PropertyVariableScope<P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>>
Represents a range limitations that could be added to a
GeneratedVariable instance with OBJECTPROpERTY or DATAPROPERTY
VariableType |
class |
SubClassVariableScope
Represents a range limitations that could be added to a
GeneratedVariable instance with CLASS VariableType, in
particular this restricts the possible values to the set of primitive classes
that are sub-classes of a given class |
class |
SubPropertyVariableScope<P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>>
Represents a range limitations that could be added to a
GeneratedVariable instance with OBJECTPROERTY or DATAPROPERTY
VariableType, in particular this restricts the possible values to the
set of primitive object properties or data properties that are sub-properties
of a given property |
class |
SuperClassVariableScope
Represents a range limitations that could be added to a
GeneratedVariable instance with CLASS VariableType, in
particular this restricts the possible values to the set of primitive classes
that are super-classes of a given class |
class |
SuperPropertyVariableScope<P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>>
Represents a range limitations that could be added to a
GeneratedVariable instance with OBJECTPROERTY or DATAPRPERTY
VariableType, in particular this restricts the possible values to the
set of primitive object properties or data properties that are
super-properties of a given property |
| Modifier and Type | Method and Description |
|---|---|
<O extends org.semanticweb.owlapi.model.OWLObject> |
ConstraintSystem.createVariable(String name,
VariableType<O> type,
VariableScope<?> variableScope) |
<O extends org.semanticweb.owlapi.model.OWLObject> |
ConstraintSystem.createVariableWithVerifiedName(String name,
VariableType<O> type,
VariableScope<?> variableScope) |
| Modifier and Type | Method and Description |
|---|---|
VariableScope<?> |
InputVariable.getVariableScope() |
| Modifier and Type | Method and Description |
|---|---|
static Variable<org.semanticweb.owlapi.model.OWLClassExpression> |
VariableFactory.getCLASSVariable(String name,
VariableScope<?> variableScope) |
static Variable<org.semanticweb.owlapi.model.OWLLiteral> |
VariableFactory.getCONSTANTVariable(String name,
VariableScope<?> variableScope) |
static Variable<org.semanticweb.owlapi.model.OWLDataPropertyExpression> |
VariableFactory.getDATAPROPERTYVariable(String name,
VariableScope<?> variableScope) |
static Variable<org.semanticweb.owlapi.model.OWLIndividual> |
VariableFactory.getINDIVIDUALVariable(String name,
VariableScope<?> variableScope) |
InputVariable<O> |
VariableType.getInputVariable(String name,
VariableScope<?> variableScope) |
static Variable<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
VariableFactory.getOBJECTPROPERTYVariable(String name,
VariableScope<?> variableScope) |
| Modifier and Type | Field and Description |
|---|---|
VariableScope<?> |
OPPLTypes.variableScope_return.variableScope |
Copyright © 2015 The University of Manchester. All Rights Reserved.