20230720

emmo-repo · Jul 20, 2023 · f34ee03 · f34ee03
1 parent 0f1167c
commit f34ee03
Show file tree

Hide file tree

Showing 4 changed files with 1,198 additions and 1,013 deletions.
diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl
@@ -73,6 +73,8 @@
 # 
 # http://emmo.info/emmo#EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d
 # 
+# http://emmo.info/emmo#EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4
+# 
 # http://emmo.info/emmo#EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f
 # 
 # http://emmo.info/emmo#EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016
@@ -85,6 +87,12 @@
 # 
 # http://emmo.info/emmo#EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d
 # 
+# http://emmo.info/emmo#EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9
+# 
+# http://emmo.info/emmo#EMMO_5022e4cb_125f_429d_8556_c3e635c561f2
+# 
+# http://emmo.info/emmo#EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff
+# 
 # http://emmo.info/emmo#EMMO_55354438_7000_4284_b1b9_59d60c2261b9
 # 
 # http://emmo.info/emmo#EMMO_555d0261_da5e_4301_b7f9_46f604a32e91
@@ -99,8 +107,12 @@
 # 
 # http://emmo.info/emmo#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6
 # 
+# http://emmo.info/emmo#EMMO_850b976f_0726_4408_b1b2_1f0ae367faf6
+# 
 # http://emmo.info/emmo#EMMO_8785be5a_2493_4b12_8f39_31907ab11748
 # 
+# http://emmo.info/emmo#EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f
+# 
 # http://emmo.info/emmo#EMMO_9380ab64_0363_4804_b13f_3a8a94119a76
 # 
 # http://emmo.info/emmo#EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611
@@ -119,6 +131,8 @@
 # 
 # http://emmo.info/emmo#EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7
 # 
+# http://emmo.info/emmo#EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9
+# 
 # http://emmo.info/emmo#EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3
 # 
 # http://emmo.info/emmo#EMMO_d67ee67e_4fac_4676_82c9_aec361dba698
@@ -129,6 +143,8 @@
 # 
 # http://emmo.info/emmo#EMMO_e1805abe_f5b7_4c40_810a_1a01950546be
 # 
+# http://emmo.info/emmo#EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78
+# 
 # http://emmo.info/emmo#EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5
 # 
 # http://emmo.info/emmo#EMMO_f68030be_94b8_4c61_a161_886468558054
@@ -147,8 +163,14 @@
 # 
 # http://emmo.info/emmo#176e3f78_c867_4eca_9794_a4822660d9dc
 # 
+# http://emmo.info/emmo#3bd4339b_e01f_43e5_a011_74a4ef3ffa90
+# 
+# http://emmo.info/emmo#33fd15ab_7662_4cc6_8bf6_988422efc631
+# 
 # http://emmo.info/emmo#5fa16188_d95b_4dd2_ac63_eae63fe01504
 # 
+# http://emmo.info/emmo#76413949_896c_4363_a955_de4722c6e149
+# 
 # 
 # 
 # #################################################################
@@ -342,6 +364,11 @@ skos:prefLabel a owl:AnnotationProperty;
   rdfs:seeAlso :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698;
   skos:prefLabel "isNotCauseOf"@en .
 
+:EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4 a owl:ObjectProperty;
+  rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611;
+  :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is not connected with the rest item or members with hasNext (or its inverse) only or hasContact relations only."@en;
+  skos:prefLabel "hasHeterogeneousPart"@en .
+
 :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f a owl:ObjectProperty;
   rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6;
   owl:inverseOf :a8bd7094_6b40_47af_b1f4_a69d81a3afbd;
@@ -356,7 +383,7 @@ skos:prefLabel a owl:AnnotationProperty;
 
 :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 a owl:ObjectProperty, owl:AsymmetricProperty,
     owl:IrreflexiveProperty;
-  rdfs:subPropertyOf :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6;
+  rdfs:subPropertyOf :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6, :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78;
   owl:propertyDisjointWith :EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3;
   :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the y effected and the x causing entities with intermediaries, where x isCauseOf y and not(y isCauseOf x)."@en;
   skos:altLabel "isAntecedentOf"@en;
@@ -382,14 +409,14 @@ _:genid4 a owl:Axiom;
 https://en.wiktionary.org/wiki/mereology"""@en .
 
 :EMMO_408a46b2_3930_46da_b936_e9ce72ffdde9 a owl:ObjectProperty;
