forked from emmo-repo/EMMO
-
Notifications
You must be signed in to change notification settings - Fork 0
/
physical.ttl
201 lines (152 loc) · 17.1 KB
/
physical.ttl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
@prefix : <http://emmo.info/emmo#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@base <http://emmo.info/emmo/top/physical> .
<http://emmo.info/emmo/top/physical> rdf:type owl:Ontology ;
owl:versionIRI <http://emmo.info/emmo/1.0.0-beta/top/physical> ;
owl:imports <http://emmo.info/emmo/1.0.0-beta/top/mereotopology> ;
dcterms:abstract "Defines Physical, which is the superclass for all real world objects and its complement, Void. It also define the Elementary class, that restricts mereological atomism in space."@en ;
dcterms:contributor "Access, DE" ,
"Fraunhofer IWM, DE" ,
"Goldbeck Consulting Ltd (UK)" ,
"SINTEF, NO" ,
"University of Bologna, IT" ;
dcterms:creator "Adham Hashibon" ,
"Emanuele Ghedini" ,
"Georg Schmitz" ,
"Gerhard Goldbeck" ,
"Jesper Friis" ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher "EMMC ASBL" ;
dcterms:title "Physical"@en ;
rdfs:comment """Contacts:
Gerhard Goldbeck
Goldbeck Consulting Ltd (UK)
email: [email protected]
Emanuele Ghedini
University of Bologna (IT)
email: [email protected]"""@en ,
"The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
owl:versionInfo "1.0.0-beta" .
#################################################################
# Object Properties
#################################################################
### http://emmo.info/emmo#EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83
:EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that isolates a proper part that extends itself in time through a portion of the lifetime whole." ;
skos:prefLabel "hasSpatioTemporalPart"@en .
### http://emmo.info/emmo#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6
:EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that isolate a proper part that covers the total spatial extension of a whole within a time interval." ;
skos:prefLabel "hasTemporalPart"@en .
### http://emmo.info/emmo#EMMO_f68030be_94b8_4c61_a161_886468558054
:EMMO_f68030be_94b8_4c61_a161_886468558054 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that isolates a proper part that extends itself in time within the overall lifetime of the whole, without covering the full spatial extension of the 4D whole (i.e. is not a temporal part)." ;
skos:prefLabel "hasSpatialPart"@en .
#################################################################
# Classes
#################################################################
### http://emmo.info/emmo#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d ,
[ rdf:type owl:Restriction ;
owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ;
owl:allValuesFrom :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :EMMO_f68030be_94b8_4c61_a161_886468558054 ;
owl:allValuesFrom owl:Nothing
] ;
:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)."@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The basic constituent of 'item'-s that can be proper partitioned only in time up to quantum level."@en ;
rdfs:comment """According to mereology, this should be call 'a-tomistic' in the strict etimological sense of the word (from greek, a-tomos: un-divisible).
Mereology based on such items is called atomistic mereology.
However, in order not to confuse the lexicon between mereology and physics (in which an atom is a divisible physical entity) we prefer to call it 'elementary', recalling the concept of elementary particle coming from the standard particles model."""@en ,
"While a 'Quantum' is a-tomistic in time and space, an 'elementary' is a-tomistic only in space, recalling the concept of elementary particle."@en ;
skos:prefLabel "Elementary"@en .
### http://emmo.info/emmo#EMMO_29072ec4_ffcb_42fb_bdc7_26f05a2e9873
:EMMO_29072ec4_ffcb_42fb_bdc7_26f05a2e9873 rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ;
owl:allValuesFrom :EMMO_29072ec4_ffcb_42fb_bdc7_26f05a2e9873
] ;
:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin vacuus, “empty”."@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 'Item' that has no 'Physical' parts."@en ;
rdfs:comment "The void concept is paramount for the representation of physical systems according to quantum theory."@en ;
skos:prefLabel "Void"@en .
### http://emmo.info/emmo#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d
:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ;
owl:someValuesFrom :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ;
owl:allValuesFrom :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d
] ;
:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 """From Latin physica \"study of nature\" (and Ancient Greek φυσικός, “natural”).
Here the word relates to things perceived through the senses as opposed to the mind; tangible or concrete."""@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 'Item' that has part some 'Elementary' and whose temporal proper parts are only 'Physical'-s (i.e. it can be perceived without interruptions in time)."@en ;
rdfs:comment """A 'Physical' is the class that contains all the individuals that stand for real world objects that interact physically with the ontologist, i.e. physical objects.
A physical object must be perceived through physical interaction by the ontologist. Then the ontologist can declare an individual standing for the physical object just perceived.
Perception is a subcategory of physical interactions. It is an interaction that stimulate a representation of the physical object within the ontologist (the agent)."""@en ,
"""A 'Physical' must include at least an 'Elementary' part, and can include 'Void' parts.
A 'Physical' may include as part also the 'Void' surrounding or enclosed by its 'Physical' sub parts.
There are no particular criteria for 'Physical'-s structure, except that is made of some 'Elementary'-s as proper parts and not only 'Void'.
This is done in order to take into account the quantum nature of physical systems, in which the actual position of sub-components (e.g. electrons in an atom) is not known except for its probability distribution function (according to the Copenhagen interpretation.)
e.g. a real world object that has spatial parts an atom and a cubic light year of void, extending for some time, can be a physical object."""@en ,
"""A 'Physical' with dimensions other than 4D cannot exist, following the restriction of the parent 'EMMO' class.
It follows from the fact that perception is always unfolding in time.
e.g. you always have an aperture time when you take a picture or measure a property. Instantaneous perceptions are idealizations (abstractions) or a very small time measurement."""@en ,
"In the EMMO there are no relations such as occupiesSpace, since 'Physical'-s are themselves the 4D regions."@en ,
"""The EMMO can be used to represent real world entities as 'Physical'-s that are easy to connect to classical or quantum mechanical based models.
Classical mechanics poses no representational issues, for the EMMO: the 4D representation of 'Physical'-s is consistent with classical physics systems.
However, the representation of 'Physical'-s that are typically analized through quantum mechanics (e.g. molecules, atoms, clusters), is not straightforward.
1) De Broglie - Bohm interpretation
The most simple approach is to rely on Bohmian mechanics, in which each particle is supposed to exists in a specific position between measurements (hidden variables approach), while its trajectory is calculated using a Guiding Equation based on a quantum field calculated with the Schroedinger Equation.
While this approach is really easy to implement in an ontology, since each entity has its own well defined 4D region, its mathematical representation failed to receive large consensus due to the difficulties to include relativistic effects, to be extended to subnuclear scale and the strong non-locality assumtpion of the quantum field.
Nevertheless, the Bohmian mechanics is a numerical approach that is used in electronic models to reduce the computational effort of the solution of Schroedinger Equation.
In practice, an EMMO user can declare a 'physical' individual that stand for the whole quantum system to be described, and at the same time all sub-parts individuals can be declared, having them a well defined position in time, according to De Broglie - Bohm interpretation. The Hamiltonian can be calculated by considering the sub-part individuals.
'physical'-s are then made of 'physical' parts and 'void' parts that stand for the space between 'physical'-s (e.g. the void between electrons and nucleus in an atom).
2) Copenhagen interpretation
In this interpretation the properties (e.g. energy level, position, spin) of a particle are not defined in the interval between two measurements and the quantum system is entangled (i.e. properties of particles in the sysyem are correlated) and described by a global wavefunction obtained solving the Schroedinger Equation.
Upon measurement, the wavefunction collapses to a combination of close eigenstates that provide information about bservables of the system components (e.g. position, energy).
The EMMO can be used to represent 'physical'-s that can be related to Copenhagen based models. In practice, the user should follow these steps:
a) define the quantum system as a 'physical' individual (e.g. an H2 molecule) under a specific class (e.g. 'h2_molecule'). This individual is the whole.
b) define the axioms of the class that describe how many sub-parts are expected for the whole and their class types (e.g. 'h2_molecule' has axioms 'has_proper_part exactly 2 electron' and 'has_proper_part exactly 2 nucleus)
c) the user can now connect the whole to a Schroedinger equation based model whose Hamiltonian is calculated trough the information coming only from the axioms. No individuals are declared for the subparts!
d) a measurement done on the quantum system that provides information on the sub-part observables is interpreted as wavefunction collapse and leads to the end of the whole and the declaration of the sub-parts individuals which can be themselves other quantum systems
e.g. if the outer electron of the H2 molecule interacts with another entity defining its state, then the whole that stands for the entangled H2 molecule becomes a 'physical' made of an electron individual, a quantum system made of one electron and two nuclei and the void between them.
e.g. in the Born-Oppenheimer approximation the user represent the atom by un-entangling nucleus and electronic cloud. The un-entanglement comes in the form of declaration of individual as parts.
e.g. the double slit experiment can be represent in the EMMO as:
a) before the slit: a 'physical' that extend in space and has parts 'electron' and 'void', called 'single_electron_wave_function'. 'electron' and 'void' are only in the axioms and not decalred individuals.
b) during slit passage: a 'physical' made of one declared individual, the 'electron'.
c) after the slit: again 'single_electron_wave_function'
d) upon collision with the detector: 'physical' made of one declared individual, the 'electron'."""@en ,
"""The purpose of the 'Physical' branch is to provide a representation of the real world objects, while the models used to name, explain or predict the behaviour of the real world objects lay under the 'Semiotic' branch.
More than one semiotic representation can be connected to the same 'Physical'.
e.g. Navier-Stokes or Euler equation applied to the same fluid are an example of mathematical model used to represent a physical object for some specific interpreter."""@en ;
skos:prefLabel "Physical"@en .
### http://emmo.info/emmo#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de
:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de rdf:type owl:Class ;
owl:disjointUnionOf ( :EMMO_29072ec4_ffcb_42fb_bdc7_26f05a2e9873
:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d
) .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi