From 767e013c9013e9c73b31cc390738f6a0d0724ded Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 26 May 2024 19:50:53 +0200 Subject: [PATCH] Updated the symbolic branch. Added elucidations and references to w3 documentation. Added also ScalarData and hasScalarData for providing a practical and consistent way to describe arrays. --- multiperspective/symbolic.ttl | 163 +++++++++++++++++++++++++++------- 1 file changed, 130 insertions(+), 33 deletions(-) diff --git a/multiperspective/symbolic.ttl b/multiperspective/symbolic.ttl index 890b6f32..9e434cb2 100644 --- a/multiperspective/symbolic.ttl +++ b/multiperspective/symbolic.ttl @@ -37,6 +37,19 @@ The symbolic module includes symbols, symbolic constructs and formal languages." rdf:JSON rdf:type rdfs:Datatype . +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/emmo/multiperspective/symbolic#EMMO_e5a34647_a955_40bc_8d81_9b784f0ac527 +:EMMO_e5a34647_a955_40bc_8d81_9b784f0ac527 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; + rdfs:domain :EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c ; + rdfs:range :EMMO_dd8301d8_affa_4b1d_8db8_7b9d0a1f2ee7 ; + skos:prefLabel "hasScalarData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Relates an array to the scalar data of its basic elements."@en . + + ################################################################# # Data properties ################################################################# @@ -95,7 +108,14 @@ for(i=0;i= 0."@en . ### https://w3id.org/emmo#EMMO_432192c4_111f_4e80_b7cd_c6ce1c1129ea @@ -206,7 +245,9 @@ For example, text is made of words, spaces and punctuations. Words are made of c owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:short ] ; - skos:prefLabel "ShortData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#short"^^xsd:anyURI ; + skos:prefLabel "ShortData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 16-bit integer number."@en . ### https://w3id.org/emmo#EMMO_50ea1ec5_f157_41b0_b46b_a9032f17ca10 @@ -229,7 +270,9 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:long ] ; - skos:prefLabel "LongData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#long"^^xsd:anyURI ; + skos:prefLabel "LongData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 64-bit integer number."@en . ### https://w3id.org/emmo#EMMO_52fa9c76_fc42_4eca_a5c1_6095a1c9caab @@ -239,7 +282,9 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc owl:someValuesFrom xsd:double ] ; rdfs:subClassOf :EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 ; - skos:prefLabel "DoubleData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/datatypes.html#double"^^xsd:anyURI ; + skos:prefLabel "DoubleData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a 64-bit floating point numbers incl. ±Inf, ±0, NaN."@en . ### https://w3id.org/emmo#EMMO_54dc83cb_06e1_4739_9e45_bc09cead7f48 @@ -248,6 +293,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:boolean ] ; + rdfs:isDefinedBy "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/datatypes.html#boolean"^^xsd:anyURI ; skos:prefLabel "BooleanData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data repesenting a boolean number."@en . @@ -258,7 +304,9 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:positiveInteger ] ; - skos:prefLabel "PositiveIntegerData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#positiveInteger"^^xsd:anyURI ; + skos:prefLabel "PositiveIntegerData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number > 0."@en . ### https://w3id.org/emmo#EMMO_5f334606_f67d_4f0e_acb9_eeb21cb10c66 @@ -267,7 +315,10 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:string ] ; - skos:prefLabel "StringData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#string"^^xsd:anyURI ; + skos:prefLabel "StringData"@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Since a string is a simple type that can contain only characters but not other child elements, is often not suitable for representing human text, that may need additional elements for control of aspects such as bidirectional formatting or ruby annotation."@en , + "Symbolic data that consist of a sequence of characters."@en . ### https://w3id.org/emmo#EMMO_648c17b7_a012_4060_a096_c76bd407804b @@ -276,7 +327,8 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:negativeInteger ] ; - skos:prefLabel "NegativeIntegerData"@en . + skos:prefLabel "NegativeIntegerData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number < 0."@en . ### https://w3id.org/emmo#EMMO_69ebb235_9c5e_443d_9a3b_7042b1005f1f @@ -285,12 +337,16 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom owl:rational ] ; - skos:prefLabel "RationalData"@en . + skos:prefLabel "RationalData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a rational number, that is a number that can be expressed exact by `p/q` where `p` and `q` are integer numbers."@en . ### https://w3id.org/emmo#EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 rdf:type owl:Class ; rdfs:subClassOf :EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ; + owl:disjointUnionOf ( :EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c + :EMMO_dd8301d8_affa_4b1d_8db8_7b9d0a1f2ee7 + ) ; rdfs:seeAlso "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/#built-in-datatypes"^^xsd:anyURI , "https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Datatype_Maps" , "https://www.w3schools.com/xml/schema_dtypes_numeric.asp" ; @@ -309,7 +365,8 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 :EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 rdf:type owl:Class ; rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a ; - skos:prefLabel "FloatingPointData"@en . + skos:prefLabel "FloatingPointData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a numerical floating point value."@en . ### https://w3id.org/emmo#EMMO_89a0c87c_0804_4013_937a_6fe234d9499c @@ -327,25 +384,40 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc ### https://w3id.org/emmo#EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a rdf:type owl:Class ; rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ; - skos:prefLabel "NumericData"@en . + skos:prefLabel "NumericData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a numerical value."@en . ### https://w3id.org/emmo#EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c :EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c rdf:type owl:Class ; - rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; + owl:someValuesFrom :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 + ] , + [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_e5a34647_a955_40bc_8d81_9b784f0ac527 ; + owl:someValuesFrom :EMMO_dd8301d8_affa_4b1d_8db8_7b9d0a1f2ee7 + ] ; skos:prefLabel "ArrayData"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An array is a datatype representing an ordered collection of elements (or values) that can be accessed by indexes. Arrays have an analog mathematical counterpart in vectors and matrixes, but are separate concepts. Arrays may be multidimensionals."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """In the EMMO we use the following JSON based syntax to represent arrays: -- mono-dimensional array [v1,v2,...,vn] -- bi-dimensional array [[v1,v2,...,vn],[w1,w2,...,2n]] -This notation can be extended to multidimensional arrays."""@en . +- mono-dimensional array [v1,v2,...,vn] (vector) +- bi-dimensional array [[v1,v2,...,vn],[w1,w2,...,2n]] (matrix) +This notation can be extended to multidimensional arrays."""@en , + """The `hasSpatialTile` relation can be used to navigate between the dimensions of an array. + +The `hasScalarData` relation can be used to refer to the basic scalar data of the single array elements."""@en , + """The structure of an array is expressed mereologically. It consists of a set of equally sized tiles. + +The tiles of an n-dimensional array are (n-1) dimensional arrays. The tiles of an (n-1)-dimensional array are (n-2) dimensional arrays, and so forth down to 1-dimensional arrays (vectors), whos tiles are scalar data."""@en . ### https://w3id.org/emmo#EMMO_9e985b2c_d36d_4ab5_ab01_3290b6747757 :EMMO_9e985b2c_d36d_4ab5_ab01_3290b6747757 rdf:type owl:Class ; rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ; rdfs:isDefinedBy "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/datatypes.html#date"^^xsd:anyURI ; - skos:prefLabel "DateData"@en . + skos:prefLabel "DateData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing a date."@en . ### https://w3id.org/emmo#EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 @@ -378,7 +450,9 @@ Symbols of a formal language must be capable of being specified without any refe owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:int ] ; - skos:prefLabel "IntData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#int"^^xsd:anyURI ; + skos:prefLabel "IntData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 32-bit integer number."@en . ### https://w3id.org/emmo#EMMO_ac9e518d_b403_4d8b_97e2_06f9d40bac01 @@ -388,7 +462,9 @@ Symbols of a formal language must be capable of being specified without any refe owl:someValuesFrom xsd:float ] ; rdfs:subClassOf :EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 ; - skos:prefLabel "FloatData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/datatypes.html#float"^^xsd:anyURI ; + skos:prefLabel "FloatData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a 32-bit floating point numbers incl. ±Inf, ±0, NaN."@en . ### https://w3id.org/emmo#EMMO_bed2fe4c_dc7e_43a8_8200_6aac44030bff @@ -403,7 +479,8 @@ Symbols of a formal language must be capable of being specified without any refe owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:nonPositiveInteger ] ; - skos:prefLabel "NonPositiveIntegerData"@en . + skos:prefLabel "NonPositiveIntegerData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number <= 0."@en . ### https://w3id.org/emmo#EMMO_d43546df_7fd7_44d5_9d7c_0f2bf56cefe3 @@ -412,7 +489,9 @@ Symbols of a formal language must be capable of being specified without any refe owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:decimal ] ; - skos:prefLabel "DecimalData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#decimal"^^xsd:anyURI ; + skos:prefLabel "DecimalData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an arbritrary precision decimal number."@en . ### https://w3id.org/emmo#EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 @@ -431,7 +510,11 @@ Symbols of a formal language must be capable of being specified without any refe ### https://w3id.org/emmo#EMMO_d95ff9c8_e43f_4701_a761_f2ed601eb61d :EMMO_d95ff9c8_e43f_4701_a761_f2ed601eb61d rdf:type owl:Class ; - rdfs:subClassOf :EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c ; + rdfs:subClassOf :EMMO_9e49caad_b29e_4cf1_9be4_80419fd1e45c , + [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; + owl:someValuesFrom :EMMO_dd8301d8_affa_4b1d_8db8_7b9d0a1f2ee7 + ] ; skos:prefLabel "VectorData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The datatype for monodimensional arrays."@en . @@ -442,7 +525,9 @@ Symbols of a formal language must be capable of being specified without any refe owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:unsignedShort ] ; - skos:prefLabel "UnsignedShortData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#unsignedShort"^^xsd:anyURI ; + skos:prefLabel "UnsignedShortData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 16-bit non-negative integer number, 0...65535."@en . ### https://w3id.org/emmo#EMMO_e13b2173_1dec_4b97_9ac1_1dc4b418612a @@ -457,7 +542,9 @@ Symbols of a formal language must be capable of being specified without any refe owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:unsignedByte ] ; - skos:prefLabel "UnsignedByteData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#unsignedByte"^^xsd:anyURI ; + skos:prefLabel "UnsignedByteData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 8-bit non-negative integer number, 0...255."@en . ### https://w3id.org/emmo#EMMO_f1ee5c02_5cc0_45ba_a09a_2e6319f75fc8 @@ -466,7 +553,9 @@ Symbols of a formal language must be capable of being specified without any refe owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:unsignedLong ] ; - skos:prefLabel "UnsignedLongData"@en . + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#unsignedLong"^^xsd:anyURI ; + skos:prefLabel "UnsignedLongData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing 64-bit non-negative integer number, 0...18446744073709551615."@en . ### https://w3id.org/emmo#EMMO_f8bd64d5_5d3e_4ad4_a46e_c30714fecb7f @@ -475,8 +564,16 @@ Symbols of a formal language must be capable of being specified without any refe owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:integer ] ; + rdfs:isDefinedBy "https://www.w3.org/TR/xmlschema11-2/#integer"^^xsd:anyURI ; skos:prefLabel "IntegerData"@en ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an integer number."@en . + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an arbritrary sized integer number."@en . + + +### https://w3id.org/emmo/multiperspective/symbolic#EMMO_dd8301d8_affa_4b1d_8db8_7b9d0a1f2ee7 +:EMMO_dd8301d8_affa_4b1d_8db8_7b9d0a1f2ee7 rdf:type owl:Class ; + skos:prefLabel "ScalarData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data that is not array data."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Scalar data are primitive symbolic data that are not built up of other types of symbolic data."@en . ### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi