An ontology based on IEC 61360 standard for structured property modeling. Defines properties with type descriptions and instances having expression goals (requirement, actual_value, assurance, variable) and relational operators for value specification and constraint definition.
Description: This ObjectProperty is used to connect a data element with any kind of entity that is described by the data element
Description: ObjectProperty that is used to connect an instance of a complex data type with corresponding members of the complex data type. These members are connected to types and instances of other (complex) data types
Description: This ObjectProperty is used to connect any kind of entity with a data element that is used for its description.
Description: ObjectProperty is used to connect an individual that needs to be described by DataProperties with the Instance Description of that properties.
Description: ObjectProperty is used to connect an individual that needs to be described by DataProperties with the Type Description of that properties. Functional: Any indivudual representing a property, can have only one Type Description
Description: ObjectProperty is used to connect an Instance Description with the Data_Element that it describes. Inverse of has_Instance_Description
Description: ObjectProperty is used to connect a Type_Description with a Data_Element that has instace descriptions of this type. Inverse of has_Type_Description
Description: Indicates the dimension of an array member.
Description: DataProperty that indicates the position of an Array_Member in a DataType List.
Is used with Boolean_Association to define what kind of boolean relation connects the Data_Elements of the Boolean_Association
Description: DIN EN 61360-1:2018 Section 7.3 Unique identifier of this data element type. Preferable this should be a standardized identifier (e.g. from eclss or common data dictionary). optional exlusion of "o" and "i" is not implemented. Liability: necessary type: string with 6 digits between, first three digits are a-z and last three digits are 0-9 poposed data range expression: xsd:string[pattern "[a-z0-9] {6}"]
Description: A SemAnz40 attribute, that indicates the creation date for an instance.
Description: A textual definition of the data element Liability: Necessary DIN EN 61360-1:2018 Section 8.3 Type: String Poposed Data Range Expression: xsd:string
Description: A link to a drawing (or picture) that is used for further explanation of the data element Liability: Optional DIN EN 61360-1:2018 Section 6.13 Type: Contains a URL link as a string to a picture Poposed Data Range Expression: xsd:string
Description: The goal of the values expression, which can be a Requirement against a value, an Assurance against a value, an actual (e.g. measured) value, or an unbound variable (e.g. without a concrete value). Liability: Necessary
Description: Indicates, whether the described type or entity is described by the DIN61360&SemAnz40 Format. Liability: Necessary Type: If true, the Data Element is based on the Din61360 and SemAnz40 description Poposed Data Range Expression: xsd:boolean
Description: A mathematical euqation that is being used for characterization of the data element Liability: Optional DIN EN 61360-1:2018 Section 6.5 Type: contains a URL link as a string to a source file that describes the formula Poposed Data Range Expression: xsd:string
Description: DataProperty that indicates the position of a List_Member in a DataType List.
Description: Indicates, whether a value with a certain Expression Goal has to be considered as equal ("="), not equal ("!="), greater than ("<"), lower than (">") or in combination with an equals (i.e. "<=", ">="). Liability: Necessary
Description: Additional information that are important to understand the meaning of the data element Liability: Optional DIN EN 61360-1:2018 Section 8.4 Type: String Poposed Data Range Expression: xsd:string
Description: A sign or literal that is used to represent the property (e.g. greek "sigma" for tension)) Liability: Optional DIN EN 61360-1:2018 Section 6.6 Type: IEC 60027, IEC 60747 or IEC 60148 compliant formula sign described as a string Poposed Data Range Expression: xsd:string
Description: Represents the preferred name of the data element type, that is being used for searches for instance. Liability: Necessary DIN EN 61360-1:2018 Section 7.4 Type: String with lower and upper case, with a maximum of 70 characters Poposed Data Range Expression: xsd:string[maxLength 70]
Description: Not supported so far, since it requires a additional quality ontology
Additional information that can be used to express a oppinion but should not change the meaning of the definition. DIN EN 61360-1:2018 Section 8.5
Description: Number that represents the actual count of changes Liability: Necessary DIN EN 61360-1:2018 Section 7.5 Type: Integer with two digits between 1 and 99 Poposed Data Range Expression: xsd:integer[>= 1 , <= 99]
Description: A short name or acronym that is used for the preferred name Liability: Necessary DIN EN 61360-1:2018 Section 7.6 Type: Strong restrictions of DIN61360 not implemented, just strings necessary. Maximum characters is 17. Poposed Data Range Expression: xsd:string[maxLength 17]
Description: A link to a source file, where the definition of the data element was taken from Liability: Optional DIN EN 61360-1:2018 Section 8.6 Type: Should contain a description of the source document with a maximum of 80 characters. Document has to be approved by ISO or IEC (e.g. should be a standard like IEC XXXXX). Alternatively use a URL to give a source document that is not approved by ISO. Poposed Data Range Expression: xsd:string
Description: A synonym that is used for the preferred equation sign Liability: Optional DIN EN 61360-1:2018 Section 6.7 Type: IEC 60027, IEC 60747 or IEC 60148 compliant formula sign Poposed Data Range Expression: xsd:string
Description: Synonyms to the preferred name Liability: Optional DIN EN 61360-1:2018 Section 7.7 Type: String with lower and upper case, with a maximum of 70 characters Poposed Data Range Expression: xsd:string[maxLength 70]
Description: Defines the unit of measure for a data element (e.g. km/h) DIN EN 61360-1:2018 Section 10.7 Type: This data property represents the unit of measure, which should be ISO 31 compliant (SI-Units) Poposed Data Range Expression: xsd:string
Description: The actual value of something being described. Liability: Necessary SemAnz40 Type: This data property represents the value of the data element, which is a string, while the actual data type is represented by the Data Property DataType (!) Poposed Data Range Expression: xsd:string
Description: Defines the representation of a data element in length and kind. See DIN61360 for detailed description of possible formats. Possible definitions include non-quantitative formats, quantitative formats and maximum count of characters Liability: Necessary DIN EN 61360-1:2018 Section 10.8 Type: This data property represents only the field length, since this could be exponential (expressed with an E), it is a string Poposed Data Range Expression: xsd:string
Description: Defines the representation of a data element in length and kind. See DIN61360 for detailed description of possible formats. Possible definitions include non-quantitative formats, quantitative formats and maximum count of characters Liability: Necessary DIN EN 61360-1:2018 Section 10.8 Type: This data property represents only the case, that a value format has a variable field length (true) Poposed Data Range Expression: xsd:boolean
Description: Defines the representation of a data element in length and kind. See DIN61360 for detailed description of possible formats. Possible definitions include non-quantitative formats, quantitative formats and maximum count of characters Liability: Necessary DIN EN 61360-1:2018 Section 10.8 Type: This data property represents only the non-quantitativ formats, string Poposed Data Range Expression: xsd:string
Description: Defines the representation of a data element in length and kind. See DIN61360 for detailed description of possible formats. Possible definitions include non-quantitative formats, quantitative formats and maximum count of characters Liability: Necessary DIN EN 61360-1:2018 Section 10.8 Type: This data property represents only the quantitativ formats, string Poposed Data Range Expression: xsd:string
Description: Represents the possible values for a data element Liability: optional (in DIN613060 case depended due to classification of data element, which is not implemented here) DIN EN 61360-1:2018 Section 16 Type: This data property represents the information, if there is a value list (if so, true), basically the values that the data property "Value" is allowed to hold. Poposed Data Range Expression: xsd:boolean
Description: Represents the possible values for a data element Liability: optional (in DIN613060 case depended due to classification of data element, which is not implemented here) DIN EN 61360-1:2018 Section 16 Poposed Data Range Expression: xsd:string
Description: Number that indicates different versions of one data element type Liability: Necessary DIN EN 61360-1:2018 Section 7.8 Type: Integer with three digits max, so between 1 and 999 Poposed Data Range Expression: xsd:integer[>= 1 , <= 999]
Description: Indicates, to which revisions the data type is backwards compatible. Type: Integer Poposed Data Range Expression: xsd:string
Description: Indicates, to which version numbers the data type is backwards compatible. Type: Integer Poposed Data Range Expression: xsd:string
Description: Contains a the structure of all data element (DIN61360 3.5.2, see also section 4) Each Data_Element has to have a type description and may have an instance description
Description: Indicates which kind of DataType a data element must be. This does not include all data types of DIN61360! Liability: Necessary DIN61360: 3.4.1 Type: is a enumeration of standard compliant data types. Please see DIN61360 for a description of level/class-instance/list/set/bag/array
Value list is expressed as exactly 1, since not using a value list has to result in value list false
In order to check consistency, the following procedure is used: First, the reasoner checks, whether the class expressions to hold for the ABox. If that is not the case, then a explanation of inconsistency can be accessed. Second, SWRL rules are used to check the constency aspects that cannot be modelled through class expressions. These rules infer 4 "Overall_X_Constent" DataProperties. For the case that incremental rules were possible, other consistency attributes are inferred, so that in case of inconsistency a debugging can be started. Explanation to class expressions in relation to DIN61360 definitions: "exactly" is used for "necessary" (zwingend) "max" is used for "optinal" (wahlfrei) with maximum restriction If something is just "optional", it will not occur in the class expression. If a liability in DIN61360 states "case dependend" (bedingt), then this considered in a SWRL rule, which will give the DataProperties of "x_Consistent" to the Data_Element