org.topbraid.spin.vocabulary
Class SPIN
java.lang.Object
org.topbraid.spin.vocabulary.SPIN
public class SPIN
- extends java.lang.Object
Vocabulary of the SPIN Modeling Vocabulary.
- Author:
- Holger Knublauch
Constructor Summary |
SPIN()
|
Method Summary |
static Model |
getModel()
Gets a Model with the content of the SPIN namespace, from a file
that is bundled with this API. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BASE_URI
public static final java.lang.String BASE_URI
- See Also:
- Constant Field Values
NS
public static final java.lang.String NS
- See Also:
- Constant Field Values
PREFIX
public static final java.lang.String PREFIX
- See Also:
- Constant Field Values
THIS_VAR_NAME
public static final java.lang.String THIS_VAR_NAME
- See Also:
- Constant Field Values
AskTemplate
public static final Resource AskTemplate
ConstraintViolation
public static final Resource ConstraintViolation
ConstructTemplate
public static final Resource ConstructTemplate
Function
public static final Resource Function
Functions
public static final Resource Functions
LibraryOntology
public static final Resource LibraryOntology
MagicProperties
public static final Resource MagicProperties
MagicProperty
public static final Resource MagicProperty
Module
public static final Resource Module
Modules
public static final Resource Modules
RuleProperty
public static final Resource RuleProperty
SelectTemplate
public static final Resource SelectTemplate
Template
public static final Resource Template
Templates
public static final Resource Templates
UpdateTemplate
public static final Resource UpdateTemplate
abstract_
public static final Property abstract_
body
public static final Property body
constraint
public static final Property constraint
constructor
public static final Property constructor
fix
public static final Property fix
imports
public static final Property imports
labelTemplate
public static final Property labelTemplate
nextRuleProperty
public static final Property nextRuleProperty
query
public static final Property query
returnType
public static final Property returnType
rule
public static final Property rule
rulePropertyMaxIterationCount
public static final Property rulePropertyMaxIterationCount
symbol
public static final Property symbol
thisUnbound
public static final Property thisUnbound
violationPath
public static final Property violationPath
violationRoot
public static final Property violationRoot
_arg1
public static final Resource _arg1
_arg2
public static final Resource _arg2
_arg3
public static final Resource _arg3
_arg4
public static final Resource _arg4
_arg5
public static final Resource _arg5
_this
public static final Resource _this
SPIN
public SPIN()
getModel
public static Model getModel()
- Gets a Model with the content of the SPIN namespace, from a file
that is bundled with this API.
- Returns:
- the namespace Model