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. |
static int |
getRuleIndex(Resource rule)
|
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
Function
public static final Resource Function
Functions
public static final Resource Functions
LibraryOntology
public static final Resource LibraryOntology
Module
public static final Resource Module
Modules
public static final Resource Modules
Template
public static final Resource Template
Templates
public static final Resource Templates
ConstraintViolation
public static final Resource ConstraintViolation
abstract_
public static final Property abstract_
body
public static final Property body
constraint
public static final Property constraint
constructor
public static final Property constructor
labelTemplate
public static final Property labelTemplate
query
public static final Property query
returnType
public static final Property returnType
rule
public static final Property rule
ruleIndex
public static final Property ruleIndex
symbol
public static final Property symbol
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
getRuleIndex
public static int getRuleIndex(Resource rule)