-  rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611;
+  rdfs:subPropertyOf :EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4, :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611;
   :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is connected with the rest item or members with hasNext (or its inverse) and hasContact relations only."@en;
   skos:altLabel "hasSpatioTemporalPart"@en;
   skos:prefLabel "hasJunctionPart"@en .
 
 :EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d a owl:ObjectProperty, owl:AsymmetricProperty,
     owl:IrreflexiveProperty;
-  rdfs:subPropertyOf :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91;
+  rdfs:subPropertyOf :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91, :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78;
   owl:propertyDisjointWith :EMMO_8785be5a_2493_4b12_8f39_31907ab11748;
   :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A temporal relation between two entities occurs when the two entities are in a one directional causality relation. The idea is that a temporal relation always implies a one-directional causality between two entities, leading to a asymmetric relation.
 This means that the causing entity can be in direct and optionally indirect causality relation with the effect entity. On the contrary, the effect entity cannot be in any causal relation (direct or indirect) with the causing entity."""@en;
@@ -399,10 +426,27 @@ This means that the causing entity can be in direct and optionally indirect caus
   skos:altLabel "isBefore"@en;
   skos:prefLabel "hasNext"@en .
 
+:EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 a owl:ObjectProperty;
+  rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9;
+  rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31;
+  skos:prefLabel "hasSubCollection"@en .
+
+:EMMO_5022e4cb_125f_429d_8556_c3e635c561f2 a owl:ObjectProperty;
+  rdfs:subPropertyOf :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016, :a32021dc_58d8_454b_915d_3951b413b8b7;
+  :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is an item."@en;
+  skos:prefLabel "hasTemporalItemSlice"@en .
+
+:EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff a owl:ObjectProperty, owl:SymmetricProperty,
+    owl:IrreflexiveProperty;
+  rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698;
+  owl:propertyDisjointWith :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78;
+  skos:prefLabel "isSpatiallyRelatedWith"@en .
+
 :EMMO_55354438_7000_4284_b1b9_59d60c2261b9 a owl:ObjectProperty, owl:AsymmetricProperty;
-  rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76;
+  rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76, :76413949_896c_4363_a955_de4722c6e149;
   owl:inverseOf :bb6febfa_5c6b_43c9_941a_4b6157b703be;
   rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de;
+  owl:propertyDisjointWith :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7;
   :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with domain restricted to items."@en;
   skos:prefLabel "hasPortionPart"@en .
 
@@ -431,7 +475,8 @@ It does not exclude the possibility of indirect causal routes between proper par
   skos:prefLabel "equalsTo"@en .
 
 :EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 a owl:ObjectProperty, owl:AsymmetricProperty;
-  rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7;
+  rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :3bd4339b_e01f_43e5_a011_74a4ef3ffa90,
+    :33fd15ab_7662_4cc6_8bf6_988422efc631;
   :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a collection and one of its item members."@en;
   skos:prefLabel "hasMember"@en .
 
@@ -453,9 +498,14 @@ A temporal part is not constraint to be causally self-connected, i.e. it can be
     "In EMMO FOL this is a defined property. In OWL temporal relations are primitive."@en;
   skos:prefLabel "hasTemporalPart"@en .
 
+:EMMO_850b976f_0726_4408_b1b2_1f0ae367faf6 a owl:ObjectProperty;
+  rdfs:subPropertyOf :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016, :5fa16188_d95b_4dd2_ac63_eae63fe01504;
+  :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is a collection."@en;
+  skos:prefLabel "hasTemporalCollectionSlice"@en .
+
 :EMMO_8785be5a_2493_4b12_8f39_31907ab11748 a owl:ObjectProperty, owl:SymmetricProperty,
     owl:IrreflexiveProperty;
-  rdfs:subPropertyOf :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91;
+  rdfs:subPropertyOf :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff, :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91;
   :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A spatial contact between two entities occurs when the two entities are in an interaction relation whose causal structure is a representation of the fundamental interactions between elementary particles (Feynman diagrams).
 It means that if two entities are in contact, then there is at least a couple of elementary particles, one part of the first and one part of the second, interacting according to one of the fundamental interactions through virtual particles. This kind of connection is space-like (i.e. interconnecting force carrier particle is offshelf).
 Contacts between two entities exclude the possibility of other causal relations that are not included in a fundamental space-like interaction."""@en;
@@ -465,6 +515,13 @@ Contacts between two entities exclude the possibility of other causal relations
   skos:altLabel "hasSpatiialnteractionWith"@en;
   skos:prefLabel "contacts"@en .
 
+:EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f a owl:ObjectProperty, owl:AsymmetricProperty;
+  rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76;
+  rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de;
+  owl:propertyDisjointWith :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9;
+  :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with range restricted to items."@en;
+  skos:prefLabel "hasItemPart"@en .
+
 :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 a owl:ObjectProperty, owl:AsymmetricProperty,
     owl:IrreflexiveProperty;
   rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f, :EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420;
