diff --git a/microstructure.ttl b/microstructure.ttl index c3df1f1..c34a53a 100644 --- a/microstructure.ttl +++ b/microstructure.ttl @@ -1581,9 +1581,9 @@ ns1:EMMO_39348191_08fd_4bb6_9b1e_012d5b2f1ff6 a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_4207e895_8b83_4318_996a_72cfb32acd94 ; owl:equivalentClass [ a owl:Class ; - owl:unionOf ( ns1:EMMO_0afc19b0_2d43_4b3d_8da0_9ffb63bc1492 ns1:EMMO_f1025834_0cd2_42a1_bfeb_13bec41c8655 ) ], + owl:unionOf ( ns1:EMMO_4c1f58cd_6e2c_48fb_8098_1cbb762abb05 ns1:EMMO_c5e9e390_8836_4440_b4fd_c906fdd4f438 ns1:EMMO_f678173d_f036_4df1_a86b_2894560be617 ns1:EMMO_fb27e6d6_159e_48a6_9c29_76dc31d8a860 ) ], [ a owl:Class ; - owl:unionOf ( ns1:EMMO_4c1f58cd_6e2c_48fb_8098_1cbb762abb05 ns1:EMMO_c5e9e390_8836_4440_b4fd_c906fdd4f438 ns1:EMMO_f678173d_f036_4df1_a86b_2894560be617 ns1:EMMO_fb27e6d6_159e_48a6_9c29_76dc31d8a860 ) ] ; + owl:unionOf ( ns1:EMMO_0afc19b0_2d43_4b3d_8da0_9ffb63bc1492 ns1:EMMO_f1025834_0cd2_42a1_bfeb_13bec41c8655 ) ] ; skos:prefLabel "ClassicallyDefinedMaterial"@en . ns1:EMMO_39362460_2a97_4367_8f93_0418c2ac9a08 a owl:Class ; @@ -8475,13 +8475,13 @@ ns1:EMMO_463bcfda_867b_41d9_a967_211d4d437cfb a owl:Class ; "A measurement is the process of experimentally obtaining one or more measurement results that can reasonably be attributed to a quantity."@en ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; - owl:onProperty ns1:EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840 ; + owl:onProperty ns1:EMMO_35c29eb6_f57e_48d8_85af_854f9e926e77 ; 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_7dea2572_ab42_45bd_9fd7_92448cec762a ], [ a owl:Restriction ; - owl:onProperty ns1:EMMO_35c29eb6_f57e_48d8_85af_854f9e926e77 ; + owl:onProperty ns1:EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840 ; owl:someValuesFrom ns1:EMMO_0f6f0120_c079_4d95_bb11_4ddee05e530e ], ns1:EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68, ns1:EMMO_472a0ca2_58bf_4618_b561_6fe68bd9fd49 ; @@ -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 ; @@ -10057,7 +10057,7 @@ ns1:EMMO_ea47add2_8e93_4659_a5f0_e6879032dee0 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Quotient of tangential and normal component of the force applied to a body which is rolling at constant speed over a surface."@en . ns1:EMMO_eb7de1a1_c30e_4f0d_94c6_fe70414d7e61 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_c74da218_9147_4f03_92d1_8894abca55f3 ; skos:prefLabel "Representation"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A graphical object aimed to represent schematically the conceptual, tempral or spatial structure of another object, that may or may not exist."@en . @@ -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: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 ], + [ a owl:Restriction ; + owl:allValuesFrom ns1:EMMO_2031516a_2be7_48e8_9af7_7e1270e308fe ; + owl:onProperty [ owl:inverseOf ns1:EMMO_dba27ca1_33c9_4443_a912_1519ce4c39ec ] ], ns1:EMMO_65a007dc_2550_46b0_b394_3346c67fbb69, ns1:EMMO_668fbd5b_6f1b_405c_9c6b_d6067bd0595a ; skos:prefLabel "Solvent"@en ; @@ -10606,7 +10606,7 @@ ns1:EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Encoded data made of more than one datum."@en . ns1:EMMO_1b6a95fb_3df7_44c9_ad3d_419c9c5fe7cb a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:example "The biography of a person met by the author."@en ; skos:prefLabel "Observed"@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_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 ; owl:disjointUnionOf ( ns1:EMMO_50967f46_51f9_462a_b1e4_e63365b4a184 ns1:EMMO_e024544d_e374_45b7_9340_1982040bc6b7 ) ; skos:altLabel "ChemicalSubstance"@en ; @@ -10890,7 +10890,7 @@ ns1:EMMO_57ba1bf0_4314_432c_a9bb_6a6720c8dab5 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A workflow whose tasks are tiles of a sequence."@en . ns1:EMMO_57d977ab_0036_4779_b59a_e47620afdb9c a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "CompositePhysicalObject"@en ; ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A composite physical object is made of bonded objects (i.e. characterised by their quantum states using a Schrodinger equation approach) that are connected together by elementary particles travelling between them. These elemenentary particles are real particles, describing the existance of a classical field (e.g. Coulomb potential between charged particles)."@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of physical objects possessing a structure that is larger than a single composite particle, for which its bosonic or fermionic nature is undetermined." . @@ -10940,12 +10940,12 @@ ns1:EMMO_6786b336_e982_4759_8dee_1905a4106591 a owl:ObjectProperty ; On the contrary, the holistic parthood, is expected to go that deep."""@en . ns1:EMMO_6e9cb807_fc68_4bcf_b3ba_5fccc887c644 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "OrdinaryMatter"@en ; 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 . @@ -10990,7 +10990,7 @@ ns1:EMMO_7d56ec24_499d_487a_af7d_a91aaa787bfe a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A physics based simulation with multiple physics based models."@en . ns1:EMMO_801395f8_948e_4637_ac3b_5fcd587d72ca a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "BondedObject"@en ; ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A bonded object is a sequence of fundamental interactions that can be described approximatively by Schrodinger formulation. A bonded object is typically characterised by having quantum states (e.g. electron states in an atom, energy levels of a molecule). Furthermore, a bonded object is made of elementary particles that travels from the beginning to the end of the entity (i.e. a bonded object doesn't change its components)."@en ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """"... in the 'classical' picture ordinary matter is made of atoms, in which electrons are held in orbit around a nucleus of protons and neutrons by the electrical attraction of opposite charges. We can now give this model a more sophisticated formulation by attributing the binding force to the exchange of photons between the electrons and the protons in the nucleus. However, for the purposes of atomic physics this is overkill, for in this context quantization of the electromagnetic field produces only minute effects (notably the Lamb shift and the anomalous magnetic moment of the electron). To excellent approximation we can pretend that the forces are given by Coulomb's law (together with various magnetic dipole couplings). The point is that in a bound state enormous numbers of photons are continually streaming back and forth, so that the "lumpiness" of the field is effectively smoothed out, and classical electrodynamics is a suitable approximation to the truth. But in most elementary particle processes, such as the photoelectric effect or Compton scattering, individual photons are involved, and quantization can no longer be ignored." @@ -11073,12 +11073,12 @@ 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 . ns1:EMMO_8c64fcfa_23aa_45f8_9e58_bdfd065fab8f a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_9e029526_79a2_47a8_a151_dd0545db471b ; skos:prefLabel "Constant"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable that stand for a numerical constant, even if it is unknown."@en . @@ -11144,7 +11144,7 @@ ns1:EMMO_96ffda63_71e7_451b_85ee_2cc8e341ff11 a owl:Class ; skos:prefLabel "ElectricPotentialPerTemperatureUnit"@en . ns1:EMMO_9be5fcc4_0d8b_481d_b984_6338d4b55588 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_ea67caa5_2609_4e91_98ae_81103f2d5c25 ; skos:prefLabel "Measurer"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An observer that makes use of a measurement tool and provides a quantitative property."@en . @@ -11258,7 +11258,7 @@ ns1:EMMO_b35e92d7_7fa0_4661_aa5a_5cea7c8e6925 a owl:DatatypeProperty ; skos:prefLabel "hasURIValue"@en . ns1:EMMO_bafc17b5_9be4_4823_8bbe_ab4e90b6738c a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_cd24eb82_a11c_4a31_96ea_32f870c5580a ; owl:someValuesFrom ns1:EMMO_c130614a_2985_476d_a7ed_8a137847703c ], @@ -11267,7 +11267,7 @@ ns1:EMMO_bafc17b5_9be4_4823_8bbe_ab4e90b6738c a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A process occurring with the active participation of an agent that drives the process according to a specific objective (intention)."@en . ns1:EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_57d977ab_0036_4779_b59a_e47620afdb9c, ns1:EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 ; owl:disjointUnionOf ( ns1:EMMO_660a4964_0333_4663_bc66_e93ef59b0679 ns1:EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ) ; @@ -11275,7 +11275,7 @@ ns1:EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A composite physical object made of fermions (i.e. having mass and occupying space)." . ns1:EMMO_c5ae6d8e_6b39_431f_8de4_ae4e357abc04 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:example """A cloud. A picture. A colour gradient on a wall. @@ -11299,7 +11299,7 @@ ns1:EMMO_caa63d00_80b1_4408_ac1b_cd0d23b0ec50 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A tile that has next and is next of other tiles within the same tessellation."@en . ns1:EMMO_cbdea88b_fef1_4c7c_b69f_ae1f0f241c4a a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "DimensionalUnit"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A subclass of measurement unit focusing on the physical dimensionality that is carried by the unit."@en ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The current version of EMMO does not provide explicit classes for physical dimensions. Rather it embraces the fact that the physical dimensionality of a physical quantity is carried by its measurement unit. @@ -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_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 ], + [ 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 ], ns1:EMMO_985bec21_989f_4b9e_a4b3_735d88099c3c ; skos:example """6.8 m 0.9 km @@ -11649,11 +11649,11 @@ ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d a owl:ObjectProperty ; ns1:EMMO_0527413c_b286_4e9c_b2d0_03fb2a038dee a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; - owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_054af807_85cd_4a13_8eba_119dfdaaf38b ], - [ a owl:Restriction ; owl:onProperty [ owl:inverseOf ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; - owl:someValuesFrom ns1:EMMO_008fd3b2_4013_451f_8827_52bceab11841 ] ; + owl:someValuesFrom ns1:EMMO_008fd3b2_4013_451f_8827_52bceab11841 ], + [ a owl:Restriction ; + owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + owl:someValuesFrom ns1:EMMO_054af807_85cd_4a13_8eba_119dfdaaf38b ] ; owl:equivalentClass [ a owl:Class ; owl:unionOf ( ns1:EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec ns1:EMMO_2d72e38c_d587_437f_98f6_f2718fb130eb ns1:EMMO_36a4c1ca_5085_49ca_9e13_4c70d00c50a5 ) ] ; skos:example """For example, the ontologist may be interest in cataloguing in the EMMO how the same object (e.g. a cat) is addressed using different signs (e.g. cat, gatto, chat) by different interpreters (e.g. english, italian or french people). @@ -11757,7 +11757,7 @@ ns1:EMMO_1c2226a9_22f0_40c8_8928_5a01d398f96e a owl:Class ; skos:prefLabel "MagneticDipoleMomentUnit"@en . ns1:EMMO_1e877c70_3b01_45a8_a8f6_8ce4f6a24660 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:seeAlso "Luciano Floridi, \"Information - A very Short Introduction\", Oxford University Press., (2010) ISBN 978-0199551378"@en ; rdfs:subClassOf ns1:EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; owl:equivalentClass [ 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, @@ -11856,7 +11856,7 @@ ns1:EMMO_2ae37adf_07f2_4920_8ec6_084c69761e34 a owl:Class ; ns1:EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://goldbook.iupac.org/terms/view/A00019" . ns1:EMMO_35d4c439_fcb6_4399_a855_a89a207b41e9 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:example "A biography."@en, "A sentence about some object, depticting its properties."@en ; skos:prefLabel "Description"@en ; @@ -12054,10 +12054,10 @@ ns1:EMMO_7cdc375d_d371_4d78_acd5_d51732f52126 a owl:Class ; rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec ], + owl:someValuesFrom ns1:EMMO_881606d0_6f2f_4947_bc8b_75c5b7b2b688 ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; - owl:someValuesFrom ns1:EMMO_881606d0_6f2f_4947_bc8b_75c5b7b2b688 ], + owl:someValuesFrom ns1:EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec ], [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; owl:someValuesFrom ns1:EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 ] ; @@ -12181,7 +12181,7 @@ ns1:EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 a owl:IrreflexiveProperty, ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an entity that overlaps another without being its part."@en . ns1:EMMO_9e029526_79a2_47a8_a151_dd0545db471b a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895 ; skos:prefLabel "NumericalVariable"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable standing for a numerical defined mathematical object like e.g. a number, a vector of numbers, a matrix of numbers."@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 ; @@ -12298,7 +12298,7 @@ ns1:EMMO_e97af6ec_4371_4bbc_8936_34b76e33302f a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A simulation that relies on physics based models, according to the Review of Materials Modelling and CWA 17284:2018."@en . ns1:EMMO_ea67caa5_2609_4e91_98ae_81103f2d5c25 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "Observer"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A characteriser that declares a property for an object through the specific interaction required by the property definition."@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 ] ; @@ -12432,7 +12432,7 @@ ns1:EMMO_21205421_5783_4d3e_81e5_10c5d894a88a a owl:Class ; rdfs:comment """Molecular entity is used as a general term for singular entities, irrespective of their nature, while chemical species stands for sets or ensembles of molecular entities. Note that the name of a compound may refer to the respective molecular entity or to the chemical species,""" ; - rdfs:isDefinedBy , + rdfs:isDefinedBy , "https://goldbook.iupac.org/terms/view/M03986"@en ; rdfs:subClassOf ns1:EMMO_5b2222df_4da6_442f_8244_96e9e45887d1, ns1:EMMO_8b1367d6_0133_4b56_acc1_fa8b058169e3 ; @@ -12504,7 +12504,7 @@ ns1:EMMO_36a4c1ca_5085_49ca_9e13_4c70d00c50a5 a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interpreter who establish the connection between an index sign and an object according to a causal contiguity."@en . ns1:EMMO_38b579de_4331_40e0_803d_09efa298e726 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; owl:disjointUnionOf ( ns1:EMMO_57d977ab_0036_4779_b59a_e47620afdb9c ns1:EMMO_801395f8_948e_4637_ac3b_5fcd587d72ca ) ; skos:prefLabel "PhysicalObject"@en ; ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 """It is natural to define entities made or more than one smaller parts as object according to some unity criteria. One of the most general one applicable to causal interacting systems is to ask that all the quantum parts of the system are part of elementaries whose paths start and end within the entitiy. We call this causal convexity. In other words, causal convexity excludes all quantums that leave the system (no more interacting), or that are not yet part of it (not yet interacting). @@ -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 ] ; @@ -12529,7 +12529,7 @@ ns1:EMMO_3ecff38b_b3cf_4a78_b49f_8580abf8715b a owl:Class ; skos:prefLabel "EntropyUnit"@en . ns1:EMMO_4a1c73f1_b6f5_4d10_a3a6_5de90bac7cd0 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:prefLabel "Estimator"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A characteriser that declares a property for an object without actually interact with it with the specific interaction required by the property definition (i.e. infer a property from other properties)."@en . @@ -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 . @@ -12842,7 +12842,7 @@ ns1:EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A measurement unit that is made of a metric prefix and a unit symbol."@en . ns1:EMMO_c74da218_9147_4f03_92d1_8894abca55f3 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490, ns1:EMMO_c5ae6d8e_6b39_431f_8de4_ae4e357abc04 ; skos:example "'Graphical' objects include writings, pictures, sketches ..."@en ; @@ -13017,13 +13017,13 @@ My facial expression stands for my emotional status."""@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 'Sign' that stands for an 'Object' due to causal continguity."@en . ns1:EMMO_10a5fd39_06aa_4648_9e70_f962a9cb2069 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ 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 ], [ 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 ] ; 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 ; @@ -13046,7 +13046,7 @@ ns1:EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interpreter who establish the connection between an icon an an object recognizing their resemblance (e.g. logical, pictorial)"@en . ns1:EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ; skos:example """x k"""@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 _:137 ; + rdfs:subClassOf _:116 ; 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. @@ -13120,12 +13120,12 @@ ns1:EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 a owl:Class ; ns1:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Software_construction#Construction_languages"^^xsd:anyURI . ns1:EMMO_3e7add3d_e6ed_489a_a796_8e31fef9b490 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; owl:disjointWith ns1:EMMO_5a10e288_c6a5_409a_a16a_98a2fb8be4f3 ; owl:equivalentClass [ a owl:Class ; - owl:unionOf ( ns1:EMMO_0d1c0018_42e2_4506_bc3d_f53c117c1ad3 ns1:EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ) ], - [ a owl:Class ; owl:unionOf ( ns1:EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a ns1:EMMO_50d6236a_7667_4883_8ae1_9bb5d190423a ) ], + [ a owl:Class ; + owl:unionOf ( ns1:EMMO_0d1c0018_42e2_4506_bc3d_f53c117c1ad3 ns1:EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ) ], [ a owl:Class ; owl:unionOf ( ns1:EMMO_6fa1feac_c388_44cc_a721_283499d5addc ns1:EMMO_ed257e78_8b59_44c3_9d61_06c261184f55 ) ], [ a owl:Class ; @@ -13231,7 +13231,7 @@ If A is a water-fluid so small that its every proper part is no more a continuum ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole possessing some proper parts of its same type."@en . ns1:EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:example "A text is a collection of discrete symbols. A compact disc is designed to host discrete states in the form of pits and lands."@en ; skos:prefLabel "DiscreteData"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Data whose variations are decoded according to a discrete schema."@en ; @@ -13240,7 +13240,7 @@ Discrete does not mean that the material basis is discrete, but that the data ar ns1:EMMO_c7013b53_3071_410b_a5e4_a8d266dcdfb5 a owl:Class ; rdfs:comment "This subclass of icon inspired by Peirceian category (c) the metaphor, which represents the representative character of a sign by representing a parallelism in something else."@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:example "A data based model is only a functional icon, since it provide the same relations between the properties of the object (e.g., it can predict some properties as function of others) but is not considering the internal mechanisms (i.e., it can ignore the physics)."@en, "A guinea pig."@en ; skos:prefLabel "FunctionalIcon"@en ; @@ -13342,7 +13342,7 @@ ns1:EMMO_f675294e_6f30_4b1d_a68e_a74e59f3b2fc a owl:Class ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A physical quantity that has a value in each point in space and time. "@en . ns1:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ; owl:equivalentClass [ a owl:Class ; owl:unionOf ( ns1:EMMO_89a0c87c_0804_4013_937a_6fe234d9499c ns1:EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 ) ] ; @@ -13359,7 +13359,7 @@ In other words, a sequence of bit "1000010" in a RAM (a non-graphical entity) is For example, text is made of words, spaces and punctuations. Words are made of characters (i.e. atomic symbols)."""@en . ns1:EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:altLabel "HolisticTemporalPart"@en ; skos:prefLabel "TemporalRole"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An holistic temporal part of a whole."@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 . @@ -13414,7 +13414,7 @@ A quantum stands for an incoming or outcoming real particle in a Feynman diagram ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A quantum is the EMMO mereological atomistic and causal reductionistic entity. To avoid confusion with the concept of atom coming from physics and to underline the causal reductionistic approach, we will use the expression quantum mereology, instead of atomistic mereology."@en . ns1:EMMO_472a0ca2_58bf_4618_b561_6fe68bd9fd49 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_bafc17b5_9be4_4823_8bbe_ab4e90b6738c ; skos:altLabel "Elaboration"@en, "Work"@en ; @@ -13443,7 +13443,7 @@ ns1:EMMO_515b5579_d526_4842_9e6f_ecc34db6f368 a owl:Class ; skos:prefLabel "FrequencyUnit"@en . ns1:EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b ; owl:someValuesFrom ns1:EMMO_4299e344_a321_4ef2_a744_bacfcce80afc ], @@ -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 ] ; @@ -13550,7 +13550,7 @@ ns1:EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 a owl:ObjectProperty, ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two individuals representing entities that share at least one of their parts."@en . ns1:EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ; skos:prefLabel "Language"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A language object is a discrete data entity respecting specific language syntactic rules (a well-formed formula)."@en . @@ -13589,7 +13589,7 @@ ns1:EMMO_f2fc1ce9_cc3b_4eb5_a112_3c85d1b1374a a owl:ObjectProperty ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that connects the interpreter to the semiotic object in a semiotic process."@en . ns1:EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:altLabel "HolisticSpatialPart"@en ; skos:prefLabel "NonTemporalRole"@en ; ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An holistic spatial part of a whole."@en . @@ -13667,7 +13667,7 @@ ns1:EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 a owl:Class ; 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 . ns1:EMMO_8b1367d6_0133_4b56_acc1_fa8b058169e3 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_801395f8_948e_4637_ac3b_5fcd587d72ca ; owl:disjointUnionOf ( ns1:EMMO_1f19b65b_35bf_4662_a318_7f1c147cb3b6 ns1:EMMO_29108c7c_9087_4992_ab1c_02561665df21 ) ; skos:prefLabel "BondedParticle"@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: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 ] ], + [ a owl:Restriction ; + owl:onProperty ns1:EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ; + owl:someValuesFrom ns1:EMMO_77e9dc31_5b19_463e_b000_44c6e79f98aa ], 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: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 ], - [ 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: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:disjointUnionOf ( ns1:EMMO_5e00b1db_48fc_445b_82e8_ab0e2255bf52 ns1:EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e ) ; skos:altLabel "CausalChain"@en, "Elementary"@en ; @@ -13794,7 +13794,7 @@ ns1:EMMO_23b579e1_8088_45b5_9975_064014026c42 a owl:DatatypeProperty, ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO symbol data entity." . ns1:EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:example """Refractive index Plane angle Number of apples"""@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 . @@ -13848,7 +13848,7 @@ ns1:EMMO_c2f5ee66_579c_44c6_a2e9_fa2eaa9fa4da a owl:Class ; rdfs:comment """Quantities that are ratios of quantities of the same kind (for example length ratios and amount fractions) have the option of being expressed with units (m/m, mol/mol to aid the understanding of the quantity being expressed and also allow the use of SI prefixes, if this is desirable (μm/m, nmol/mol). -- SI Brochure"""@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0 ; skos:altLabel "RatioUnit"@en ; skos:prefLabel "FractionUnit"@en ; @@ -13932,7 +13932,7 @@ ns1:EMMO_2ce04004_62cf_4394_b6a2_b45fce1aebfe a owl:Class ; skos:prefLabel "ISO80000Categorised"@en . ns1:EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_38b579de_4331_40e0_803d_09efa298e726 ; owl:disjointUnionOf ( ns1:EMMO_1c16bb7f_5400_4498_8ef2_54392908da4e ns1:EMMO_6e9cb807_fc68_4bcf_b3ba_5fccc887c644 ns1:EMMO_f13672a3_59cc_40ed_8def_65009a8f74e6 ) ; skos:altLabel "PhysicalSubstance"@en ; @@ -13964,7 +13964,7 @@ ns1:EMMO_668fbd5b_6f1b_405c_9c6b_d6067bd0595a a owl:Class ; The term phase is sometimes used as a synonym for state of matter, but there can be several immiscible phases of the same state of matter. Also, the term phase is sometimes used to refer to a set of equilibrium states demarcated in terms of state variables such as pressure and temperature by a phase boundary on a phase diagram. Because phase boundaries relate to changes in the organization of matter, such as a change from liquid to solid or a more subtle change from one crystal structure to another, this latter usage is similar to the use of "phase" as a synonym for state of matter. However, the state of matter and phase diagram usages are not commensurate with the formal definition given above and the intended meaning must be determined in part from the context in which the term is used."""@en . ns1:EMMO_89a0c87c_0804_4013_937a_6fe234d9499c a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; owl:someValuesFrom ns1:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ], @@ -13988,7 +13988,7 @@ For example, when a Boeing 747 is used as a sign for another Boeing 747."""@en, (b) the diagram, whose internal relations, mainly dyadic or so taken, represent by analogy the relations in something (e.g. math formula, geometric flowchart) (c) the metaphor, which represents the representative character of a sign by representing a parallelism in something else [Wikipedia]"""@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty [ owl:inverseOf ns1:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ] ; owl:someValuesFrom ns1:EMMO_7cdc375d_d371_4d78_acd5_d51732f52126 ] ; @@ -14030,8 +14030,8 @@ 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, - _:126 ; + rdfs:subClassOf _:104, + _:105 ; 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,14 +14154,14 @@ 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 ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A mathematical object in this branch is not representing a concept but an actual graphical object built using mathematcal symbols arranged in some way, according to math conventions."@en . ns1:EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 a owl:Class ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; rdfs:subClassOf ns1:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ; skos:altLabel "AlphabeticEntity"@en ; skos:example "The class of letter \"A\" is the symbol as idea and the letter A that you see on the screen is the mark that can be represented by an individual belonging to \"A\"."@en ; @@ -14225,7 +14225,7 @@ ns1:EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce a owl:Class ; rdfs:comment """Following the common definition of process, the reader may think that every whole should be a process, since every 4D object always has a time dimension. However, in the EMMO we restrict the meaning of the word process to items whose evolution in time have a particular meaning for the ontologist (i.e. every 4D object unfolds in time, but not every 4D time unfolding may be of interest for the ontologist and categorized as a process). For this reason, the definition of every specific process subclass requires the introduction of a primitive concept."""@en ; - rdfs:isDefinedBy ; + rdfs:isDefinedBy ; skos:altLabel "Occurrent"@en, "Perdurant"@en ; skos:prefLabel "Process"@en ; @@ -14381,12 +14381,6 @@ Examples of correspondance between dimensional units and their dimensional units - TimeUnit <=> "T+1 L0 M0 I0 Θ0 N0 J0" - ElectricCurrentDensityUnit <=> "T0 L-2 M0 I+1 Θ0 N0 J0\""""@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 . - [] a owl:Axiom ; rdfs:seeAlso "https://en.wiktionary.org/wiki/procedure"^^xsd:anyURI ; owl:annotatedProperty ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; @@ -14402,21 +14396,9 @@ organization: person or group of people that has its own functions with responsi [] 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 . - -[] a owl:Axiom ; - owl:annotatedProperty skos:altLabel ; - owl:annotatedSource ns1:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ; - owl:annotatedTarget "Lifetime"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English liftime, equivalent to life +‎ time."@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:annotatedSource ns1:EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 ; + owl:annotatedTarget "Whole"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English hole (“healthy, unhurt, whole”)."@en . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; @@ -14425,10 +14407,10 @@ organization: person or group of people that has its own functions with responsi 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 ; - owl:annotatedSource ns1:EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 ; - owl:annotatedTarget "Holistic"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "Holism (from Greek ὅλος holos \"all, whole, entire\")."@en . + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ; + owl:annotatedTarget "Lifetime"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English liftime, equivalent to life +‎ time."@en . [] a owl:Axiom ; owl:annotatedProperty skos:altLabel ; @@ -14444,9 +14426,22 @@ organization: person or group of people that has its own functions with responsi [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 ; - owl:annotatedTarget "Whole"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English hole (“healthy, unhurt, whole”)."@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: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 . + +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 ; + owl:annotatedTarget "Holistic"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "Holism (from Greek ὅλος holos \"all, whole, entire\")."@en . [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . @@ -14460,18 +14455,43 @@ organization: person or group of people that has its own functions with responsi [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . +[] a owl:Axiom ; + 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 ; + owl:annotatedProperty skos:prefLabel ; + 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 . + [] a owl:Axiom ; rdfs:isDefinedBy "https://datatracker.ietf.org/doc/rfc3987/"^^xsd:anyURI ; 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 . +[] a owl:Axiom ; + 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_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 ; 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: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 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 owl:Axiom ; rdfs:isDefinedBy "http://www.linfo.org/source_code.html"^^xsd:anyURI ; owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; @@ -14481,32 +14501,26 @@ organization: person or group of people that has its own functions with responsi [] a owl:Axiom ; rdfs:isDefinedBy "https://www.ietf.org/rfc/rfc3986.txt"^^xsd:anyURI ; owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; - owl:annotatedSource ns1:EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ; - owl:annotatedTarget "A Uniform Resource Identifier (URI) is a compact sequence of characters that identifies an abstract or physical resource."@en . + owl:annotatedSource ns1:EMMO_db99b1e5_2f34_467b_a784_d104946d9f00 ; + 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_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: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 ; - 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_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: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 ; rdfs:isDefinedBy "https://www.ietf.org/rfc/rfc3986.txt"^^xsd:anyURI ; owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; - owl:annotatedSource ns1:EMMO_db99b1e5_2f34_467b_a784_d104946d9f00 ; - 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 ; - 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 . + owl:annotatedSource ns1:EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ; + 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:isDefinedBy "https://www.ietf.org/rfc/rfc3986.txt"^^xsd:anyURI ; @@ -14514,19 +14528,6 @@ organization: person or group of people that has its own functions with responsi owl:annotatedSource ns1:EMMO_8a8f664b_dc59_4e00_ae00_81fdf1e1d12e ; 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 ; - 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 ; - 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 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 ; @@ -14538,23 +14539,52 @@ Here we explicitly include in the definition also all the data (e.g. source code [] 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_b29fd350_39aa_4af7_9459_3faa0544cba6 ; + 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 ; - 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:annotatedSource ns1:EMMO_b29fd350_39aa_4af7_9459_3faa0544cba6 ; 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_3733bd38_ca2b_4264_a92a_3075a1715598 ; + owl:annotatedTarget "hasSuccessor"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin succedĕre (\"coming after\")."@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 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 rdfs:subClassOf ; + owl:annotatedSource ns1:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + owl:annotatedTarget _:116 ; + 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: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 swrl:Imp ; - rdfs:comment "Implementation of equality based on mereology."^^rdfs:Literal ; swrl:body [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; @@ -14563,24 +14593,16 @@ Here we explicitly include in the definition also all the data (e.g. source code rdf:rest [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; - swrl:argument2 ; + swrl:argument2 ; swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; 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 ; - owl:annotatedProperty ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; - owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; - owl:annotatedTarget """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. -The quantum is the smallest indivisible part of any world entity. Quantum individuals are the fundamental causal constituents of the universe, since it is implied that causality originates from quantum-to-quantum interactions. Quantums are no-dimensional, and their aggregation makes spacetime emerge from their causal structure. Causality between macro entities (i.e. entities made of more than one quantum) is explained as the sum of the causality relations between their quantum constituents. Fundamental interactions (quantum fields) are represented as symmetric causality between macro entities, while classical interactions are mediated by chain of quantums (i.e. elementary particles). -The fundamental distinction between world entities is direct causality self-connectedness: a world entity can be self-connected xor not self-connected depending on the causality network of its fundamental components. -Void regions do not exist in the EMMO, or in other words there is no spacetime without entities, since space and time are measured quantities following a causality relation between entities (spacetime emerges as relational property not as a self-standing entity). -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 . + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; + rdf:rest () ] ; + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for parthood."@en . [] a owl:Axiom ; owl:annotatedProperty skos:altLabel ; @@ -14589,17 +14611,23 @@ Entities are not placed in space or time: space and time are always relative bet 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_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 . + 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 owl:Axiom ; - owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedProperty ns1:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 ; 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 . + 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 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 ; swrl:body [ a swrl:AtomList ; @@ -14621,12 +14649,6 @@ https://en.wiktionary.org/wiki/mereology"""@en . rdf:rest () ] ; 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 ; rdf:first [ a swrl:ClassAtom ; @@ -14637,51 +14659,54 @@ https://en.wiktionary.org/wiki/mereology"""@en . rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; + swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing the fact that an entity cannot cause itself."@en . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing parthood reflexivity."@en . [] a owl:Axiom ; owl:annotatedProperty rdfs:subClassOf ; - 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 . + owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedTarget _:105 ; + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@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 . + 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 swrl:Imp ; - rdfs:comment "Ensure that the hasNext relation expresses a strictly one-way causality arrow between two entities."^^rdfs:Literal ; + 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_499e24a5_5072_4c83_8625_fe3f96ae4a8d ] ; - 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 ] ; + rdf:first [ a swrl:SameIndividualAtom ; + swrl:argument1 ; + swrl:argument2 ] ; rdf:rest () ] . [] 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_d67ee67e_4fac_4676_82c9_aec361dba698 ] ; + 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_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead ] ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing exclusivity between overlapping and causality."@en . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing the fact that an entity cannot cause itself."@en . [] a owl:Axiom ; owl:annotatedProperty skos:altLabel ; @@ -14691,42 +14716,34 @@ https://en.wiktionary.org/wiki/mereology"""@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 . + 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 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 . + 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 ; - 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 . + 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 swrl:Imp ; 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_6835537c_d294_4005_a770_ec9621f29ed1 ] ; rdf:rest () ] ; swrl:head [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; + rdf:first [ a swrl:SameIndividualAtom ; swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ] ; - rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing parthood reflexivity."@en . + swrl:argument2 ] ; + rdf:rest () ] . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; @@ -14735,114 +14752,99 @@ A collection cannot be an item and viceversa, representing the fact that a world 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_3733bd38_ca2b_4264_a92a_3075a1715598 ; - owl:annotatedTarget "hasSuccessor"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin succedĕre (\"coming after\")."@en . + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedTarget _:104 ; + 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 swrl:Imp ; 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_3733bd38_ca2b_4264_a92a_3075a1715598 ] ; rdf:rest () ] ; swrl:head [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; + 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 . - -[] 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 . - -[] 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 . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing a strict one-way causality direction."@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 ; swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_6835537c_d294_4005_a770_ec9621f29ed1 ] ; + swrl:propertyPredicate ns1:EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d ] ; rdf:rest () ] ; swrl:head [ a swrl:AtomList ; - rdf:first [ a swrl:SameIndividualAtom ; - swrl:argument1 ; - swrl:argument2 ] ; + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; rdf:rest () ] . -[] 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 . - [] 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_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: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_d893d373_b579_4867_841e_1c2b31a8d2c6 ] ; rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for parthood."@en . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing reflexivity of overlapping."@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 . + 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 ; - 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 . + owl:annotatedProperty ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; + owl:annotatedSource ns1:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedTarget """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. +The quantum is the smallest indivisible part of any world entity. Quantum individuals are the fundamental causal constituents of the universe, since it is implied that causality originates from quantum-to-quantum interactions. Quantums are no-dimensional, and their aggregation makes spacetime emerge from their causal structure. Causality between macro entities (i.e. entities made of more than one quantum) is explained as the sum of the causality relations between their quantum constituents. Fundamental interactions (quantum fields) are represented as symmetric causality between macro entities, while classical interactions are mediated by chain of quantums (i.e. elementary particles). +The fundamental distinction between world entities is direct causality self-connectedness: a world entity can be self-connected xor not self-connected depending on the causality network of its fundamental components. +Void regions do not exist in the EMMO, or in other words there is no spacetime without entities, since space and time are measured quantities following a causality relation between entities (spacetime emerges as relational property not as a self-standing entity). +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: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_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 ] ; + 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_01e5766d_dac3_4574_8a78_310de92a5c9d ] ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead ] ; rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing a strict one-way causality direction."@en . + ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing exclusivity between overlapping and causality."@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:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; + owl:annotatedSource ns1:EMMO_668fbd5b_6f1b_405c_9c6b_d6067bd0595a ; + owl:annotatedTarget """In the physical sciences, a phase is a region of space (a thermodynamic system), throughout which all physical properties of a material are essentially uniform. Examples of physical properties include density, index of refraction, magnetization and chemical composition. A simple description is that a phase is a region of material that is chemically uniform, physically distinct, and (often) mechanically separable. In a system consisting of ice and water in a glass jar, the ice cubes are one phase, the water is a second phase, and the humid air is a third phase over the ice and water. The glass of the jar is another separate phase. + +The term phase is sometimes used as a synonym for state of matter, but there can be several immiscible phases of the same state of matter. Also, the term phase is sometimes used to refer to a set of equilibrium states demarcated in terms of state variables such as pressure and temperature by a phase boundary on a phase diagram. Because phase boundaries relate to changes in the organization of matter, such as a change from liquid to solid or a more subtle change from one crystal structure to another, this latter usage is similar to the use of "phase" as a synonym for state of matter. However, the state of matter and phase diagram usages are not commensurate with the formal definition given above and the intended meaning must be determined in part from the context in which the term is used."""@en ; + ns1:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Phase_(matter)"@en . [] a owl:Axiom ; rdfs:isDefinedBy "https://dictionary.iucr.org/Crystal"^^xsd:anyURI ; @@ -14855,31 +14857,19 @@ A solid is a crystal if it has essentially a sharp diffraction pattern. The word H=∑ni=1hia∗i (n≥3)""" . -[] 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 ; - owl:annotatedProperty ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; - owl:annotatedSource ns1:EMMO_668fbd5b_6f1b_405c_9c6b_d6067bd0595a ; - owl:annotatedTarget """In the physical sciences, a phase is a region of space (a thermodynamic system), throughout which all physical properties of a material are essentially uniform. Examples of physical properties include density, index of refraction, magnetization and chemical composition. A simple description is that a phase is a region of material that is chemically uniform, physically distinct, and (often) mechanically separable. In a system consisting of ice and water in a glass jar, the ice cubes are one phase, the water is a second phase, and the humid air is a third phase over the ice and water. The glass of the jar is another separate phase. - -The term phase is sometimes used as a synonym for state of matter, but there can be several immiscible phases of the same state of matter. Also, the term phase is sometimes used to refer to a set of equilibrium states demarcated in terms of state variables such as pressure and temperature by a phase boundary on a phase diagram. Because phase boundaries relate to changes in the organization of matter, such as a change from liquid to solid or a more subtle change from one crystal structure to another, this latter usage is similar to the use of "phase" as a synonym for state of matter. However, the state of matter and phase diagram usages are not commensurate with the formal definition given above and the intended meaning must be determined in part from the context in which the term is used."""@en ; - ns1:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Phase_(matter)"@en . - [] a owl:Axiom ; owl:annotatedProperty ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; owl:annotatedSource ns1:EMMO_220b7201_d277_4dca_bf6a_5a5e2c4062dd ; 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 . -[] owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger . - -[] owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger . +[] 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 . -[] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . +[] owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger . [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . @@ -14889,17 +14879,9 @@ The term phase is sometimes used as a synonym for state of matter, but there can [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . -[] a owl:Axiom ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedSource ns1:EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 ; - 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:prefLabel ; - owl:annotatedSource ns1:EMMO_b5a5494c_83bf_44aa_a9a6_49b948e68939 ; - owl:annotatedTarget "Boson"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "1940s: named after S.N. Bose."@en . +[] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . + +[] owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger . [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; @@ -14907,26 +14889,57 @@ The term phase is sometimes used as a synonym for state of matter, but there can 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:prefLabel ; + owl:annotatedSource ns1:EMMO_5b2222df_4da6_442f_8244_96e9e45887d1 ; + 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 . -[] owl:qualifiedCardinality "2"^^xsd:nonNegativeInteger . +[] a owl:Axiom ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedSource ns1:EMMO_b5a5494c_83bf_44aa_a9a6_49b948e68939 ; + owl:annotatedTarget "Boson"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "1940s: named after S.N. Bose."@en . -[] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . +[] owl:qualifiedCardinality "2"^^xsd:nonNegativeInteger . [] owl:qualifiedCardinality "2"^^xsd:nonNegativeInteger . [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . +[] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . + [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e ; 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_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 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 ; + rdfs:isDefinedBy "https://www.iso.org/standard/45324.html"^^xsd:anyURI ; + owl:annotatedProperty rdfs:comment ; + 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 ; owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_649bf97b_4397_4005_90d9_219755d92e34 ; @@ -14939,12 +14952,6 @@ The term phase is sometimes used as a synonym for state of matter, but there can owl:annotatedTarget "measurand"@en ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "VIM defines measurand as a quantity intended to be measured. This is redundant in EMMO and correspond to Quantity."@en . -[] a owl:Axiom ; - rdfs:isDefinedBy "https://www.iso.org/standard/45324.html"^^xsd:anyURI ; - owl:annotatedProperty rdfs:comment ; - 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 ; @@ -14953,9 +14960,9 @@ The term phase is sometimes used as a synonym for state of matter, but there can [] 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 . + 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 . [] a owl:Axiom ; owl:annotatedProperty ns1:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; @@ -14963,31 +14970,24 @@ The term phase is sometimes used as a synonym for state of matter, but there can 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 . -[] 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_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 . [] owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger . [] 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 . [] owl:qualifiedCardinality "3"^^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”)." . + [] a owl:Axiom ; owl:annotatedProperty skos:prefLabel ; owl:annotatedSource ns1:EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 ; @@ -14996,16 +14996,9 @@ The term phase is sometimes used as a synonym for state of matter, but there can [] 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”)." . - -[] 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: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 ns1:EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; @@ -15015,21 +15008,22 @@ 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_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:altLabel ; - owl:annotatedSource ns1:EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 ; - owl:annotatedTarget "Model"@en ; - ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin modus (“measure”)."@en . + 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: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 . + 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 skos:prefLabel ; @@ -15037,32 +15031,56 @@ We call "interpreting" the act of providing semantic meaning to data, which is c 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 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_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 ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedSource ns1:EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 ; + owl:annotatedTarget "Model"@en ; + ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin modus (“measure”)."@en . + [] a swrl:Imp ; swrl:body [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; + swrl:argument1 ; + swrl:argument2 ; swrl:propertyPredicate ns1:EMMO_60577dea_9019_4537_ac41_80b0fb563d41 ] ; rdf:rest [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_4832e353_6a2d_4deb_9a5b_96989afaff2d ] ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_f2fc1ce9_cc3b_4eb5_a112_3c85d1b1374a ] ; rdf:rest () ] ] ; swrl:head [ a swrl:AtomList ; rdf:first [ a swrl:IndividualPropertyAtom ; swrl:argument1 ; swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_f2fc1ce9_cc3b_4eb5_a112_3c85d1b1374a ] ; + swrl:propertyPredicate ns1:EMMO_4832e353_6a2d_4deb_9a5b_96989afaff2d ] ; rdf:rest () ] ; ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The rule for the subproperty chain: - inverse (hasInterpreter) o inverse (hasSign) =>hasReferent"""@en . +inverse (hasSign) o inverse (hasReferent) => hasInterpreter"""@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 . + 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 swrl:Imp ; swrl:body [ a swrl:AtomList ; @@ -15087,9 +15105,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_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_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 . + +[] 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:altLabel ; @@ -15097,17 +15121,26 @@ We call "interpreting" the act of providing semantic meaning to data, which is c 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_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_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 swrl:Imp ; + swrl:body [ a swrl:AtomList ; + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_60577dea_9019_4537_ac41_80b0fb563d41 ] ; + rdf:rest [ a swrl:AtomList ; + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_4832e353_6a2d_4deb_9a5b_96989afaff2d ] ; + rdf:rest () ] ] ; + swrl:head [ a swrl:AtomList ; + rdf:first [ a swrl:IndividualPropertyAtom ; + swrl:argument1 ; + swrl:argument2 ; + swrl:propertyPredicate ns1:EMMO_f2fc1ce9_cc3b_4eb5_a112_3c85d1b1374a ] ; + rdf:rest () ] ; + 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 ; @@ -15116,10 +15149,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: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 . + 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 ; rdfs:seeAlso "https://en.wikipedia.org/wiki/Semiotic_theory_of_Charles_Sanders_Peirce#II._Icon,_index,_symbol"^^xsd:anyURI ; @@ -15133,42 +15166,9 @@ 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_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 ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_60577dea_9019_4537_ac41_80b0fb563d41 ] ; - rdf:rest [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_f2fc1ce9_cc3b_4eb5_a112_3c85d1b1374a ] ; - rdf:rest () ] ] ; - swrl:head [ a swrl:AtomList ; - rdf:first [ a swrl:IndividualPropertyAtom ; - swrl:argument1 ; - swrl:argument2 ; - swrl:propertyPredicate ns1:EMMO_4832e353_6a2d_4deb_9a5b_96989afaff2d ] ; - rdf:rest () ] ; - ns1:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The rule for the subproperty chain: -inverse (hasSign) o inverse (hasReferent) => hasInterpreter"""@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:prefLabel ; @@ -15176,17 +15176,17 @@ inverse (hasSign) o inverse (hasReferent) => hasInterpreter"""@en . owl:annotatedTarget "IntentionalProcess"@en ; ns1:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin intentionem, derived from intendere (\"stretching out\")"@en . -_:118 owl:inverseOf ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . +_:160 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 ; +_:104 a owl:Restriction ; owl:onProperty ns1:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; owl:someValuesFrom ns1:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 . -_:137 a owl:Restriction ; +_:105 a owl:Restriction ; + owl:hasValue ns1:EMMO_08cb807c_e626_447b_863f_e2835540e918 ; + owl:onProperty _:160 . + +_:116 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 .