Skip to content

Commit

Permalink
Mereocausality Annotation Update
Browse files Browse the repository at this point in the history
  • Loading branch information
@emanueleghedini
emanueleghedini committed Sep 27, 2024
1 parent e9121d9 commit f3f47b7
Showing 1 changed file with 19 additions and 11 deletions.
30 changes: 19 additions & 11 deletions mereocausality/mereocausality.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -520,12 +520,20 @@ Contacts between two entities exclude the possibility of other causal relations
:EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 ;
skos:prefLabel "causal"@en ;
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Causality is the fundamental concept describing how entities affect each other, and occurs before time and space relations.
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Causality is the fundamental concept describing how entities affect each other, and occurs before time and space relations. In the EMMO causality is the foundation for space and time relations.
Embracing a strong reductionistic view, causality originates at quantum entities level."""@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of all causal EMMO relations."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Causality in the EMMO is intended as physical causation and not counter-factual. Meaning that causality is an expression of actual physical interactions, and not of a counterfactual depence such as “I didn't water the flowers, hence, I'm the cause of their death”."@en ,
"Each pair of entities is either in isCauseOf or isNotCauseOf relation. The two are mutually exclusive."@en .

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c ;
owl:annotatedProperty :EMMO_31252f35_c767_4b97_a877_1235076c3e13 ;
owl:annotatedTarget """Causality is the fundamental concept describing how entities affect each other, and occurs before time and space relations. In the EMMO causality is the foundation for space and time relations.
Embracing a strong reductionistic view, causality originates at quantum entities level."""@en ;
rdfs:seeAlso :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68
] .


### https://w3id.org/emmo#EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023
:EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 rdf:type owl:ObjectProperty ;
Expand Down Expand Up @@ -712,7 +720,7 @@ b) y and x are non-overlapping"""@en ;
### https://w3id.org/emmo#EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31
:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_76bd5e44_bf5a_49f9_a517_eea5e8bcbc2d ,
_:genid20 ;
_:genid21 ;
owl:disjointWith :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
skos:example "The collection of users of a particular software, the collection of atoms that have been part of that just dissociated molecule."@en ;
skos:prefLabel "Collection"@en ;
Expand All @@ -721,15 +729,15 @@ A collection can be partitioned in maximally connected items called members. The
The combination of collection and item concepts is the EMMO mereocausality alternative to set theory. However, two items can be members only if they are non direct causally connected, giving some constraints to a collection definition. For example, two entities which are directly connected cannot be two distinct members, while their interiors (i.e. the entities obtained by removing the layer of parts that provides the causal contact between them) can be."""@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of not direct causally self-connected world entities."@en .

_:genid20 rdf:type owl:Restriction ;
_:genid21 rdf:type owl:Restriction ;
owl:onProperty :EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 ;
owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:onClass :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de .

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedTarget _:genid20 ;
owl:annotatedTarget _:genid21 ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Every collection has at least two item members, since a collection of one item is a self-connected entity (and then an item)."@en
] .

Expand All @@ -751,7 +759,7 @@ However, the quantum mereotopology approach is not restricted only to physics. F
skos:prefLabel "Quantum"@en ;
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A quantum is the most fundamental item (both mereologically and causally) and is considered causally self-connected by definition.
The quantum concept recalls the fact that there is lower epistemological limit to our knowledge of the universe, related to the uncertainity principle.
Space and time emerge following the network of causal connections between quantum objects. So quantum objects are adimensional objects, that precede space and time dimensions: they are simple beings (in greek οντα).
In the EMMO, space and time emerge following the network of causal connections between quantum objects. So quantum objects are adimensional objects, that precede space and time dimensions: they are simple beings (in greek οντα).
Using physics concepts, we can think the quantum as an elementary particle (e.g. an electron) in a specific state between two causal interactions.
A quantum stands for an incoming or outcoming real particle in a Feynman diagram."""@en ;
:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The class of entities without proper parts."@en ;
Expand Down Expand Up @@ -821,8 +829,8 @@ A quantum stands for an incoming or outcoming real particle in a Feynman diagram

### https://w3id.org/emmo#EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf
:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf rdf:type owl:Class ;
rdfs:subClassOf _:genid27 ,
_:genid29 ;
rdfs:subClassOf _:genid28 ,
_:genid30 ;
skos:prefLabel "EMMO"@en ;
<https://w3id.org.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db> "DisjointUnion: CausalPath, Collection, Quantum, CausalSystem" ;
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 """The EMMO conceptualises the world using the primitive concepts of causality and parthood. Parthood is about the composition of world entities starting from other more fundamental entities. Causality is about the interactions between world entities.
Expand All @@ -836,26 +844,26 @@ Entities are not placed in space or time: space and time are always relative bet
The EMMO conceptualisation does not allow the existence of space without a temporal dimension, the latter coming from a causal relation between entities.
For this reason, the EMMO entities that are not quantum or elementaries, may be considered to be always spatiotemporal. The EMMO poses no constraints to the number of spatial dimensions for a causal system (except being higher than one)."""@en .

_:genid27 rdf:type owl:Restriction ;
_:genid28 rdf:type owl:Restriction ;
owl:onProperty :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ;
owl:someValuesFrom :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 .

_:genid29 rdf:type owl:Restriction ;
_:genid30 rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f
] ;
owl:hasValue :EMMO_08cb807c_e626_447b_863f_e2835540e918 .

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedTarget _:genid27 ;
owl:annotatedTarget _:genid28 ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Every entity is made of quantum parts. This axiomatisation is the expression of the radical reductionistic approach of the EMMO."@en
] .

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedTarget _:genid29 ;
owl:annotatedTarget _:genid30 ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@en
] .

Expand Down

0 comments on commit f3f47b7

Please sign in to comment.