diff --git a/multiperspective/symbolic.ttl b/multiperspective/symbolic.ttl index 80a2124a..3943e7e7 100644 --- a/multiperspective/symbolic.ttl +++ b/multiperspective/symbolic.ttl @@ -29,6 +29,7 @@ The symbolic module includes symbols, symbolic constructs and formal languages." owl:versionInfo "1.0.0-rc1" ; :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" . + ################################################################# # Datatypes ################################################################# @@ -153,7 +154,7 @@ The `hasPart` relation can be used to refer to the scalar data"""@en . owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom owl:real ] ; - rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a ; + rdfs:subClassOf :EMMO_4ca129f3_5341_4dbf_b081_bbe0df9d081a ; skos:prefLabel "RealData"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing a real number."@en . @@ -370,7 +371,9 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc :EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 rdf:type owl:Class ; rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a ; skos:prefLabel "FloatingPointData"@en ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic data representing a numerical floating point value."@en . + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Floating points are defined in the ANSI/IEEE Standard 754-1985 for Binary Floating-Point Arithmetic."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "A numerical data representing a generic floating point number following the IEEE 754 standard."@en , + "https://en.wikipedia.org/wiki/IEEE_754"^^xsd:anyURI . ### https://w3id.org/emmo#EMMO_89a0c87c_0804_4013_937a_6fe234d9499c @@ -584,4 +587,19 @@ Symbols of a formal language must be capable of being specified without any refe :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A data representing an arbritrary sized integer number."@en . +### https://w3id.org/emmo/multiperspective/symbolic#EMMO_4ca129f3_5341_4dbf_b081_bbe0df9d081a +:EMMO_4ca129f3_5341_4dbf_b081_bbe0df9d081a rdf:type owl:Class ; + rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a ; + skos:prefLabel "ComplexData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A numerical data representing a complex number."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Complex numbers may be represented in different ways, e.g. as real and imaginary parts or as with radial coordinates with radius and angle."@en . + + +### https://w3id.org/emmo/multiperspective/symbolic#EMMO_ba65b982_6f48_479a_a326_0b50fdc433de +:EMMO_ba65b982_6f48_479a_a326_0b50fdc433de rdf:type owl:Class ; + rdfs:subClassOf :EMMO_4ca129f3_5341_4dbf_b081_bbe0df9d081a ; + skos:prefLabel "ImarginaryData"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A numerical data representing an imaginary number."@en . + + ### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi