DINEN61360
type: Ontology
version IRI: http://www.w3id.org/hsu-aut/DINEN61360/2.0.3
comment: 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.
version info: 2.0.3

Data Element describes
type: ObjectProperty
inverse of: has Data Element
domain: Data Element
comment: Description: This ObjectProperty is used to connect a data element with any kind of entity that is described by the data element

complex Data Type has Member
type: ObjectProperty
inverse of: is Member of Complex Data Type
domain: Class
  intersection of: Instance Description
  intersection of: Restriction
    on property: Instance Description has Type
    all values from: Complex Data Type
range: Complex Data Type Member
comment: 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

has Data Element
type: ObjectProperty
range: Data Element
comment: Description: This ObjectProperty is used to connect any kind of entity with a data element that is used for its description.

has Instance Description
type: ObjectProperty
inverse of: is Instance Description of Data Element
type: InverseFunctionalProperty
domain: Class
  union of: Complex Data Type Member
  union of: Data Element
range: Instance Description
comment: Description: ObjectProperty is used to connect an individual that needs to be described by DataProperties with the Instance Description of that properties.

has Type Description
type: ObjectProperty
inverse of: is Type Description of Data Element
type: FunctionalProperty
domain: Class
  union of: Complex Data Type Member
  union of: Data Element
range: Type Description
comment: 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

is Instance Description of Data Element
type: ObjectProperty
comment: Description: ObjectProperty is used to connect an Instance Description with the Data_Element that it describes. Inverse of has_Instance_Description

is Type Description of Data Element
type: ObjectProperty
comment: 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

Array Member Dimension
type: DatatypeProperty
domain: Array Member
range: int
comment: Description: Indicates the dimension of an array member.

Array Member Position
type: DatatypeProperty
comment: Description: DataProperty that indicates the position of an Array_Member in a DataType List.

Boolean Operator
type: DatatypeProperty
type: FunctionalProperty
range: Datatype
  one of: AND
  one of: NAND
  one of: NOR
  one of: OR
  one of: XOR
comment: Is used with Boolean_Association to define what kind of boolean relation connects the Data_Elements of the Boolean_Association

Code
type: DatatypeProperty
sub property of: topDataProperty
type: FunctionalProperty
domain: Type Description
comment: 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}"]

Created at Date
type: DatatypeProperty
domain: Instance Description
range: dateTimeStamp
comment: Description: A SemAnz40 attribute, that indicates the creation date for an instance.

Definition
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Drawing Reference
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Expression Goal
type: DatatypeProperty
sub property of: topDataProperty
type: FunctionalProperty
domain: Instance Description
range: Datatype
  one of: Actual_Value
  one of: Assurance
  one of: Requirement
  one of: Variable
comment: 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

Format DIN61360 SemAnz40
type: DatatypeProperty
sub property of: topDataProperty
domain: Data Element
comment: 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

Formula
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

List Member Position
type: DatatypeProperty
domain: List Member
range: int
comment: Description: DataProperty that indicates the position of a List_Member in a DataType List.

Logic Interpretation
type: DatatypeProperty
sub property of: topDataProperty
type: FunctionalProperty
domain: Instance Description
range: Datatype
  one of: !=
  one of: <
  one of: <=
  one of: =
  one of: >
  one of: >=
comment: 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

Note
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Preferred Letter Symbol
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Preferred Name
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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]

Quality
type: DatatypeProperty
sub property of: topDataProperty
domain: Instance Description
comment: Description: Not supported so far, since it requires a additional quality ontology

Remark
type: DatatypeProperty
domain: Type Description
comment: 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

Revision Number
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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]

Short Name
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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]

Source Document of Definition
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Synonymous Letter Symbol
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Synonymous Name
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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]

Unit of Measure
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Value
type: DatatypeProperty
sub property of: topDataProperty
type: FunctionalProperty
domain: Class
  intersection of: Instance Description
  intersection of: Restriction
    on property: Instance Description has Type
    all values from: Simple Data Type
comment: 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

Value Format Field length
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Value Format Field length Variable
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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

Value Format non-quantitativ
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
range: Datatype
  one of: A
  one of: B
  one of: M
  one of: N
  one of: X
property disjoint with: Value Format quantitativ
comment: 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

Value Format quantitativ
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
range: Datatype
  one of: NR1
  one of: NR2
  one of: NR3
comment: 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

Value List
type: DatatypeProperty
sub property of: topDataProperty
domain: Simple Data Type
comment: 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

Value List Member
type: DatatypeProperty
sub property of: topDataProperty
domain: Simple Data Type
comment: 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

Version Number
type: DatatypeProperty
sub property of: topDataProperty
domain: Type Description
comment: 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]

backwards compatible Revision
type: DatatypeProperty
domain: Type Description
comment: Description: Indicates, to which revisions the data type is backwards compatible. Type: Integer Poposed Data Range Expression: xsd:string

backwards compatible Version
type: DatatypeProperty
domain: Type Description
comment: Description: Indicates, to which version numbers the data type is backwards compatible. Type: Integer Poposed Data Range Expression: xsd:string

Array Member
type: Class
subclass of: Complex Data Type Member
subclass of: Restriction
  on property: Array Member Dimension
  qualified cardinality: 1
  on data range: int
subclass of: Restriction
  on property: Array Member Position
  qualified cardinality: 1
  on data range: int

Data Element
type: Class
subclass of: Restriction
  on property: has Type Description
  some values from: Type Description
subclass of: Restriction
  on property: has Instance Description
  min qualified cardinality: 0
  on class: Instance Description
disjoint with: Type Description
comment: 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

Instance Description
type: Class
subclass of: Restriction
  on property: Expression Goal
  qualified cardinality: 1
  on data range: string
subclass of: Restriction
  on property: Logic Interpretation
  qualified cardinality: 1
  on data range: string
disjoint with: Type Description

List Member
type: Class
subclass of: Complex Data Type Member
subclass of: Restriction
  on property: List Member Position
  qualified cardinality: 1
  on data range: int

Simple Data Type
type: Class
subclass of: Data Type
subclass of: Restriction
  on property: Value List
  qualified cardinality: 1
  on data range: boolean
comment: 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

Type Description
type: Class
subclass of: Restriction
  on property: Code
  qualified cardinality: 1
  on data range: string
subclass of: Restriction
  on property: Definition
  qualified cardinality: 1
  on data range: string
subclass of: Restriction
  on property: Preferred Name
  qualified cardinality: 1
  on data range: string
subclass of: Restriction
  on property: Short Name
  qualified cardinality: 1
  on data range: string
subclass of: Restriction
  on property: Version Number
  qualified cardinality: 1
  on data range: int
subclass of: Restriction
  on property: Preferred Letter Symbol
  max qualified cardinality: 1
  on data range: string
subclass of: Restriction
  on property: Synonymous Letter Symbol
  max qualified cardinality: 2
  on data range: string
subclass of: Restriction
  on property: Synonymous Name
  max qualified cardinality: 2
  on data range: string
comment: Value list is expressed as exactly 1, since not using a value list has to result in value list false

Thing
comment: 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