Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

270 complex numbers #289

Open
wants to merge 8 commits into
base: 1.0.0-rc2
Choose a base branch
from
22 changes: 20 additions & 2 deletions multiperspective/symbolic.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -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
#################################################################
Expand Down Expand Up @@ -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 .

Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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