Skip to content

Commit

Permalink
Improved annotations
Browse files Browse the repository at this point in the history
  • Loading branch information
@emanueleghedini
emanueleghedini committed Oct 17, 2024
1 parent 1c18b21 commit 1b76fee
Showing 1 changed file with 33 additions and 20 deletions.
53 changes: 33 additions & 20 deletions mereocausality/mereocausality.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -536,18 +536,19 @@ 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. 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_31252f35_c767_4b97_a877_1235076c3e13 """Causality is the fundamental concept describing how entities affect each other, and conceptually precedes 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, meaning that causal relations between macroscopic entities is simply the sum of quantum level causality relations."""@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
owl:annotatedTarget """Causality is the fundamental concept describing how entities affect each other, and conceptually precedes 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, meaning that causal relations between macroscopic entities is simply the sum of quantum level causality relations."""@en ;
rdfs:seeAlso :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ,
"doi:10.3233/FAIA231120"
] .


Expand Down Expand Up @@ -590,13 +591,16 @@ Embracing a strong reductionistic view, causality originates at quantum entities
skos:example "John yesterday is the cause of John today, is an example of temporal-like causality. The desk supporting my laptop is a space-like causality." ;
skos:prefLabel "isCauseOf"@en ;
:EMMO_31252f35_c767_4b97_a877_1235076c3e13 """We say that an entity causes another if there is a quantum part of the first that is in causal relation with a quantum parts of the second.
An entity cannot cause itself (causal loops are forbidden) or a part of itself. For this reasons causality between entities excludes reflexivity and prevents them to overlap."""@en ;
An entity cannot cause itself (causal loops are forbidden) or a part of itself. For this reasons causality between entities excludes reflexivity and prevents them to overlap.
The existence of one-directional of bi-directional causality relations between two entities is what reconstruct time and space relations, respectively."""@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """The relation between an individuals x and y, that holds if and only if:
a) y having a part that is causing an effect on a part of x
b) y and x are non-overlapping"""@en ;
a) x having a part that is causing an effect on a part of y
b) x and y are non-overlapping"""@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of causally connected entities is either in isDirectCauseOf or isIndirectCauseOf relation. The two are mutually exclusive."@en ,
"It applies to both quantums and macro-entities (entities made of more than one quantum). It is admissible for two entities to be one the cause of the other, excepts when they are both quantums."@en ,
"The OWL 2 DL version of the EMMO introduces this object property as primitive causal relation. It refers to the macro causality relation mC(x,y), defined in the EMMO FOL version. While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive, the OWL 2 DL version substantially simplifies the theory, neglecting these lower level relations that are well above DL expressivity."@en .
"""The OWL 2 DL version of the EMMO introduces this object property as primitive causal relation. It refers to the macro causality relation mC(x,y), defined in the EMMO FOL version.
While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive, the OWL 2 DL version of the EMMO substantially simplifies the theory, neglecting these lower level relations that are well above DL expressivity.
For this reason the EMMO OWL 2 DL will only deal with macro causality relations, sacrificing the full FOL theory expressivity for the sake of simplicity."""@en ,
"The cause relation applies to both quantums and macro-entities (entities made of more than one quantum). It is admissible for two entities to be one the cause of the other, excepts when they are both quantums."@en .

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ;
Expand All @@ -605,6 +609,15 @@ b) y and x are non-overlapping"""@en ;
:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”)."@en
] .

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ;
owl:annotatedProperty :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ;
owl:annotatedTarget """The OWL 2 DL version of the EMMO introduces this object property as primitive causal relation. It refers to the macro causality relation mC(x,y), defined in the EMMO FOL version.
While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive, the OWL 2 DL version of the EMMO substantially simplifies the theory, neglecting these lower level relations that are well above DL expressivity.
For this reason the EMMO OWL 2 DL will only deal with macro causality relations, sacrificing the full FOL theory expressivity for the sake of simplicity."""@en ;
rdfs:seeAlso "doi:10.3233/FAIA231120"
] .


### https://w3id.org/emmo#EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6
:EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 rdf:type owl:ObjectProperty ;
Expand Down Expand Up @@ -648,7 +661,7 @@ b) y and x are non-overlapping"""@en ;
rdfs:domain :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
rdfs:range :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
skos:prefLabel "EMMORelation"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class for all relations used by the EMMO."@en .
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all relations used by the EMMO."@en .


### https://w3id.org/emmo#0528e41d_edd2_49f9_bd2a_aeabdc215515
Expand Down Expand Up @@ -736,7 +749,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 ,
_:genid23 ;
_:genid24 ;
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 @@ -745,15 +758,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 .

_:genid23 rdf:type owl:Restriction ;
_:genid24 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 _:genid23 ;
owl:annotatedTarget _:genid24 ;
: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 Down Expand Up @@ -845,8 +858,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 _:genid30 ,
_:genid32 ;
rdfs:subClassOf _:genid31 ,
_:genid33 ;
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 @@ -860,26 +873,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 .

_:genid30 rdf:type owl:Restriction ;
_:genid31 rdf:type owl:Restriction ;
owl:onProperty :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ;
owl:someValuesFrom :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 .

_:genid32 rdf:type owl:Restriction ;
_:genid33 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 _:genid30 ;
owl:annotatedTarget _:genid31 ;
: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 _:genid32 ;
owl:annotatedTarget _:genid33 ;
: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 1b76fee

Please sign in to comment.