@@ -521,9 +578,15 @@ Embracing a strong reductionistic view, causality originates at quantum entities
   :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with domain restricted to collections."@en;
   skos:prefLabel "hasGatheredPart"@en .
 
+:EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 a owl:ObjectProperty, owl:AsymmetricProperty;
+  rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76;
+  rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31;
+  :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with range restricted to collections."@en;
+  skos:prefLabel "hasScatteredPart"@en .
+
 :EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3 a owl:ObjectProperty, owl:SymmetricProperty,
     owl:IrreflexiveProperty;
-  rdfs:subPropertyOf :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6;
+  rdfs:subPropertyOf :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff, :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6;
   :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two causally reachable entities through a path of contacts relations (i.e. representing physical interactions)."@en;
   skos:altLabel "alongsideOf";
   skos:prefLabel "isConcomitantWith"@en .
@@ -567,9 +630,15 @@ _:genid6 a owl:Axiom;
   skos:prefLabel "hasSpatialPart"@en .
 
 :EMMO_e1805abe_f5b7_4c40_810a_1a01950546be a owl:ObjectProperty;
-  rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7;
+  rdfs:subPropertyOf :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7,
+    :76413949_896c_4363_a955_de4722c6e149;
   skos:prefLabel "hasFractionalCollection"@en .
 
+:EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 a owl:ObjectProperty, owl:AsymmetricProperty,
+    owl:IrreflexiveProperty;
+  rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698;
+  skos:prefLabel "isTemporallyBefore"@en .
+
 :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 a owl:ObjectProperty;
   rdfs:subPropertyOf owl:topObjectProperty;
   rdfs:domain :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf;
@@ -585,8 +654,9 @@ _:genid6 a owl:Axiom;
   skos:prefLabel "hasSpatialSlice"@en .
 
 :a32021dc_58d8_454b_915d_3951b413b8b7 a owl:ObjectProperty;
-  rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9;
+  rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9, :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f;
   rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de;
+  owl:propertyDisjointWith :5fa16188_d95b_4dd2_ac63_eae63fe01504;
   skos:prefLabel "hasConnectedPortion"@en .
 
 :a8bd7094_6b40_47af_b1f4_a69d81a3afbd a owl:ObjectProperty;
@@ -602,22 +672,38 @@ _:genid6 a owl:Axiom;
   skos:prefLabel "isOvercrossedBy"@en .
 
 :0528e41d_edd2_49f9_bd2a_aeabdc215515 a owl:ObjectProperty;
-  rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7;
+  rdfs:subPropertyOf :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7,
+    :33fd15ab_7662_4cc6_8bf6_988422efc631;
   skos:prefLabel "hasMaximalCollection"@en .
 
 :0558e802_46a4_45de_af85_47aff4dc427e a owl:ObjectProperty;
-  rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7;
+  rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :3bd4339b_e01f_43e5_a011_74a4ef3ffa90,
+    :76413949_896c_4363_a955_de4722c6e149;
   skos:prefLabel "hasFractionalMember"@en .
 
 :176e3f78_c867_4eca_9794_a4822660d9dc a owl:ObjectProperty;
   rdfs:subPropertyOf :EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c;
   skos:prefLabel "isGatheredPartOf"@en .
 
+:3bd4339b_e01f_43e5_a011_74a4ef3ffa90 a owl:ObjectProperty;
+  rdfs:subPropertyOf :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7;
+  rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de;
+  skos:prefLabel "hasSubItem"@en .
+
+:33fd15ab_7662_4cc6_8bf6_988422efc631 a owl:ObjectProperty;
+  rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76;
+  owl:propertyDisjointWith :76413949_896c_4363_a955_de4722c6e149;
+  skos:prefLabel "hasMaximalPart"@en .
+
 :5fa16188_d95b_4dd2_ac63_eae63fe01504 a owl:ObjectProperty;
-  rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9;
+  rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9, :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9;
   rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31;
   skos:prefLabel "hasScatteredPortion"@en .
 
+:76413949_896c_4363_a955_de4722c6e149 a owl:ObjectProperty;
+  rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76;
+  skos:prefLabel "hasNonMaximalPart"@en .
+
 :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 a owl:Class;
   rdfs:subClassOf _:genid7, _:genid11;
   :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal chain is an ordered causal sequence of entities that does not host any bifurcation within itself (a chain). A chain can only be partitioned in time."@en;