The Open Simulation Platform Interface Specification Ontology
OSP-IS Ontology
hasBaseUnit
This object property relates an individual of class Variable to one of the defined causality individuals.
hasCausality
This object property relates individuals of class VariableGroupConnection to individuals of class VariableGroupConnection or
VariableConnection.
hasConnection
hasConnectionDirect
This object property relates individuals of class Variable to one of the defined datatype individuals.
hasDatatype
This object property represents the exponents of 7 SI base units extended with the SI derived unit radian.
hasExponent
This object property represents the exponent of the SI base unit ampere.
hasExponent_ampere
This object property represents the exponent of the SI base unit candela.
hasExponent_candela
This object property represents the exponent of the SI base unit kelvin.
hasExponent_kelvin
This object property represents the exponent of the SI base unit kilogram.
hasExponent_kilogram
This object property represents the exponent of the SI base unit meter.
hasExponent_meter
This object property represents the exponent of the SI base unit mole.
hasExponent_mole
This object property represents the exponent of the SI derived unit radian.
hasExponent_radian
This object property represents the exponent of the SI base unit second.
hasExponent_second
This object property relates individuals of class VariableConnection to individuals of class Variable; or it relates individuals of class VariableGroupConnection to individuals of class VariableGroupConnection or VariableConnection.
hasLHS
This object property relates individuals of class Simulator, VariableGroup and Variable to individuals of class Name.
hasName
hasPart
This object property relates individuals of class VariableConnection to individuals of class Variable; or it relates individuals of class VariableGroupConnection to individuals of class VariableGroupConnection or VariableConnection.
hasRHS
hasSimulator
This object property relates individuals of class Variable to individuals of class Unit.
hasUnit
This object property relates individuals of class Simulator and VariableGroup to individuals of class Variable.
hasVariable
This object property relates individuals of class Simulator and VariableGroup to individuals of class VariableGroup.
hasVariableGroup
This object property relates individuals of type VariableGroup to one of the defined vgtype individuals.
hasVariableGroupType
This data property connects to a unit conversion factor.
hasFactor
This data property connects to a unit conversion offset.
hasOffset
Class of individuals representing causalities
Causality
Class of individuals representing connections
Connection
Class of individuals representing data types
DataType
Class of individuals representing the names of simulators, variable groups and variables.
Name
Class of individuals representing OSP system structures
OSPSystemStructure
Class of individuals representing predefined types
PredefinedType
Class of individuals representing simulators
Simulator
Type
Class of individuals representing units
Unit
VE_AngularAcceleration
2
All variables in variable group of type angular_acceleration must have same causality
VE_AngularAcceleration_1
2
All variables in variable group of type angular_acceleration must have same data type
VE_AngularAcceleration_2
2
All variables in variable group of type angular_acceleration must have same unit
VE_AngularAcceleration_3
VE_AngularDisplacement
2
All variables in variable group of type angular_displacement must have same causality
VE_AngularDisplacement_1
2
All variables in variable group of type angular_displacement must have same data type
VE_AngularDisplacement_2
2
All variables in variable group of type angular_displacement must have same unit
VE_AngularDisplacement_3
VE_AngularMechanicalPort
The torque group must have opposite causality of the angular velocity group
VE_AngularMechanicalPort_1
VE_AngularMechanicalQuasiPort
The torque group must have opposite causality of the angular displacement group
VE_AngularMechanicalQuasiPort_1
VE_AngularVelocity
2
All variables in variable group of type angular_velocity must have same causality
VE_AngularVelocity_1
2
All variables in variable group of type angular_velocity must have same data type
VE_AngularVelocity_2
2
All variables in variable group of type angular_velocity must have same unit
VE_AngularVelocity_3
VE_Charge
2
All variables in variable group of type charge must have same causality
VE_Charge_1
2
All variables in variable group of type charge must have same data type
VE_Charge_2
2
All variables in variable group of type charge must have same unit
VE_Charge_3
Class of individuals associated with validation erros regarding connections
VE_Connection
VE_Current
2
All variables in variable group of type current must have same causality
VE_Current_1
2
All variables in variable group of type current must have same data type
VE_Current_2
2
All variables in variable group of type current must have same unit
VE_Current_3
VE_ElectromagneticPort
The voltage group must have opposite causality of the current group
VE_ElectromagneticPort_1
VE_ElectromagneticQuasiPort
The voltage group must have opposite causality of the charge group
VE_ElectromagneticQuasiPort_1
VE_Force
2
All variables in variable group of type force must have same causality
VE_Force_1
2
All variables in variable group of type force must have same data type
VE_Force_2
2
All variables in variable group of type force must have same unit
VE_Force_3
VE_HydraulicPort
The pressure group must have opposite causality of the volume flow rate group
VE_HydraulicPort_1
VE_HydraulicQuasiPort
The pressure group must have opposite causality of the volume group
VE_HydraulicQuasiPort_1
VE_LinearAcceleration
2
All variables in variable group of type linear_acceleration must have same causality
VE_LinearAcceleration_1
2
All variables in variable group of type linear_acceleration must have same data type
VE_LinearAcceleration_2
2
All variables in variable group of type linear_acceleration must have same unit
VE_LinearAcceleration_3
VE_LinearDisplacement
2
All variables in variable group of type linear_displacement must have same causality
VE_LinearDisplacement_1
2
All variables in variable group of type linear_displacement must have same data type
VE_LinearDisplacement_2
2
All variables in variable group of type linear_displacement must have same unit
VE_LinearDisplacement_3
VE_LinearMechanicalPort
The force group must have opposite causality of the linear velocity group
VE_LinearMechanicalPort_1
VE_LinearMechanicalQuasiPort
The force group must have opposite causality of the linear displacement group
VE_LinearMechanicalQuasiPort_1
VE_LinearVelocity
2
All variables in variable group of type linear_velocity must have same causality
VE_LinearVelocity_1
2
All variables in variable group of type linear_velocity must have same data type
VE_LinearVelocity_2
2
All variables in variable group of type linear_velocity must have same unit
VE_LinearVelocity_3
Class of individuals associated with validation erros regarding names
VE_Name
2
VE_N_1: Class of names that are assigned to multiple variables. Several variables share the same name.
VE_Name_1
2
VE_N_2: Class of names that are assigned to multiple simulators. Several simulators share the same name.
VE_Name_2
2
VE_N_3: Class of names that are assigned to multiple variable groups. Several variable groups share the same name.
VE_Name_3
Class of individuals associated with validation erros regarding OSP system structures
VE_OSPSystemStructure
VE_Pressure
2
All variables in variable group of type pressure must have same causality
VE_Pressure_1
2
All variables in variable group of type pressure must have same data type
VE_Pressure_2
2
All variables in variable group of type pressure must have same unit
VE_Pressure_3
Class of individuals associated with validation erros regarding simulators
VE_Simulator
Class of simulators with non-unique names
VE_Simulator_1
VE_Torque
2
All variables in variable group of type torque must have same causality
VE_Torque_1
2
All variables in variable group of type torque must have same data type
VE_Torque_2
2
All variables in variable group of type torque must have same unit
VE_Torque_3
Class of individuals associated with validation erros regarding units
VE_Unit
Class of individuals associated with validation erros regarding variables
It is assumed that variable instances are associated with values for the attributes name, causality, unit and datatype. Dedicated individuals representing undefined values for datatype and causality must be chosen if a value is not known. The validation error classes detect variable instances with multiple or incorrect values for an attibute or if attribute values are undefined.
VE_Variable
VE_VariableConnection
2
Class of variable connections whose LHS- and RHS-variables are of different datatypes.
VE_VariableConnection_1
Class of variable connections whose LHS- and RHS-variables are of the same causality.
VE_VariableConnection_2
2
Class of variable connections whose LHS- and RHS-variables have different units.
VE_VariableConnection_3
Class of VariableConnections containing invalid Variables
VE_VariableConnection_4
Class of individuals associated with validation erros regarding variable groups
VE_VariableGroup
VE_VariableGroupConnection
2
Class of variable group connections whose LHS- and RHS-variable groups do not have the same type.
VE_VariableGroupConnection_1
Class of VariableGroupConnections containing invalid VariableGroups
VE_VariableGroupConnection_2
Class of VariableGroupConnections containing invalid VariableConnections
VE_VariableGroupConnection_3
Class of VariableGroups containing invalid Variables
VE_VariableGroup_1
Class of VariableGroups with non-unique names
VE_VariableGroup_2
Class of VariableGroups containing invalid nested VariableGroups
VE_VariableGroup_3
Variable has undefined causality
VE_Variable_1
Class of variables with non-unique names
VE_Variable_2
VE_Voltage
2
All variables in variable group of type voltage must have same causality
VE_Voltage_1
2
All variables in variable group of type voltage must have same data type
VE_Voltage_2
2
All variables in variable group of type voltage must have same unit
VE_Voltage_3
VE_Volume
VE_VolumeFlowRate
2
All variables in variable group of type volume_flow_rate must have same causality
VE_VolumeFlowRate_1
2
All variables in variable group of type volume_flow_rate must have same data type
VE_VolumeFlowRate_2
2
All variables in variable group of type volume_flow_rate must have same unit
VE_VolumeFlowRate_3
2
All variables in variable group of type volume must have same causality
VE_Volume_1
2
All variables in variable group of type volume must have same data type
VE_Volume_2
2
All variables in variable group of type volume must have same unit
VE_Volume_3
Class of individuals associated with validation errors
ValidationError
Class of individuals representing variables
Variable
Class of individuals representing variable
connections
VariableConnection
Class of individuals representing variable groups
VariableGroup
Class of individuals representing variable group connections
VariableGroupConnection
Class of individuals representing variable group types
VariableGroupType
Individual representing input causality. Individuals of type Variable which have input causality must relate to this individual through the hasCausality object property.
input
Individual representing output causality. Individuals of type Variable which have output causality must relate to this individual through the hasCausality object property.
output
Individual representing the undefined causality.
undefinedCausality
Individual representing the Boolean datatype.
boolean
Individual representing the enum datatype.
enum
Individual representing the integer datatype.
integer
Individual representing the real datatype.
real
Individual representing the string datatype.
string
Individual representing the undefined datatype.
undefinedDatatype
Individual representing the angular acceleration variable group type
angularAcceleration
Individual representing the angular displacement variable group type.
angularDisplacement
Individual representing the angular mechanical port variable group type.
angularMechanicalPort
Individual representing the angular mechanical quasi port variable group type.
angularMechanicalQuasiPort
Individual representing the angular velocity variable group type.
angularVelocity
Individual representing the azimuth angle variable group type.
azimuthAngle
Individual representing the azimuth thruster feedback variable group type.
azimuthThrusterFeedback
Individual representing the azimuth thruster setpoint variable group type.
azimuthThrusterSetpoint
Individual representing the battery feedback variable group type.
batteryFeedback
Individual representing the blade pitch variable group type.
bladePitch
Individual representing the bus feedback variable group type.
busFeedback
Individual representing the charge variable group type.
charge
Individual representing the current variable group type.
current
Individual representing the electric power variable group type.
electricPower
Individual representing the electromagnetic port variable group type.
electromagneticPort
Individual representing the eletromagnetic quasi port variable group type.
electromagneticQuasiPort
Individual representing the fixed thruster feedback variable group type.
fixedThrusterFeedback
Individual representing the fixed thruster setpoint variable group type.
fixedThrusterSetpoint
Individual representing the force variable group type.
force
Individual representing the frequency variable group type.
frequency
Individual representing the generator feedback variable group type.
generatorFeedback
Individual representing the generic variable group type.
generic
Individual representing the hydraulic port variable group type.
hydraulicPort
Individual representing the hydraulic quasi port variable group type.
hydraulicQuasiPort
Individual representing the linear acceleration variable group type.
linearAcceleration
Individual representing the linear displacement variable group type.
linearDisplacement
Individual representing the linear mechanical port variable group type.
linearMechanicalPort
Individual representing the linear mechanical quasi port variable group type.
linearMechanicalQuasiPort
Individual representing the linear velocity variable group type.
linearVelocity
Individual representing the NMEA GGA variable group type.
NMEA_GGA
Individual representing the NMEA GGA fix variable group type.
NMEA_GGA_Fix
Individual representing the NMEA GGA latitude longitude variable group type.
NMEA_GGA_LatitudeLongitude
Individual representing the NMEA GST variable group type.
NMEA_GST
Individual representing the NMEA GST ellipse variable group type.
NMEA_GST_Ellipse
Individual representing the NMEA GST position error variable group type.
NMEA_GST_PositionError
Individual representing the NMEA GST RMS variable group type.
NMEA_GST_RMS
Individual representing the NMEA MWV variable group type.
NMEA_MWV
Individual representing the NMEA status variable group type.
NMEA_Status
Individual representing the NMEA SXN variable group type.
NMEA_SXN
Individual representing the NMEA THS variable group type.
NMEA_THS
Individual representing the NMEA time variable group type.
NMEA_Time
Individual representing the NMEA true heading variable group type.
NMEA_TrueHeading
Individual representing the NMEA wind directions variable group type.
NMEA_WindDirection
Individual representing the NMEA wind speed variable group type.
NMEA_WindSpeed
Individual representing the pressure variable group type.
pressure
Individual representing the shaft speed variable group type.
shaftSpeed
Individual representing the torque variable group type.
torque
Individual representing the undefined variable group type.
undefinedVGType
Individual representing the voltage variable group type.
voltage
Individual representing the volume variable group type.
volume
Individual representing the volume flow rate variable group type.
volumeFlowRate
true
The rule assigns a hasCausality relationship from a variable connection to the causality of its variables.
Causality propagation from connected variables to variable connection
true
The rule assigns a direct has_datatype relationship from a variable connection to the datatypes of its variables.
Datatype propagation from connected variables to their variable connection
true
The rule assigns a hasUnit relationship from a variable connection to the units of the connected variables.
Unit propagation from connected variables to their variable connection
true
The rule assigns variable groups a hasCausality relationship to the causalities of the contained variables.
Causality propagation from nested variables to their variable group
true
The rules assigns variable groups a hasDatatype relationship to the datatypes of the contained variables.
Datatype propagation from nested variables to their variable group
true
The rule assigns variable groups a hasUnit relationship to the units of of the contained variables.
Unit propagation from nested variables to their variable group
true
The rules assigns variable groups a hasCausality relationship to the causalities of the variables in the nested variable groups.
Causality propagation from nested variable groups to their parent variable group
true
The rule assigns a hasVariableGroupType relationship from a variable group connection to the type of the connected variable groups.
Variable group type propagation from connected variable groups to their variable group connection