forked from emmo-repo/EMMO
-
Notifications
You must be signed in to change notification settings - Fork 0
/
physical.owl
259 lines (185 loc) · 18.7 KB
/
physical.owl
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
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
<?xml version="1.0"?>
<rdf:RDF xmlns="http://emmo.info/emmo/top/physical#"
xml:base="http://emmo.info/emmo/top/physical"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:skos="http://www.w3.org/2004/02/skos/core#"
xmlns:dcterms="http://purl.org/dc/terms/"
xmlns:annotations="http://emmo.info/emmo/top/annotations#">
<owl:Ontology rdf:about="http://emmo.info/emmo/top/physical">
<owl:versionIRI rdf:resource="http://emmo.info/emmo/1.0.0-alpha2/top/physical"/>
<owl:imports rdf:resource="http://emmo.info/emmo/1.0.0-alpha2/top/mereotopology"/>
<dcterms:abstract xml:lang="en">European Materials & Modelling Ontology (EMMO)
EMMO is a multidisciplinary effort to develop a standard representational framework (the ontology) based on current materials modelling knowledge, including physical sciences, analytical philosophy and information and communication technologies.
It provides the connection between the physical world, materials characterisation world and materials modelling world.
EMMO is released under a Creative Commons license Attribution 4.0 International (CC BY 4.0).</dcterms:abstract>
<dcterms:contributor>Access, DE</dcterms:contributor>
<dcterms:contributor>Fraunhofer IWM, DE</dcterms:contributor>
<dcterms:contributor>Goldbeck Consulting Ltd (UK)</dcterms:contributor>
<dcterms:contributor>SINTEF, NO</dcterms:contributor>
<dcterms:contributor>University of Bologna, IT</dcterms:contributor>
<dcterms:creator>Adham Hashibon</dcterms:creator>
<dcterms:creator>Emanuele Ghedini</dcterms:creator>
<dcterms:creator>Georg Schmitz</dcterms:creator>
<dcterms:creator>Gerhard Goldbeck</dcterms:creator>
<dcterms:creator>Jesper Friis</dcterms:creator>
<dcterms:license>https://creativecommons.org/licenses/by/4.0/legalcode</dcterms:license>
<dcterms:publisher>EMMC ASBL</dcterms:publisher>
<dcterms:title xml:lang="en">European Materials & Modelling Ontology</dcterms:title>
<rdfs:comment xml:lang="en">Contacts:
Gerhard Goldbeck
Goldbeck Consulting Ltd (UK)
email: [email protected]
Emanuele Ghedini
University of Bologna (IT)
email: [email protected]</rdfs:comment>
<rdfs:comment xml:lang="en">The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege).</rdfs:comment>
<owl:versionInfo>1.0.0-alpha2</owl:versionInfo>
</owl:Ontology>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://emmo.info/emmo/top/physical#EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83 -->
<owl:ObjectProperty rdf:about="http://emmo.info/emmo/top/physical#EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83">
<rdfs:subPropertyOf rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_9380ab64_0363_4804_b13f_3a8a94119a76"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de"/>
<rdfs:range rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de"/>
<annotations: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.</annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9>
<skos:prefLabel xml:lang="en">hasSpatioTemporalPart</skos:prefLabel>
</owl:ObjectProperty>
<!-- http://emmo.info/emmo/top/physical#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 -->
<owl:ObjectProperty rdf:about="http://emmo.info/emmo/top/physical#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6">
<rdfs:subPropertyOf rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_9380ab64_0363_4804_b13f_3a8a94119a76"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de"/>
<rdfs:range rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de"/>
<annotations: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.</annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9>
<skos:prefLabel xml:lang="en">hasTemporalPart</skos:prefLabel>
</owl:ObjectProperty>
<!-- http://emmo.info/emmo/top/physical#EMMO_f68030be_94b8_4c61_a161_886468558054 -->
<owl:ObjectProperty rdf:about="http://emmo.info/emmo/top/physical#EMMO_f68030be_94b8_4c61_a161_886468558054">
<rdfs:subPropertyOf rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_9380ab64_0363_4804_b13f_3a8a94119a76"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de"/>
<rdfs:range rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de"/>
<annotations: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).</annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9>
<skos:prefLabel xml:lang="en">hasSpatialPart</skos:prefLabel>
</owl:ObjectProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://emmo.info/emmo/top/mereotopology#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de -->
<owl:Class rdf:about="http://emmo.info/emmo/top/mereotopology#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de">
<owl:disjointUnionOf rdf:parseType="Collection">
<rdf:Description rdf:about="http://emmo.info/emmo/top/physical#EMMO_29072ec4_ffcb_42fb_bdc7_26f05a2e9873"/>
<rdf:Description rdf:about="http://emmo.info/emmo/top/physical#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d"/>
</owl:disjointUnionOf>
</owl:Class>
<!-- http://emmo.info/emmo/top/physical#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 -->
<owl:Class rdf:about="http://emmo.info/emmo/top/physical#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360">
<rdfs:subClassOf rdf:resource="http://emmo.info/emmo/top/physical#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://emmo.info/emmo/top/physical#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6"/>
<owl:allValuesFrom rdf:resource="http://emmo.info/emmo/top/physical#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://emmo.info/emmo/top/physical#EMMO_f68030be_94b8_4c61_a161_886468558054"/>
<owl:allValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Nothing"/>
</owl:Restriction>
</rdfs:subClassOf>
<annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 xml:lang="en">The basic constituent of 'item'-s that can be proper partitioned only in time up to quantum level.</annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9>
<rdfs:comment xml:lang="en">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.</rdfs:comment>
<rdfs:comment xml:lang="en">From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)</rdfs:comment>
<rdfs:comment xml:lang="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.</rdfs:comment>
<skos:prefLabel xml:lang="en">Elementary</skos:prefLabel>
</owl:Class>
<!-- http://emmo.info/emmo/top/physical#EMMO_29072ec4_ffcb_42fb_bdc7_26f05a2e9873 -->
<owl:Class rdf:about="http://emmo.info/emmo/top/physical#EMMO_29072ec4_ffcb_42fb_bdc7_26f05a2e9873">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f"/>
<owl:allValuesFrom rdf:resource="http://emmo.info/emmo/top/physical#EMMO_29072ec4_ffcb_42fb_bdc7_26f05a2e9873"/>
</owl:Restriction>
</rdfs:subClassOf>
<annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 xml:lang="en">A 'Item' that has no 'Physical' parts.</annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9>
<rdfs:comment xml:lang="en">From Latin vacuus, “empty”.</rdfs:comment>
<rdfs:comment xml:lang="en">The void concept is paramount for the representation of physical systems according to quantum theory.</rdfs:comment>
<skos:prefLabel xml:lang="en">Void</skos:prefLabel>
</owl:Class>
<!-- http://emmo.info/emmo/top/physical#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d -->
<owl:Class rdf:about="http://emmo.info/emmo/top/physical#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://emmo.info/emmo/top/mereotopology#EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f"/>
<owl:someValuesFrom rdf:resource="http://emmo.info/emmo/top/physical#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://emmo.info/emmo/top/physical#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6"/>
<owl:allValuesFrom rdf:resource="http://emmo.info/emmo/top/physical#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d"/>
</owl:Restriction>
</rdfs:subClassOf>
<annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 xml:lang="en">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).</annotations:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9>
<rdfs:comment xml:lang="en">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).</rdfs:comment>
<rdfs:comment xml:lang="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.</rdfs:comment>
<rdfs:comment xml:lang="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.</rdfs:comment>
<rdfs:comment xml:lang="en">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.</rdfs:comment>
<rdfs:comment xml:lang="en">In the EMMO there are no relations such as occupiesSpace, since 'Physical'-s are themselves the 4D regions.</rdfs:comment>
<rdfs:comment xml:lang="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'.</rdfs:comment>
<rdfs:comment xml:lang="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.</rdfs:comment>
<skos:prefLabel xml:lang="en">Physical</skos:prefLabel>
</owl:Class>
</rdf:RDF>
<!-- Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi -->