diff --git a/microstructure.ttl b/microstructure.ttl index 0fed873..c3df1f1 100644 --- a/microstructure.ttl +++ b/microstructure.ttl @@ -8479,10 +8479,10 @@ ns1:EMMO_463bcfda_867b_41d9_a967_211d4d437cfb a owl:Class ; owl:someValuesFrom ns1:EMMO_0f6f0120_c079_4d95_bb11_4ddee05e530e ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_35c29eb6_f57e_48d8_85af_854f9e926e77 ; - owl:someValuesFrom ns1:EMMO_0f6f0120_c079_4d95_bb11_4ddee05e530e ], + owl:someValuesFrom ns1:EMMO_7dea2572_ab42_45bd_9fd7_92448cec762a ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_35c29eb6_f57e_48d8_85af_854f9e926e77 ; - owl:someValuesFrom ns1:EMMO_7dea2572_ab42_45bd_9fd7_92448cec762a ], + owl:someValuesFrom ns1:EMMO_0f6f0120_c079_4d95_bb11_4ddee05e530e ], ns1:EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68, ns1:EMMO_472a0ca2_58bf_4618_b561_6fe68bd9fd49 ; skos:prefLabel "Measurement"@en ; @@ -9362,7 +9362,7 @@ ns1:EMMO_9bbab0be_f9cc_4f46_9f46_0fd271911b79 a owl:Class ; ns1:EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.E02149" . ns1:EMMO_9c407ac0_fd4c_4178_8763_95fad9fe29ec a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_02c0621e_a527_4790_8a0f_2bb51973c819 ; skos:prefLabel "StandardizedPhysicalQuantity"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass for all physical quantities classes that are categorized according to a standard (e.g. ISQ)." . @@ -9573,7 +9573,7 @@ ns1:EMMO_b9522e56_1fac_4766_97e6_428605fabd3e a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A system which is mainly characterised by the spatial configuration of its elements."@en . ns1:EMMO_b953f2b1_c8d1_4dd9_b630_d3ef6580c2bb a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_02c0621e_a527_4790_8a0f_2bb51973c819 ; owl:disjointUnionOf ( ns1:EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2 ns1:EMMO_89762966_8076_4f7c_b745_f718d653e8e2 ) ; skos:prefLabel "PhysicalConstant"@en ; @@ -10188,7 +10188,7 @@ ns1:EMMO_f895cb83_2280_42e9_9f4c_047273e70d3c a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A meson with spin two."@en . ns1:EMMO_f8bd64d5_5d3e_4ad4_a46e_c30714fecb7f a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; owl:equivalentClass [ a owl:Restriction ; owl:onProperty ns1:EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ; owl:someValuesFrom xsd:integer ] ; @@ -10343,11 +10343,11 @@ ns1:emmo_fd2aa864_eef7_4c3d_8243_9ea832d9df3e a owl:Class ; :EMMO_6c227576-79ab-5aba-ac08-66ee7854617d a owl:Class ; rdfs:isDefinedBy : ; rdfs:subClassOf [ a owl:Restriction ; - owl:onProperty ns1:EMMO_dba27ca1_33c9_4443_a912_1519ce4c39ec ; - owl:someValuesFrom :EMMO_2733d914-f08a-5ba0-bbce-77c82a7b4ae9 ], - [ a owl:Restriction ; owl:allValuesFrom ns1:EMMO_2031516a_2be7_48e8_9af7_7e1270e308fe ; owl:onProperty [ owl:inverseOf ns1:EMMO_dba27ca1_33c9_4443_a912_1519ce4c39ec ] ], + [ a owl:Restriction ; + owl:onProperty ns1:EMMO_dba27ca1_33c9_4443_a912_1519ce4c39ec ; + owl:someValuesFrom :EMMO_2733d914-f08a-5ba0-bbce-77c82a7b4ae9 ], ns1:EMMO_65a007dc_2550_46b0_b394_3346c67fbb69, ns1:EMMO_668fbd5b_6f1b_405c_9c6b_d6067bd0595a ; skos:prefLabel "Solvent"@en ; @@ -10662,10 +10662,10 @@ ns1:EMMO_3397f270_dfc1_4500_8f6f_4d0d85ac5f71 a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ; - owl:someValuesFrom ns1:EMMO_730f2e31_ca78_410f_a5e1_4043217a41ab ], + owl:someValuesFrom ns1:EMMO_f835f4d4_c665_403d_ab25_dca5cc74be52 ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ; - owl:someValuesFrom ns1:EMMO_f835f4d4_c665_403d_ab25_dca5cc74be52 ], + owl:someValuesFrom ns1:EMMO_730f2e31_ca78_410f_a5e1_4043217a41ab ], ns1:EMMO_21205421_5783_4d3e_81e5_10c5d894a88a ; owl:disjointUnionOf ( ns1:EMMO_50967f46_51f9_462a_b1e4_e63365b4a184 ns1:EMMO_e024544d_e374_45b7_9340_1982040bc6b7 ) ; skos:altLabel "ChemicalSubstance"@en ; @@ -10682,7 +10682,7 @@ ns1:EMMO_36c79456_e29c_400d_8bd3_0eedddb82652 a owl:Class ; rdfs:comment """The definition of an arrangement implies that its spatial direct parts are not gained or lost during its temporal extension (they exist from the left to the right side of the time interval), so that the cardinality of spatial direct parts in an arrangement is constant. This does not mean that there cannot be a change in the internal structure of the arrangement direct parts. It means only that this change must not affect the existence of the direct part itself."""@en, "The use of spatial direct parthood in state definition means that an arrangement cannot overlap in space another arrangement that is direct part of the same whole."@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_8944581c_64da_46a9_be29_7074f7cc8098 ; skos:altLabel "MereologicalState"@en ; skos:example """e.g. the existent in my glass is declared at t = t_start as made of two direct parts: the ice and the water. It will continue to exists as state as long as the ice is completely melt at t = t_end. The new state will be completely made of water. Between t_start and t_end there is an exchange of molecules between the ice and the water, but this does not affect the existence of the two states. @@ -10945,7 +10945,7 @@ ns1:EMMO_6e9cb807_fc68_4bcf_b3ba_5fccc887c644 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Matter composed of only matter particles, excluding anti-matter particles."@en . ns1:EMMO_71f6ab56_342c_484b_bbe0_de86b7367cb3 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "DerivedQuantity"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "\"Quantity, in a system of quantities, defined in terms of the base quantities of that system\"."@en ; ns1:EMMO_bb49844b_45d7_4f0d_8cae_8e552cbc20d6 "derived quantity"@en . @@ -11065,7 +11065,7 @@ ns1:EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 a owl:Class ; skos:prefLabel "FloatingPointData"@en . ns1:EMMO_8944581c_64da_46a9_be29_7074f7cc8098 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom ns1:EMMO_4cf484af_082a_40f5_9f11_930bf4634482 ; owl:onProperty ns1:EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 ] ; @@ -11073,7 +11073,7 @@ ns1:EMMO_8944581c_64da_46a9_be29_7074f7cc8098 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well formed tessellation with tiles that all spatial."@en . ns1:EMMO_89762966_8076_4f7c_b745_f718d653e8e2 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "ExactConstant"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Physical constant used to define a unit system. Hence, when expressed in that unit system they have an exact value with no associated uncertainty."@en . @@ -11103,7 +11103,7 @@ ns1:EMMO_91a0635a_a89a_46de_8928_04a777d145c7 a owl:Class ; skos:prefLabel "IUPACNomencalture"@en . ns1:EMMO_92829beb_6ed4_4c88_bbd5_3bc7403e2895 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_f7f41d20_eabb_4bcb_9a16_0436851fcd5c ; skos:prefLabel "Sequence"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A tessellation of temporal slices."@en . @@ -11293,7 +11293,7 @@ ns1:EMMO_c9c8f824_9127_4f93_bc21_69fe78a7f6f2 a owl:Class ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Procedure units and measurement units are disjoint."@en . ns1:EMMO_caa63d00_80b1_4408_ac1b_cd0d23b0ec50 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 ; skos:prefLabel "ThroughTile"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A tile that has next and is next of other tiles within the same tessellation."@en . @@ -11437,7 +11437,7 @@ ns1:EMMO_e999f9e0_7d63_4564_9028_07246580a267 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A declaration that provides a sign for an object that is independent from any assignment rule."@en . ns1:EMMO_edf72228_e040_4edc_8b46_78b2a47c72d7 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 ; skos:prefLabel "EndTile"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ns1:EMMO_c0f48dc6_4a32_4d9a_a956_d68415954a8e . @@ -11492,13 +11492,13 @@ So, for the EMMO the symbol "kg" is not a physical quantity but simply a 'Symbol While the string "1 kg" is a 'QuantityValue'."""@en ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; - owl:onClass ns1:EMMO_4ce76d7f_03f8_45b6_9003_90052a79bfaa ; - owl:onProperty ns1:EMMO_8ef3cd6d_ae58_4a8d_9fc0_ad8f49015cd0 ; - owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], - [ a owl:Restriction ; owl:onClass ns1:EMMO_18ce5200_00f5_45bb_8c6f_6fb128cd41ae ; owl:onProperty ns1:EMMO_eeb06032_dd4f_476e_9da6_aa24302b7588 ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], + [ a owl:Restriction ; + owl:onClass ns1:EMMO_4ce76d7f_03f8_45b6_9003_90052a79bfaa ; + owl:onProperty ns1:EMMO_8ef3cd6d_ae58_4a8d_9fc0_ad8f49015cd0 ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], ns1:EMMO_985bec21_989f_4b9e_a4b3_735d88099c3c ; skos:example """6.8 m 0.9 km @@ -11533,7 +11533,7 @@ ns1:EMMO_f9bc8b52_85e9_4b53_b969_dd7724d5b8e4 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well-formed finite combination of mathematical symbols according to some specific rules."@en . ns1:EMMO_fa595892_070d_455e_9459_06c97179c080 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 ; skos:prefLabel "BeginTile"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ns1:EMMO_fe63194f_7c04_4dbd_a244_524b38b6699b . @@ -11608,7 +11608,7 @@ ns1:EMMO_fa595892_070d_455e_9459_06c97179c080 a owl:Class ; rdfs:subClassOf ns1:EMMO_02c0621e_a527_4790_8a0f_2bb51973c819 ; skos:example "AverageGrainSize"@en ; skos:prefLabel "AverageQuantity"@en ; - ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A physical quantity representing the average of a set of physical quantities."@en . + ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A physical quantity that is determined from averinging the value of a set of determinations/observations/measurements of another physical quantity."@en . rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso . @@ -11735,10 +11735,10 @@ ns1:EMMO_172e2c96_180b_40f8_a3e7_b624471f40c2 a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; - owl:someValuesFrom ns1:EMMO_cbcf8fe6_6da6_49e0_ab4d_00f737ea9689 ], + owl:someValuesFrom ns1:EMMO_a293f923_954c_4af5_9f97_9600ebd362cb ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; - owl:someValuesFrom ns1:EMMO_a293f923_954c_4af5_9f97_9600ebd362cb ] ; + owl:someValuesFrom ns1:EMMO_cbcf8fe6_6da6_49e0_ab4d_00f737ea9689 ] ; skos:prefLabel "SingleComponentComposition"@en . ns1:EMMO_1aed91a3_d00c_48af_8f43_a0c958b2512a a owl:Class ; @@ -11815,7 +11815,7 @@ This happens due to e.g. the complexity of the object, the lack of a underlying A 'SubjectiveProperty' cannot be used to univocally compare 'Object'-s. e.g. you cannot evaluate the beauty of a person on objective basis."""@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:example """The beauty of that girl. The style of your clothing."""@en ; skos:prefLabel "Subjective"@en ; @@ -11826,7 +11826,7 @@ ns1:EMMO_28fbea28_2204_4613_87ff_6d877b855fcd a owl:Class ; See Shape4x3Matrix as an example."""@en, "Arrays are ordered objects, since they are a subclasses of Arrangement."@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ; skos:example """A Vector is a 1-dimensional Array with Number as spatial direct parts, a Matrix is a 2-dimensional Array with Vector as spatial direct parts, @@ -11867,13 +11867,13 @@ ns1:EMMO_39a4e2a4_d835_426d_b497_182d06e1caff a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_669d2749_bece_460a_b26a_9a909fd8ca4d ], + owl:someValuesFrom ns1:EMMO_0cd58641_824c_4851_907f_f4c3be76630c ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_0cd58641_824c_4851_907f_f4c3be76630c ], + owl:someValuesFrom ns1:EMMO_36a4c1ca_5085_49ca_9e13_4c70d00c50a5 ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_36a4c1ca_5085_49ca_9e13_4c70d00c50a5 ] ; + owl:someValuesFrom ns1:EMMO_669d2749_bece_460a_b26a_9a909fd8ca4d ] ; skos:altLabel "IndexSemiosis"@en ; skos:prefLabel "Deduction"@en . @@ -11947,13 +11947,13 @@ ns1:EMMO_47bf3513_4ae6_4858_9c45_76e23230d68d a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_2d72e38c_d587_437f_98f6_f2718fb130eb ], + owl:someValuesFrom ns1:EMMO_c9805ac9_a943_4be4_ac4b_6da64ba36c73 ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_35d2e130_6e01_41ed_94f7_00b333d46cf9 ], + owl:someValuesFrom ns1:EMMO_2d72e38c_d587_437f_98f6_f2718fb130eb ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_c9805ac9_a943_4be4_ac4b_6da64ba36c73 ] ; + owl:someValuesFrom ns1:EMMO_35d2e130_6e01_41ed_94f7_00b333d46cf9 ] ; owl:equivalentClass [ a owl:Class ; owl:unionOf ( ns1:EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 ns1:EMMO_e999f9e0_7d63_4564_9028_07246580a267 ) ] ; skos:altLabel "ConventionalSemiosis"@en ; @@ -12205,7 +12205,7 @@ ns1:EMMO_a374f1d4_55b1_4796_a8c6_88668f205cd2 a owl:Class ; This definition provides a clear and precise way to define what a whole is.""" . ns1:EMMO_acaaa124_3dde_48b6_86e6_6ec6f364f408 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "BaseQuantity"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """"Quantity in a conventionally chosen subset of a given system of quantities, where no quantity in the subset can be expressed in terms of the other quantities within that subset" ISO 80000-1"""@en ; @@ -12370,7 +12370,7 @@ The holistic perspective is not excluding the reductionistic perspective, on the - the parts of a whole are interconnected in a way that can be explained only by reference to the whole (rolism)."""@en . ns1:EMMO_06658d8d_dcde_4fc9_aae1_17f71c0bcdec a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; owl:someValuesFrom ns1:EMMO_21f56795_ee72_4858_b571_11cfaa59c1a8 ], @@ -12411,7 +12411,7 @@ ns1:EMMO_1b52ee70_121e_4d8d_8419_3f97cd0bd89c a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An 'interpreter' that perceives another 'entity' (the 'object') through a specific perception mechanism and produces a 'property' (the 'sign') that stands for the result of that particular perception."@en . ns1:EMMO_1c0b22a2_be82_4fa8_9e2b_a569a625d442 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty [ owl:inverseOf ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; owl:someValuesFrom ns1:EMMO_4a1c73f1_b6f5_4d10_a3a6_5de90bac7cd0 ] ; @@ -12456,7 +12456,7 @@ ns1:EMMO_2b1fb71c_0eb0_445c_9be7_fb5d30ae79fd a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well formed tessellation with at least a junction tile."@en . ns1:EMMO_2e46d966_9f14_4673_821e_7c7cf2957926 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_9953c19f_ee33_4af8_be5e_dbf6d1e33581 ; owl:equivalentClass [ a owl:Class ; owl:unionOf ( ns1:EMMO_4cf484af_082a_40f5_9f11_930bf4634482 ns1:EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b ns1:EMMO_d4c95fa1_5bda_4063_a22d_62c81fcea284 ) ], @@ -12513,7 +12513,7 @@ A physical phenomenon is defined as a causally non-convex interacting system, co ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals standing for causally convex interacting systems."@en . ns1:EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty [ owl:inverseOf ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; owl:someValuesFrom ns1:EMMO_ea67caa5_2609_4e91_98ae_81103f2d5c25 ] ; @@ -12574,7 +12574,7 @@ This qualifies a chemical element as a name and not a matter obejct that can sta ns1:EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.C01022" . ns1:EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "TemporalTile"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A direct part that is obtained by partitioning a whole purely in temporal parts."@en . @@ -12739,7 +12739,7 @@ ns1:EMMO_961d1aba_f75e_4411_aaa4_457f7516ed6b a owl:Class ; ns1:EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.M03686" . ns1:EMMO_9953c19f_ee33_4af8_be5e_dbf6d1e33581 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty [ owl:inverseOf ns1:EMMO_74a75cf1_3418_4244_b43c_b5db94635d42 ] ; owl:someValuesFrom ns1:EMMO_ee0466e4_780d_4236_8281_ace7ad3fc5d2 ] ; @@ -12753,7 +12753,7 @@ ns1:EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 a owl:ObjectProperty ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is not connected with the rest item or members with hasNext relation (or its inverse)."@en . ns1:EMMO_9b87d718_9dcc_4f7d_ad20_12c2aa4c76be a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:example "The biography of a person that the author have not met."@en ; skos:prefLabel "Estimated"@en . @@ -12831,12 +12831,12 @@ The case a) is a geometrical and mathematical, b) is geometrical and pictorial, ns1:EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; - owl:onClass ns1:EMMO_216f448e_cdbc_4aeb_a529_7a5fe7fc38bb ; - owl:onProperty ns1:EMMO_d4e0a0ab_2f67_4f87_a0db_b544e6dceed4 ; - owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], - [ a owl:Restriction ; owl:onClass ns1:EMMO_442bd91e_a724_4e9f_89c1_18423016fb75 ; owl:onProperty ns1:EMMO_4be0acad_af05_426f_aa6d_fe7531072564 ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ], + [ a owl:Restriction ; + owl:onClass ns1:EMMO_216f448e_cdbc_4aeb_a529_7a5fe7fc38bb ; + owl:onProperty ns1:EMMO_d4e0a0ab_2f67_4f87_a0db_b544e6dceed4 ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] ; skos:prefLabel "PrefixedUnit"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A measurement unit that is made of a metric prefix and a unit symbol."@en . @@ -12921,7 +12921,7 @@ ns1:EMMO_f76884f7_964e_488e_9bb7_1b2453e9e817 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A constituent of a system."@en . ns1:EMMO_f7f41d20_eabb_4bcb_9a16_0436851fcd5c a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom ns1:EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b ; owl:onProperty ns1:EMMO_7efab93d_c8fe_49c7_ba8e_d21d13b38c85 ] ; @@ -13020,10 +13020,10 @@ ns1:EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_1b52ee70_121e_4d8d_8419_3f97cd0bd89c ], + owl:someValuesFrom ns1:EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba ] ; + owl:someValuesFrom ns1:EMMO_1b52ee70_121e_4d8d_8419_3f97cd0bd89c ] ; owl:equivalentClass [ a owl:Class ; owl:unionOf ( ns1:EMMO_1c0b22a2_be82_4fa8_9e2b_a569a625d442 ns1:EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68 ) ] ; skos:altLabel "Characterisation"@en ; @@ -13080,7 +13080,7 @@ ns1:EMMO_1f087811_06cb_42d5_90fb_25d0e7e068ef a owl:Class ; ns1:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 a owl:Class ; rdfs:isDefinedBy ; - rdfs:subClassOf _:178 ; + rdfs:subClassOf _:137 ; 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 ; ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A collection is the concept that complements the item concept, being an entity that possesses at least one part non directly causally connected with the rest. @@ -13299,10 +13299,10 @@ ns1:EMMO_eb77076b_a104_42ac_a065_798b2d2809ad a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ; - owl:someValuesFrom ns1:EMMO_f835f4d4_c665_403d_ab25_dca5cc74be52 ], + owl:someValuesFrom ns1:EMMO_730f2e31_ca78_410f_a5e1_4043217a41ab ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ; - owl:someValuesFrom ns1:EMMO_730f2e31_ca78_410f_a5e1_4043217a41ab ], + owl:someValuesFrom ns1:EMMO_f835f4d4_c665_403d_ab25_dca5cc74be52 ], ns1:EMMO_21205421_5783_4d3e_81e5_10c5d894a88a ; skos:altLabel "ChemicalElement"@en ; skos:prefLabel "Atom"@en ; @@ -13386,7 +13386,7 @@ ns1:EMMO_2a888cdf_ec4a_4ec5_af1c_0343372fc978 a owl:Class ; rdfs:comment """The word objective does not mean that each observation will provide the same results. It means that the observation followed a well defined procedure. This class refers to what is commonly known as physical property, i.e. a measurable property of physical system, whether is quantifiable or not."""@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "Objective"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A coded conventional that is determined by each interpeter following a well defined determination procedure through a specific perception channel."@en . @@ -13499,7 +13499,7 @@ ns1:EMMO_6c487fb3_03d1_4e56_91ed_c2e16dcbef60 a owl:Class ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Colloids are characterized by the occurring of the Tyndall effect on light."@en . ns1:EMMO_79751276_b2d0_4e2f_bbd4_99d412f43d55 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:seeAlso "https://physics.nist.gov/cuu/Constants" ; rdfs:subClassOf ns1:EMMO_02c0621e_a527_4790_8a0f_2bb51973c819 ; skos:prefLabel "CategorizedPhysicalQuantity"@en ; @@ -13526,7 +13526,7 @@ ns1:EMMO_b3600e73_3e05_479d_9714_c041c3acf5cc a owl:Class ; skos:prefLabel "LengthUnit"@en . ns1:EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty [ owl:inverseOf ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; owl:someValuesFrom ns1:EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 ] ; @@ -13640,7 +13640,7 @@ ns1:EMMO_252cce84_cc8a_49dc_8405_0d5e06425d69 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Number describing a particular state of a quantum system."@en . ns1:EMMO_49267eba_5548_4163_8f36_518d65b583f9 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d ; skos:prefLabel "Perspective"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of causal objects that stand for world objects according to a specific representational perspective."@en ; @@ -13708,7 +13708,7 @@ ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f a owl:AnnotationProperty ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A comment can be addressed to facilitate interpretation, to suggest possible usage, to clarify the concepts behind each entity with respect to other ontological apporaches."@en . ns1:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; owl:disjointUnionOf ( ns1:EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87 ns1:EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a ) ; skos:example "A electron binded by a nucleus."@en ; skos:prefLabel "CausalSystem"@en ; @@ -13719,11 +13719,11 @@ A causal system is always a spatial-like structure, and is represented as a mult ns1:EMMO_ed4af7ae_63a2_497e_bb88_2309619ea405 a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; - owl:allValuesFrom ns1:EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 ; - owl:onProperty [ owl:inverseOf ns1:EMMO_e1097637_70d2_4895_973f_2396f04fa204 ] ], - [ a owl:Restriction ; owl:onProperty ns1:EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ; owl:someValuesFrom ns1:EMMO_77e9dc31_5b19_463e_b000_44c6e79f98aa ], + [ a owl:Restriction ; + owl:allValuesFrom ns1:EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 ; + owl:onProperty [ owl:inverseOf ns1:EMMO_e1097637_70d2_4895_973f_2396f04fa204 ] ], ns1:EMMO_194100e1_e11a_4b7c_bb5a_171655679fc8, ns1:EMMO_be76ad52_2e29_4202_be6f_0a15eb9c1817 ; skos:prefLabel "Mass"@en ; @@ -13751,7 +13751,7 @@ As another example, the joule (J) is used as a unit of energy, but never as a un — quantities of different quantity dimensions are always of different kinds, and — quantities having the same quantity dimension are not necessarily of the same kind. ISO 80000-1"""@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom ns1:EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4 ; owl:onProperty ns1:EMMO_67fc0a36_8dcb_4ffa_9a43_31074efa3296 ] ; @@ -13768,13 +13768,13 @@ ns1:EMMO_04f2a2d5_e799_4692_a654_420e76f5acc1 a owl:Class ; ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; - owl:onProperty ns1:EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ; - owl:someValuesFrom [ a owl:Class ; - owl:unionOf ( ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ns1:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ) ] ], - [ a owl:Restriction ; owl:allValuesFrom [ a owl:Class ; owl:unionOf ( ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ns1:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ) ] ; - owl:onProperty ns1:EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ] ; + owl:onProperty ns1:EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ], + [ a owl:Restriction ; + owl:onProperty ns1:EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ; + owl:someValuesFrom [ a owl:Class ; + owl:unionOf ( ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ns1:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ) ] ] ; owl:disjointUnionOf ( ns1:EMMO_5e00b1db_48fc_445b_82e8_ab0e2255bf52 ns1:EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e ) ; skos:altLabel "CausalChain"@en, "Elementary"@en ; @@ -13803,7 +13803,7 @@ Number of apples"""@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The subclass of measurement units with no physical dimension."@en . ns1:EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "MeasuredConstant"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "For a given unit system, measured constants are physical constants that are not used to define the unit system. Hence, these constants have to be measured and will therefore be associated with an uncertainty."@en . @@ -13825,8 +13825,8 @@ ns1:EMMO_95a9bf22_eabc_4a84_863d_9ea398c8a52e a owl:Class ; ns1:EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4 a owl:Class ; rdfs:isDefinedBy ; - owl:disjointUnionOf ( ns1:EMMO_868ae137_4d25_493e_b270_21ea3d94849e ns1:EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e ), - ( ns1:EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0 ns1:EMMO_cbdea88b_fef1_4c7c_b69f_ae1f0f241c4a ) ; + owl:disjointUnionOf ( ns1:EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0 ns1:EMMO_cbdea88b_fef1_4c7c_b69f_ae1f0f241c4a ), + ( ns1:EMMO_868ae137_4d25_493e_b270_21ea3d94849e ns1:EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e ) ; owl:disjointWith ns1:EMMO_c9c8f824_9127_4f93_bc21_69fe78a7f6f2 ; skos:example """kg m/s @@ -13855,7 +13855,7 @@ is desirable (μm/m, nmol/mol). ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Unit for fractions of quantities of the same kind, to aid the understanding of the quantity being expressed."@en . ns1:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; owl:equivalentClass [ a owl:Class ; owl:unionOf ( ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ns1:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ) ] ; skos:prefLabel "CausalStructure"@en ; @@ -14031,7 +14031,7 @@ ns1:EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba a owl:Class ; ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf _:117, - _:118 ; + _:126 ; owl:disjointUnionOf ( ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ns1:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ns1:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ns1:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ) ; skos:prefLabel "EMMO"@en ; ns1: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. @@ -14154,7 +14154,7 @@ ns1:EMMO_e1097637_70d2_4895_973f_2396f04fa204 a owl:ObjectProperty ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation that connects a semiotic object to a property in a declaration process."@en . ns1:EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 ; skos:prefLabel "Mathematical"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of general mathematical symbolic objects respecting mathematical syntactic rules."@en ; @@ -14382,16 +14382,10 @@ Examples of correspondance between dimensional units and their dimensional units - ElectricCurrentDensityUnit <=> "T0 L-2 M0 I+1 Θ0 N0 J0\""""@en . [] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 ; - owl:annotatedTarget "Fusion"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin fusio, from fundere ‘pour, melt’."@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_bafc17b5_9be4_4823_8bbe_ab4e90b6738c ; - owl:annotatedTarget "IntentionalProcess"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin intentionem, derived from intendere (\"stretching out\")"@en . + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; + owl:annotatedTarget "CausalChain"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Old French chaine, chaene (“chain”), from Latin catēna (“chain”)."@en . [] a owl:Axiom ; rdfs:seeAlso "https://en.wiktionary.org/wiki/procedure"^^xsd:anyURI ; @@ -14399,11 +14393,18 @@ Examples of correspondance between dimensional units and their dimensional units owl:annotatedSource ns1:EMMO_472a0ca2_58bf_4618_b561_6fe68bd9fd49 ; owl:annotatedTarget "The set of established forms or methods of an organized body for accomplishing a certain task or tasks (Wiktionary)."@en . +[] a owl:Axiom ; + rdfs:isDefinedBy "https://www.iso.org/obp/ui/#iso:std:iso:55000:ed-1:v2:en:term:3.1.13"^^xsd:anyURI ; + owl:annotatedProperty rdfs:seeAlso ; + owl:annotatedSource ns1:EMMO_c0f72631_d7c2_434c_9c26_5c44123df682 ; + owl:annotatedTarget """ISO 55000:2014 +organization: person or group of people that has its own functions with responsibilities, authorities and relationships to achieve its objectives"""@en . + [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ; - owl:annotatedTarget "Fundamental"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin fundamentum (“foundation”), from fundō (“to lay the foundation (of something), to found”), from fundus (“bottom”)."@en . + owl:annotatedSource ns1:EMMO_472a0ca2_58bf_4618_b561_6fe68bd9fd49 ; + owl:annotatedTarget "Procedure"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin pro-cedere (“to go forward, to proceed”)."@en . [] a owl:Axiom ; owl:annotatedProperty skos:altLabel ; @@ -14412,10 +14413,16 @@ Examples of correspondance between dimensional units and their dimensional units ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English liftime, equivalent to life +‎ time."@en . [] a owl:Axiom ; - owl:annotatedProperty skos:altLabel ; + owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 ; - owl:annotatedTarget "Part"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin partire, partiri ‘divide, share’."@en . + owl:annotatedTarget "Role"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From French rôle, from obsolete French roule ‘roll’, referring originally to the roll of paper on which the actor's part was written."@en . + +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ; + owl:annotatedTarget "Fundamental"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin fundamentum (“foundation”), from fundō (“to lay the foundation (of something), to found”), from fundus (“bottom”)."@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; @@ -14425,21 +14432,15 @@ Examples of correspondance between dimensional units and their dimensional units [] a owl:Axiom ; owl:annotatedProperty skos:altLabel ; - owl:annotatedSource ns1:EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 ; - owl:annotatedTarget "Wholistic"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From the word 'holistic' with the 'w-' prefix, due to the affinity with the existing word 'whole', that share the same meaning of 'holos'."@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 ; - owl:annotatedTarget "Role"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From French rôle, from obsolete French roule ‘roll’, referring originally to the roll of paper on which the actor's part was written."@en . + owl:annotatedTarget "Part"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin partire, partiri ‘divide, share’."@en . [] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; - owl:annotatedTarget "Item"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin item, \"likewise, just so, moreover\"."@en . + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 ; + owl:annotatedTarget "Wholistic"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From the word 'holistic' with the 'w-' prefix, due to the affinity with the existing word 'whole', that share the same meaning of 'holos'."@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; @@ -14460,16 +14461,22 @@ Examples of correspondance between dimensional units and their dimensional units [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . [] a owl:Axiom ; - rdfs:isDefinedBy "https://www.iso.org/obp/ui/fr/#iso:std:iso-iec:2382:-1:ed-3:en"@en ; + rdfs:isDefinedBy "https://datatracker.ietf.org/doc/rfc3987/"^^xsd:anyURI ; owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; - owl:annotatedSource ns1:EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ; - owl:annotatedTarget "All or part of the programs, procedures, rules, and associated documentation of an information processing system."@en . + owl:annotatedSource ns1:EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b ; + owl:annotatedTarget "An Internationalized Resource Identifier (IRI) is a compact sequence of characters that identifies an abstract or physical resource. It is similar to URI, but greatly extends the allowed character set from ASCII to the Universal Character Set (Unicode/ISO 10646).."@en . [] a owl:Axiom ; - rdfs:isDefinedBy "http://www.linfo.org/program.html"^^xsd:anyURI ; + owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; + owl:annotatedSource ns1:EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 ; + owl:annotatedTarget "A path is a string of characters used to uniquely identify a location in a directory structure according to a particular convention."@en ; + ns1:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Path_(computing)#Universal_Naming_Convention" . + +[] a owl:Axiom ; + rdfs:isDefinedBy "http://www.linfo.org/source_code.html"^^xsd:anyURI ; owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; - owl:annotatedSource ns1:EMMO_65411b3d_c8d3_4111_86a9_a2ce0a64c647 ; - owl:annotatedTarget "A program is a sequence of instructions understandable by a computer's central processing unit (CPU) that indicates which operations the computer should perform on a set of data."@en . + owl:annotatedSource ns1:EMMO_348d39f7_6a17_49d1_9860_9b33b69b51de ; + owl:annotatedTarget "Source code (also referred to as source or code) is the version of software as it is originally written (i.e., typed into a computer) by a human in plain text (i.e., human readable alphanumeric characters)."@en . [] a owl:Axiom ; rdfs:isDefinedBy "https://www.ietf.org/rfc/rfc3986.txt"^^xsd:anyURI ; @@ -14478,37 +14485,16 @@ Examples of correspondance between dimensional units and their dimensional units owl:annotatedTarget "A Uniform Resource Identifier (URI) is a compact sequence of characters that identifies an abstract or physical resource."@en . [] a owl:Axiom ; - rdfs:seeAlso "http://www.linfo.org/program.html"^^xsd:anyURI ; - owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; + owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ; - owl:annotatedTarget """Software is usually used as a generic term for programs. However, in its broadest sense it can refer to all information (i.e., both programs and data) in electronic form and can provide a distinction from hardware, which refers to computers or other electronic systems on which software can exist and be use. -Here we explicitly include in the definition also all the data (e.g. source code, script files) that takes part to the building of the executable, are necessary to the execution of a program or that document it for the users."""@en . - -[] a swrl:Imp ; - swrl:body [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; - rdf:rest [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; - rdf:rest () ] ] ; - swrl:head [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; - rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for proper parthood."@en . + owl:annotatedTarget "Software"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From soft +‎ -ware, by contrast with hardware (“the computer itself”). Coined by Paul Niquette in 1953."@en . [] a owl:Axiom ; - rdfs:isDefinedBy "https://datatracker.ietf.org/doc/rfc3987/"^^xsd:anyURI ; + rdfs:isDefinedBy "https://www.iso.org/obp/ui/fr/#iso:std:iso-iec:2382:-1:ed-3:en"@en ; owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; - owl:annotatedSource ns1:EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b ; - owl:annotatedTarget "An Internationalized Resource Identifier (IRI) is a compact sequence of characters that identifies an abstract or physical resource. It is similar to URI, but greatly extends the allowed character set from ASCII to the Universal Character Set (Unicode/ISO 10646).."@en . + owl:annotatedSource ns1:EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ; + owl:annotatedTarget "All or part of the programs, procedures, rules, and associated documentation of an information processing system."@en . [] a owl:Axiom ; rdfs:isDefinedBy "https://www.ietf.org/rfc/rfc3986.txt"^^xsd:anyURI ; @@ -14517,10 +14503,10 @@ Here we explicitly include in the definition also all the data (e.g. source code owl:annotatedTarget "The term \"Uniform Resource Name\" (URN) has been used historically to refer to both URIs under the \"urn\" scheme [RFC2141], which are required to remain globally unique and persistent even when the resource ceases to exist or becomes unavailable, and to any other URI with the properties of a name."@en . [] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_4db96fb7_e9e0_466d_942b_f6f17bfdc145 ; - owl:annotatedTarget "DigitalData"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin digitus (“finger”)." . + rdfs:isDefinedBy "http://www.linfo.org/program.html"^^xsd:anyURI ; + owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; + owl:annotatedSource ns1:EMMO_65411b3d_c8d3_4111_86a9_a2ce0a64c647 ; + owl:annotatedTarget "A program is a sequence of instructions understandable by a computer's central processing unit (CPU) that indicates which operations the computer should perform on a set of data."@en . [] a owl:Axiom ; rdfs:isDefinedBy "https://www.ietf.org/rfc/rfc3986.txt"^^xsd:anyURI ; @@ -14529,25 +14515,26 @@ Here we explicitly include in the definition also all the data (e.g. source code owl:annotatedTarget "The term \"Uniform Resource Locator\" (URL) refers to the subset of URIs that, in addition to identifying a resource, provide a means of locating the resource by describing its primary access mechanism (e.g., its network \"location\")."@en . [] a owl:Axiom ; - rdfs:isDefinedBy "http://www.linfo.org/source_code.html"^^xsd:anyURI ; - owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; - owl:annotatedSource ns1:EMMO_348d39f7_6a17_49d1_9860_9b33b69b51de ; - owl:annotatedTarget "Source code (also referred to as source or code) is the version of software as it is originally written (i.e., typed into a computer) by a human in plain text (i.e., human readable alphanumeric characters)."@en . - -[] a owl:Axiom ; - owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; - owl:annotatedSource ns1:EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 ; - owl:annotatedTarget "A path is a string of characters used to uniquely identify a location in a directory structure according to a particular convention."@en ; - ns1:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Path_(computing)#Universal_Naming_Convention" . + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_4db96fb7_e9e0_466d_942b_f6f17bfdc145 ; + owl:annotatedTarget "DigitalData"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin digitus (“finger”)." . [] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; + rdfs:seeAlso "http://www.linfo.org/program.html"^^xsd:anyURI ; + owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; owl:annotatedSource ns1:EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ; - owl:annotatedTarget "Software"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From soft +‎ -ware, by contrast with hardware (“the computer itself”). Coined by Paul Niquette in 1953."@en . + owl:annotatedTarget """Software is usually used as a generic term for programs. However, in its broadest sense it can refer to all information (i.e., both programs and data) in electronic form and can provide a distinction from hardware, which refers to computers or other electronic systems on which software can exist and be use. +Here we explicitly include in the definition also all the data (e.g. source code, script files) that takes part to the building of the executable, are necessary to the execution of a program or that document it for the users."""@en . [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_eff42cb3_208e_4768_9a39_f8b6b3c3d7a2 ; + owl:annotatedTarget "Computation"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin con- +‎ putō (“I reckon”)."@en . + [] a owl:Axiom ; rdfs:seeAlso "https://www.cencenelec.eu/media/CEN-CENELEC/CWAs/RI/cwa17284_2018.pdf"^^xsd:anyURI ; owl:annotatedProperty rdfs:isDefinedBy ; @@ -14555,28 +14542,35 @@ Here we explicitly include in the definition also all the data (e.g. source code owl:annotatedTarget "CEN Workshop Agreement – CWA 17284 “Materials modelling – terminology, classification and metadata”"@en . [] a owl:Axiom ; - rdfs:seeAlso "https://www.cencenelec.eu/media/CEN-CENELEC/CWAs/RI/cwa17284_2018.pdf"^^xsd:anyURI ; + rdfs:seeAlso "https://en.wiktionary.org/wiki/Wiktionary"@en ; + owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; + owl:annotatedSource ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 ; + owl:annotatedTarget "Definitions are usually taken from Wiktionary."@en . + +[] a owl:Axiom ; + rdfs:seeAlso "https://www.cencenelec.eu/media/CEN-CENELEC/CWAs/RI/cwa17284_2018.pdf"^^xsd:anyURI ; owl:annotatedProperty rdfs:isDefinedBy ; owl:annotatedSource ns1:EMMO_e97af6ec_4371_4bbc_8936_34b76e33302f ; owl:annotatedTarget "CEN Workshop Agreement – CWA 17284 “Materials modelling – terminology, classification and metadata”"@en . -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_eff42cb3_208e_4768_9a39_f8b6b3c3d7a2 ; - owl:annotatedTarget "Computation"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin con- +‎ putō (“I reckon”)."@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; - owl:annotatedTarget "CausalSystem"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and Ancient Greek σύστημα (sústēma, “musical scale; organized body; whole made of several parts or members”), from σῠν- (sun-, prefix meaning ‘with, together’) + ἵστημι (hístēmi, “to stand”)."@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; - owl:annotatedTarget "CausalPath"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek πάτος (pátos, “path”)."@en . +[] a swrl:Imp ; + rdfs:comment "Implementation of equality based on mereology."^^rdfs:Literal ; + swrl:body [ a swrl:AtomList ; + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + rdf:rest [ a swrl:AtomList ; + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + rdf:rest () ] ] ; + swrl:head [ a swrl:AtomList ; + rdf:first [ a swrl:SameIndividualAtom ; + swrl:argument1 ; + swrl:argument2 ] ; + rdf:rest () ] . [] a owl:Axiom ; owl:annotatedProperty ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; @@ -14588,50 +14582,50 @@ Void regions do not exist in the EMMO, or in other words there is no spacetime w Entities are not placed in space or time: space and time are always relative between entities and are measured. In other words, space and time relations originates from causality interactions."""@en ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "While EMMO mereocausality conceptualisation can be used on any possibile domain, so that a quantum can be a Lego brick or an furniture component, it can be better understood when a quantum is elucidated as the smallest measured time interval of existence of an elementary particle (e.g. quark, photon)."@en . +[] a owl:Axiom ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; + owl:annotatedTarget "Elementary"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)."@en . + [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 ; - owl:annotatedTarget "hasSuccessor"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin succedĕre (\"coming after\")."@en . + owl:annotatedSource ns1:EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee ; + owl:annotatedTarget "mereological"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 """Coined by Stanisław Leśniewski in 1927, from Ancient Greek μέρος (méros, “part”) +‎ -logy (“study, discussion, science”). +https://en.wiktionary.org/wiki/mereology"""@en . [] a owl:Axiom ; - owl:annotatedProperty skos:altLabel ; - owl:annotatedSource ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; - owl:annotatedTarget "CausalChain"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Old French chaine, chaene (“chain”), from Latin catēna (“chain”)."@en . + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedTarget _:117 ; + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@en . [] a swrl:Imp ; - rdfs:comment "Implementation of equality based on mereology."^^rdfs:Literal ; swrl:body [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + swrl:propertyPredicate ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; rdf:rest [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; rdf:rest () ] ] ; - swrl:head [ a swrl:AtomList ; - rdf:first [ a swrl:SameIndividualAtom ; - swrl:argument1 ; - swrl:argument2 ] ; - rdf:rest () ] . - -[] a swrl:Imp ; - swrl:body [ a swrl:AtomList ; - rdf:first [ a swrl:ClassAtom ; - swrl:argument1 ; - swrl:classPredicate ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ] ; - rdf:rest () ] ; swrl:head [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing parthood reflexivity."@en . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for proper parthood."@en . + +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; + owl:annotatedTarget "CausalPath"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek πάτος (pátos, “path”)."@en . [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; @@ -14643,74 +14637,96 @@ Entities are not placed in space or time: space and time are always relative bet rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ] ; + swrl:propertyPredicate ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing reflexivity of overlapping."@en . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing the fact that an entity cannot cause itself."@en . [] a owl:Axiom ; owl:annotatedProperty rdfs:subClassOf ; - owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; - owl:annotatedTarget _:117 ; - ns1: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 . + owl:annotatedSource ns1:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + owl:annotatedTarget _:137 ; + ns1: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 . [] a owl:Axiom ; - owl:annotatedProperty skos:altLabel ; - owl:annotatedSource ns1:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; - owl:annotatedTarget "Elementary"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)."@en . + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 ; + owl:annotatedTarget "Fusion"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin fusio, from fundere ‘pour, melt’."@en . [] a swrl:Imp ; + rdfs:comment "Ensure that the hasNext relation expresses a strictly one-way causality arrow between two entities."^^rdfs:Literal ; swrl:body [ a swrl:AtomList ; - rdf:first [ a swrl:ClassAtom ; + rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; - swrl:classPredicate ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ] ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d ] ; rdf:rest () ] ; swrl:head [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; + swrl:argument1 ; swrl:argument2 ; swrl:propertyPredicate ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; - rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing the fact that an entity cannot cause itself."@en . + rdf:rest () ] . [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; - rdf:rest [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; - rdf:rest () ] ] ; + swrl:propertyPredicate ns1:EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ] ; + rdf:rest () ] ; swrl:head [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead ] ; rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for parthood."@en . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing exclusivity between overlapping and causality."@en . + +[] a owl:Axiom ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + owl:annotatedTarget "CausalObject"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and Medieval Latin obiectum (“object”, literally “thrown against”)."@en . + +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedTarget "EMMO"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "EMMO is the acronym of Elementary Multiperspective Material Ontology."@en . + +[] a owl:Axiom ; + owl:annotatedProperty ns1:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 ; + owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedTarget "The disjoint union of the fundamental mereocausal classes of Quantum, CausalPath, CausalSystem and Collection."@en ; + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """World entities can be classified in many ways, but one of the more important classification for the EMMO is the one between items (causally self-connected entities) and collections (not causally self-connected entities). +A collection cannot be an item and viceversa, representing the fact that a world entity cannot be causally self-connected and non-self connected at the same time."""@en . + +[] a owl:Axiom ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedTarget _:126 ; + ns1: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 . + +[] a owl:Axiom ; + rdfs:seeAlso "https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Global_Restrictions_on_Axioms_in_OWL_2_DL"^^xsd:anyURI ; + owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; + owl:annotatedSource ns1:EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 ; + owl:annotatedTarget "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en . [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; + rdf:first [ a swrl:ClassAtom ; swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_6835537c_d294_4005_a770_ec9621f29ed1 ] ; + swrl:classPredicate ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ] ; rdf:rest () ] ; swrl:head [ a swrl:AtomList ; - rdf:first [ a swrl:SameIndividualAtom ; + rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; - swrl:argument2 ] ; - rdf:rest () ] . - -[] a owl:Axiom ; - rdfs:seeAlso "https://en.wiktionary.org/wiki/Wiktionary"@en ; - owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; - owl:annotatedSource ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 ; - owl:annotatedTarget "Definitions are usually taken from Wiktionary."@en . + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + rdf:rest () ] ; + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing parthood reflexivity."@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; @@ -14720,122 +14736,130 @@ Entities are not placed in space or time: space and time are always relative bet [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_76bd5e44_bf5a_49f9_a517_eea5e8bcbc2d ; - owl:annotatedTarget "CausalCluster"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Proto-Germanic *klas-, *klus- (“to clump, lump together”)."@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ; - owl:annotatedTarget "Quantum"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin quantum (plural quanta) \"as much as, so much as\"."@en . + owl:annotatedSource ns1:EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 ; + owl:annotatedTarget "hasSuccessor"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin succedĕre (\"coming after\")."@en . [] a swrl:Imp ; - rdfs:comment "Ensure that the hasNext relation expresses a strictly one-way causality arrow between two entities."^^rdfs:Literal ; swrl:body [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; + rdf:first [ a swrl:ClassAtom ; swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d ] ; + swrl:classPredicate ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ] ; rdf:rest () ] ; swrl:head [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; + swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; - rdf:rest () ] . + swrl:propertyPredicate ns1:EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ] ; + rdf:rest () ] ; + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing reflexivity of overlapping."@en . [] a owl:Axiom ; - owl:annotatedProperty rdfs:subClassOf ; - owl:annotatedSource ns1:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; - owl:annotatedTarget _:178 ; - ns1: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 . + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d ; + owl:annotatedTarget "CausalStructure"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and from Latin struere (“arrange, assemble, build”)."@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee ; - owl:annotatedTarget "mereological"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 """Coined by Stanisław Leśniewski in 1927, from Ancient Greek μέρος (méros, “part”) +‎ -logy (“study, discussion, science”). -https://en.wiktionary.org/wiki/mereology"""@en . + owl:annotatedSource ns1:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + owl:annotatedTarget "Item"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin item, \"likewise, just so, moreover\"."@en . -[] a owl:Axiom ; - owl:annotatedProperty ns1:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 ; - owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; - owl:annotatedTarget "The disjoint union of the fundamental mereocausal classes of Quantum, CausalPath, CausalSystem and Collection."@en ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """World entities can be classified in many ways, but one of the more important classification for the EMMO is the one between items (causally self-connected entities) and collections (not causally self-connected entities). -A collection cannot be an item and viceversa, representing the fact that a world entity cannot be causally self-connected and non-self connected at the same time."""@en . +[] a swrl:Imp ; + swrl:body [ a swrl:AtomList ; + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_6835537c_d294_4005_a770_ec9621f29ed1 ] ; + rdf:rest () ] ; + swrl:head [ a swrl:AtomList ; + rdf:first [ a swrl:SameIndividualAtom ; + swrl:argument1 ; + swrl:argument2 ] ; + rdf:rest () ] . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; - owl:annotatedTarget "EMMO"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "EMMO is the acronym of Elementary Multiperspective Material Ontology."@en . + owl:annotatedSource ns1:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ; + owl:annotatedTarget "Quantum"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin quantum (plural quanta) \"as much as, so much as\"."@en . [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 ] ; - rdf:rest () ] ; + swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + rdf:rest [ a swrl:AtomList ; + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + rdf:rest () ] ] ; swrl:head [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing a strict one-way causality direction."@en . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for parthood."@en . [] a owl:Axiom ; - owl:annotatedProperty skos:altLabel ; - owl:annotatedSource ns1:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; - owl:annotatedTarget "CausalObject"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and Medieval Latin obiectum (“object”, literally “thrown against”)."@en . + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; + owl:annotatedTarget "CausalSystem"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and Ancient Greek σύστημα (sústēma, “musical scale; organized body; whole made of several parts or members”), from σῠν- (sun-, prefix meaning ‘with, together’) + ἵστημι (hístēmi, “to stand”)."@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; - owl:annotatedTarget "isCauseOf"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”)."@en . + owl:annotatedSource ns1:EMMO_76bd5e44_bf5a_49f9_a517_eea5e8bcbc2d ; + owl:annotatedTarget "CausalCluster"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Proto-Germanic *klas-, *klus- (“to clump, lump together”)."@en . + +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + owl:annotatedTarget "Collection"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin collectio, from colligere ‘gather together’."@en . [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ] ; + swrl:propertyPredicate ns1:EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 ] ; rdf:rest () ] ; swrl:head [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead ] ; - rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing exclusivity between overlapping and causality."@en . - -[] a owl:Axiom ; - rdfs:seeAlso "https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Global_Restrictions_on_Axioms_in_OWL_2_DL"^^xsd:anyURI ; - owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; - owl:annotatedSource ns1:EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 ; - owl:annotatedTarget "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en . + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; + rdf:rest () ] ; + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing a strict one-way causality direction."@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d ; - owl:annotatedTarget "CausalStructure"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and from Latin struere (“arrange, assemble, build”)."@en . + owl:annotatedSource ns1:EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + owl:annotatedTarget "isCauseOf"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”)."@en . [] a owl:Axiom ; - owl:annotatedProperty rdfs:subClassOf ; - owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; - owl:annotatedTarget _:118 ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@en . + rdfs:isDefinedBy "https://dictionary.iucr.org/Crystal"^^xsd:anyURI ; + owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; + owl:annotatedSource ns1:EMMO_0bb3b434_73aa_428f_b4e8_2a2468648e19 ; + owl:annotatedTarget """A material is a crystal if it has essentially a sharp diffraction pattern. + +A solid is a crystal if it has essentially a sharp diffraction pattern. The word essentially means that most of the intensity of the diffraction is concentrated in relatively sharp Bragg peaks, besides the always present diffuse scattering. In all cases, the positions of the diffraction peaks can be expressed by + + +H=∑ni=1hia∗i (n≥3)""" . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; - owl:annotatedTarget "Collection"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin collectio, from colligere ‘gather together’."@en . + owl:annotatedSource ns1:EMMO_0bb3b434_73aa_428f_b4e8_2a2468648e19 ; + owl:annotatedTarget "Crystal"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek κρύσταλλος (krústallos, “clear ice”), from κρύος (krúos, “frost”)."@en . [] a owl:Axiom ; owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; @@ -14851,33 +14875,16 @@ The term phase is sometimes used as a synonym for state of matter, but there can owl:annotatedTarget "The subject of condensed matter physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the subject deals with \"condensed\" phases of matter: systems of many constituents with strong interactions between them."@en ; ns1:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Condensed_matter_physics"@en . -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_0bb3b434_73aa_428f_b4e8_2a2468648e19 ; - owl:annotatedTarget "Crystal"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek κρύσταλλος (krústallos, “clear ice”), from κρύος (krúos, “frost”)."@en . - -[] a owl:Axiom ; - rdfs:isDefinedBy "https://dictionary.iucr.org/Crystal"^^xsd:anyURI ; - owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; - owl:annotatedSource ns1:EMMO_0bb3b434_73aa_428f_b4e8_2a2468648e19 ; - owl:annotatedTarget """A material is a crystal if it has essentially a sharp diffraction pattern. - -A solid is a crystal if it has essentially a sharp diffraction pattern. The word essentially means that most of the intensity of the diffraction is concentrated in relatively sharp Bragg peaks, besides the always present diffuse scattering. In all cases, the positions of the diffraction peaks can be expressed by - - -H=∑ni=1hia∗i (n≥3)""" . - [] owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger . +[] owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger . + [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . [] owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger . -[] owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger . - [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . @@ -14888,12 +14895,6 @@ H=∑ni=1hia∗i (n≥3)""" . owl:annotatedTarget "Matter"@en ; ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin materia (“matter, stuff, material”), from mater (“mother”)."@en . -[] a owl:Axiom ; - owl:annotatedProperty skos:altLabel ; - owl:annotatedSource ns1:EMMO_a15cea10_9946_4d2b_95c5_cfc333fd2abb ; - owl:annotatedTarget "Particle"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin particula (“small part, particle”), diminutive of pars (“part, piece”)."@en . - [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_b5a5494c_83bf_44aa_a9a6_49b948e68939 ; @@ -14906,6 +14907,12 @@ H=∑ni=1hia∗i (n≥3)""" . owl:annotatedTarget "PhysicalObject"@en ; ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin physica \"study of nature\" (and Ancient Greek φυσικός, “natural”), and Medieval Latin obiectum (“object”, literally “thrown against”)."@en . +[] a owl:Axiom ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_a15cea10_9946_4d2b_95c5_cfc333fd2abb ; + owl:annotatedTarget "Particle"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin particula (“small part, particle”), diminutive of pars (“part, piece”)."@en . + [] owl:qualifiedCardinality "2"^^xsd:nonNegativeInteger . [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . @@ -14920,25 +14927,6 @@ H=∑ni=1hia∗i (n≥3)""" . owl:annotatedTarget "ElementaryParticle"@en ; ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)."@en . -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_c74da218_9147_4f03_92d1_8894abca55f3 ; - owl:annotatedTarget "Graphical"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From the Ancient Greek γραφή (graphḗ) which means drawing, painting, writing, a writing, description, and from γράφω (gráphō) which means scratch, carve."@en ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The term graphical is used in etymological sense, comprising both writings and visual arts."@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_ccdc1a41_6e96_416b_92ec_efe67917434a ; - owl:annotatedTarget "Document"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin documentum, from the verb doceō (“teach”) +‎ -mentum."@en . - -[] a owl:Axiom ; - rdfs:isDefinedBy "https://www.bipm.org/documents/20126/2071204/JCGM_200_2012.pdf" ; - owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; - owl:annotatedSource ns1:EMMO_985bec21_989f_4b9e_a4b3_735d88099c3c ; - owl:annotatedTarget "Metrology is the science of measurement and its application and includes all theoretical and practical aspects of measurement, whatever the measurement uncertainty and field of application (VIM3 2.2)"@en . - [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_649bf97b_4397_4005_90d9_219755d92e34 ; @@ -14957,11 +14945,17 @@ H=∑ni=1hia∗i (n≥3)""" . owl:annotatedSource ns1:EMMO_463bcfda_867b_41d9_a967_211d4d437cfb ; owl:annotatedTarget "A measurement is the process of experimentally obtaining one or more measurement results that can reasonably be attributed to a quantity."@en . +[] a owl:Axiom ; + rdfs:isDefinedBy "https://www.bipm.org/documents/20126/2071204/JCGM_200_2012.pdf" ; + owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; + owl:annotatedSource ns1:EMMO_985bec21_989f_4b9e_a4b3_735d88099c3c ; + owl:annotatedTarget "Metrology is the science of measurement and its application and includes all theoretical and practical aspects of measurement, whatever the measurement uncertainty and field of application (VIM3 2.2)"@en . + [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895 ; - owl:annotatedTarget "Variable"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "Fom Latin variabilis (\"changeable\")."@en . + owl:annotatedSource ns1:EMMO_ccdc1a41_6e96_416b_92ec_efe67917434a ; + owl:annotatedTarget "Document"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin documentum, from the verb doceō (“teach”) +‎ -mentum."@en . [] a owl:Axiom ; owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; @@ -14969,24 +14963,30 @@ H=∑ni=1hia∗i (n≥3)""" . owl:annotatedTarget "A variable is a symbolic object that stands for any other mathematical object, such as number, a vector, a matrix, a function, the argument of a function, a set, an element of a set."@en ; ns1:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Variable_(mathematics)"^^xsd:anyURI . -[] owl:qualifiedCardinality "3"^^xsd:nonNegativeInteger . +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_c74da218_9147_4f03_92d1_8894abca55f3 ; + owl:annotatedTarget "Graphical"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From the Ancient Greek γραφή (graphḗ) which means drawing, painting, writing, a writing, description, and from γράφω (gráphō) which means scratch, carve."@en ; + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The term graphical is used in etymological sense, comprising both writings and visual arts."@en . -[] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895 ; + owl:annotatedTarget "Variable"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "Fom Latin variabilis (\"changeable\")."@en . [] owl:qualifiedCardinality "4"^^xsd:nonNegativeInteger . -[] a owl:Axiom ; - owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; - owl:annotatedSource ns1:EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 ; - owl:annotatedTarget """We call "decoding" the act of recognise the variation according to a particular rule and generate another equivalent schema (e.g. in the agent's cognitive apparatus, as another form of data). -We call "interpreting" the act of providing semantic meaning to data, which is covered by the semiotic perspective."""@en ; - skos:example "The electronical state of the RAM of my laptop is decoded by it as ASCII characters and printed on the screen."@en . +[] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ; - owl:annotatedTarget "Symbolic"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek σύμβολον (súmbolon, “a sign by which one infers something; a mark, token, badge, ticket, tally, check, a signal, watchword, outward sign”), from συμβάλλω (sumbállō, “I throw together, dash together, compare, correspond, tally, come to a conclusion”), from σύν (sún, “with, together”) + βάλλω (bállō, “I throw, put”)." . + owl:annotatedSource ns1:EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 ; + owl:annotatedTarget "Data"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin data, nominative plural of datum (“that is given”), neuter past participle of dō (“I give”)."@en . + +[] owl:qualifiedCardinality "3"^^xsd:nonNegativeInteger . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; @@ -14996,9 +14996,16 @@ We call "interpreting" the act of providing semantic meaning to data, which is c [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_52211e5e_d767_4812_845e_eb6b402c476a ; - owl:annotatedTarget "Existent"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "ex-sistere (latin): to stay (to persist through time) outside others of the same type (to be distinct from the rest)."@en . + owl:annotatedSource ns1:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ; + owl:annotatedTarget "Symbolic"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek σύμβολον (súmbolon, “a sign by which one infers something; a mark, token, badge, ticket, tally, check, a signal, watchword, outward sign”), from συμβάλλω (sumbállō, “I throw together, dash together, compare, correspond, tally, come to a conclusion”), from σύν (sún, “with, together”) + βάλλω (bállō, “I throw, put”)." . + +[] a owl:Axiom ; + owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; + owl:annotatedSource ns1:EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 ; + owl:annotatedTarget """We call "decoding" the act of recognise the variation according to a particular rule and generate another equivalent schema (e.g. in the agent's cognitive apparatus, as another form of data). +We call "interpreting" the act of providing semantic meaning to data, which is covered by the semiotic perspective."""@en ; + skos:example "The electronical state of the RAM of my laptop is decoded by it as ASCII characters and printed on the screen."@en . [] a owl:Axiom ; owl:annotatedProperty ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; @@ -15006,6 +15013,12 @@ We call "interpreting" the act of providing semantic meaning to data, which is c owl:annotatedTarget "A tessellation (or tiling) is the covering of a surface, often a plane, using one or more geometric shapes, called tiles, with no overlaps and no gaps."@en ; ns1:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Tessellation"^^xsd:anyURI . +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_52211e5e_d767_4812_845e_eb6b402c476a ; + owl:annotatedTarget "Existent"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "ex-sistere (latin): to stay (to persist through time) outside others of the same type (to be distinct from the rest)."@en . + [] a owl:Axiom ; owl:annotatedProperty skos:altLabel ; owl:annotatedSource ns1:EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 ; @@ -15014,9 +15027,15 @@ We call "interpreting" the act of providing semantic meaning to data, which is c [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba ; - owl:annotatedTarget "Property"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin proprietas (“a peculiarity, one's peculiar nature or quality, right or fact of possession, property”), from proprius (“special, particular, one's own”)."@en . + owl:annotatedSource ns1:EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68 ; + owl:annotatedTarget "Observation"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin observare (“to watch, note, mark, heed, guard, keep, pay attention to, regard, comply with, etc.”), from ob (“before”) + servare (“to keep”),"@en . + +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_0cd58641_824c_4851_907f_f4c3be76630c ; + owl:annotatedTarget "Index"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin index (“a discoverer, informer, spy; of things, an indicator, the forefinger, a title, superscription”), from indicō (“point out, show”)."@en . [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; @@ -15039,6 +15058,12 @@ We call "interpreting" the act of providing semantic meaning to data, which is c ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The rule for the subproperty chain: inverse (hasInterpreter) o inverse (hasSign) =>hasReferent"""@en . +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_1c0b22a2_be82_4fa8_9e2b_a569a625d442 ; + owl:annotatedTarget "Estimation"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin aestimatus (“to value, rate, esteem”)."@en . + [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; @@ -15062,21 +15087,27 @@ We call "interpreting" the act of providing semantic meaning to data, which is c [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_c7013b53_3071_410b_a5e4_a8d266dcdfb5 ; - owl:annotatedTarget "FunctionalIcon"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin functiō (“performance, execution”), from functus, perfect participle of fungor (“to perform, execute, discharge”)."@en . + owl:annotatedSource ns1:EMMO_4f2d1fcc_e20c_4479_9ad7_7a0480dd3e44 ; + owl:annotatedTarget "AnalogicalIcon"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek ἀναλογία (analogía), from ἀνά (aná) + λόγος (lógos, “speech, reckoning”)."@en . + +[] a owl:Axiom ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 ; + owl:annotatedTarget "Simulacrum"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin simulacrum (\"likeness, semblance\")"@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_0cd58641_824c_4851_907f_f4c3be76630c ; - owl:annotatedTarget "Index"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin index (“a discoverer, informer, spy; of things, an indicator, the forefinger, a title, superscription”), from indicō (“point out, show”)."@en . + owl:annotatedSource ns1:EMMO_c7013b53_3071_410b_a5e4_a8d266dcdfb5 ; + owl:annotatedTarget "FunctionalIcon"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin functiō (“performance, execution”), from functus, perfect participle of fungor (“to perform, execute, discharge”)."@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_4f2d1fcc_e20c_4479_9ad7_7a0480dd3e44 ; - owl:annotatedTarget "AnalogicalIcon"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek ἀναλογία (analogía), from ἀνά (aná) + λόγος (lógos, “speech, reckoning”)."@en . + owl:annotatedSource ns1:EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec ; + owl:annotatedTarget "Cogniser"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin cognitio (“knowledge, perception, a judicial examination, trial”), from cognitus, past participle of cognoscere (“to know”), from co- (“together”) + *gnoscere, older form of noscere (“to know”"@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; @@ -15085,10 +15116,10 @@ We call "interpreting" the act of providing semantic meaning to data, which is c ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek εἰκών (eikṓn, “likeness, image, portrait”)."@en . [] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 ; - owl:annotatedTarget "Data"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin data, nominative plural of datum (“that is given”), neuter past participle of dō (“I give”)."@en . + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_1e877c70_3b01_45a8_a8f6_8ce4f6a24660 ; + owl:annotatedTarget "Dedomena"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Greek, nominative plural form of δεδομένο (dedoméno) (data, information)"@en . [] a owl:Axiom ; rdfs:seeAlso "https://en.wikipedia.org/wiki/Semiotic_theory_of_Charles_Sanders_Peirce#II._Icon,_index,_symbol"^^xsd:anyURI ; @@ -15100,18 +15131,24 @@ We call "interpreting" the act of providing semantic meaning to data, which is c (c) the metaphor, which represents the representative character of a sign by representing a parallelism in something else [Wikipedia]"""@en . -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68 ; - owl:annotatedTarget "Observation"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin observare (“to watch, note, mark, heed, guard, keep, pay attention to, regard, comply with, etc.”), from ob (“before”) + servare (“to keep”),"@en . - [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_8c537c06_8e1d_4a3b_a251_1c89bb2c4790 ; owl:annotatedTarget "ResemblanceIcon"@en ; ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Old French sambler, sembler, from Late Latin similāre, present active infinitive of similō, from Latin similis, from Proto-Italic *semalis, from Proto-Indo-European *sem- (“together, one”)."@en . +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba ; + owl:annotatedTarget "Property"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin proprietas (“a peculiarity, one's peculiar nature or quality, right or fact of possession, property”), from proprius (“special, particular, one's own”)."@en . + +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; + owl:annotatedTarget "Perspective"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From medieval Latin perspectiva ‘(science of) optics’, from perspect- ‘looked at closely’, from the verb perspicere, from per- ‘through’ + specere ‘to look’."@en . + [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; @@ -15133,60 +15170,23 @@ We call "interpreting" the act of providing semantic meaning to data, which is c ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The rule for the subproperty chain: inverse (hasSign) o inverse (hasReferent) => hasInterpreter"""@en . -[] a owl:Axiom ; - owl:annotatedProperty skos:altLabel ; - owl:annotatedSource ns1:EMMO_1e877c70_3b01_45a8_a8f6_8ce4f6a24660 ; - owl:annotatedTarget "Dedomena"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Greek, nominative plural form of δεδομένο (dedoméno) (data, information)"@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec ; - owl:annotatedTarget "Cogniser"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin cognitio (“knowledge, perception, a judicial examination, trial”), from cognitus, past participle of cognoscere (“to know”), from co- (“together”) + *gnoscere, older form of noscere (“to know”"@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:altLabel ; - owl:annotatedSource ns1:EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 ; - owl:annotatedTarget "Simulacrum"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin simulacrum (\"likeness, semblance\")"@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; - owl:annotatedTarget "Perspective"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From medieval Latin perspectiva ‘(science of) optics’, from perspect- ‘looked at closely’, from the verb perspicere, from per- ‘through’ + specere ‘to look’."@en . - -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_1c0b22a2_be82_4fa8_9e2b_a569a625d442 ; - owl:annotatedTarget "Estimation"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin aestimatus (“to value, rate, esteem”)."@en . - -[] a owl:Axiom ; - rdfs:isDefinedBy "https://www.iso.org/obp/ui/#iso:std:iso:55000:ed-1:v2:en:term:3.1.13"^^xsd:anyURI ; - owl:annotatedProperty rdfs:seeAlso ; - owl:annotatedSource ns1:EMMO_c0f72631_d7c2_434c_9c26_5c44123df682 ; - owl:annotatedTarget """ISO 55000:2014 -organization: person or group of people that has its own functions with responsibilities, authorities and relationships to achieve its objectives"""@en . - [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_472a0ca2_58bf_4618_b561_6fe68bd9fd49 ; - owl:annotatedTarget "Procedure"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin pro-cedere (“to go forward, to proceed”)."@en . + owl:annotatedSource ns1:EMMO_bafc17b5_9be4_4823_8bbe_ab4e90b6738c ; + owl:annotatedTarget "IntentionalProcess"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin intentionem, derived from intendere (\"stretching out\")"@en . -_:125 owl:inverseOf ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . +_:118 owl:inverseOf ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:117 a owl:Restriction ; + owl:hasValue ns1:EMMO_08cb807c_e626_447b_863f_e2835540e918 ; + owl:onProperty _:118 . + +_:126 a owl:Restriction ; owl:onProperty ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; owl:someValuesFrom ns1:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 . -_:118 a owl:Restriction ; - owl:hasValue ns1:EMMO_08cb807c_e626_447b_863f_e2835540e918 ; - owl:onProperty _:125 . - -_:178 a owl:Restriction ; +_:137 a owl:Restriction ; owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; owl:onClass ns1:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; owl:onProperty ns1:EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 .