From d0ed58ac426308758da818e7d38193839082ce1b Mon Sep 17 00:00:00 2001 From: Emanuele Ghedini Date: Fri, 17 May 2024 18:26:01 +0200 Subject: [PATCH] Updated Persistence annotations --- perspectives/persistence.ttl | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) diff --git a/perspectives/persistence.ttl b/perspectives/persistence.ttl index a06eddb4..b71dda59 100644 --- a/perspectives/persistence.ttl +++ b/perspectives/persistence.ttl @@ -39,24 +39,26 @@ email: emanuele.ghedini@unibo.it"""@en , :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce rdf:type owl:Class ; skos:altLabel "Occurrent"@en , "Perdurant"@en ; + skos:example """Practically speaking, the Process class can be populated by primitive subclasses (e.g. Cooking) for each of which holds the axiom that not all the item temporal parts are of the same type of the whole (e.g. breaking an egg, which is not necessarily a cooking process) and there are at least two temporal item parts of different types (e.g. breaking and egg and turning on the stove). +The intended usage is not for an individual to belong directly to Process, but to belong to a specific subclass of Process that identifies entities with a specific non-type-persistent structure."""@en ; skos:prefLabel "Process"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole that is identified according to a criteria based on its temporal evolution that is satisfied throughout its time extension."@en ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A process can be defined only according to an entity type. The minimum process is an entity made of two entities of the same type that are temporally related."@en , - """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 . + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A process can be defined only according to an entity type. The minimum process is an entity made of two entities of different types that are temporally related."@en , + """Following the common definition of process, the reader may think that every entity in the EMMO should be a process, since every 4D entity0 always has a time dimension. However, in the EMMO we restrict the concept of process to items whose temporal parts show a change in type (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). +The definition of every specific process subclass requires a reference type, that is expressed by some but not all temporal parts."""@en . ### https://w3id.org/emmo#EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 rdf:type owl:Class ; skos:altLabel "Continuant"@en , "Endurant"@en ; + skos:example """Practically speaking, the Object class can be populated by primitive subclasses (e.g. Car) for each of which holds the axiom that all the item parts are of the same type of the whole (e.g. Car SubClassOf hasTemporalItemPart only Car). +The intended usage is not for an individual to belong directly to Object, but to belong to a specific subclass of Object that identifies entities with a type-persistent structure."""@en ; skos:prefLabel "Object"@en ; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """An object is defined as a whole for which exists a type ϕ such that all its possible temporal parts are also of type ϕ. -However that's not possible in general, since we will finally end to temporal parts whose temporal extension is so small that the connectivity relations that define the object will no longer hold. That's the case when the temporal interval is lower than the interval that characterize the causality interactions between the object parts. -In other terms, if the time span of a temporal part is lower than the inverse of the frequency of interactions between the constituents, then the constituents in such temporal part are not connected. The object is no more an object, neither an item, but simply a collection of fundamental parts. -To overcome this issue, we can identify an minimum holistic temporal part (a lower time interval value), below which a specific definition for an object type does not hold anymore, that is called a fundamental."""@en ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole that is identified according to a criteria based on its spatial configuration that is satisfied throughout its time extension."@en . + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An item can be classified as an object according to a type ϕ (a ϕ-object) if all its temporal item parts are also of type ϕ. This conceptualisation tries to catch the persistency of type in the temporal parts of an entity."@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of causal structure entities for which exists a type ϕ to which all its temporal item parts belongs."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """Indefinitely temporally slicing of an entity leads to temporal parts whose temporal extension is so small that the connectivity relations that define the entity as an item will no longer hold. More generally. a temporal part is no more of type ϕ when the temporal interval is lower than the interval that characterizes the causality interactions between the object parts. +In other terms, if the time span of a temporal part is lower than the inverse of the frequency of interactions between the constituents, then the constituents in such temporal part are not connected. The object is no more an object, neither an item, but simply a collection of fundamental quantum parts."""@en . ### https://w3id.org/emmo#EMMO_e04884d9_eda6_487e_93d5_7722d7eda96b @@ -69,10 +71,9 @@ To overcome this issue, we can identify an minimum holistic temporal part (a low rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; skos:prefLabel "Persistence"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The union of the object or process classes."@en ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The perspective is about 4D entities and the persistence of temporal parts of specifc type, introducing the distiction between objects (when the type is conserved) or processes (where the type is not conserved). -This perspective provides classes conceptually similar to the concepts of endurant and perdurant (a.k.a. continuant and occurrent). We claim that this distinction is motivated by our cognitive bias, and we do not commit to the fact that both these kinds of entity “do really exist”. For this reason, a whole instance can be both process and object, according to different cognitive approaches (see Wonderweb D17). The distinction between endurant and perdurant as usually introduced in literature (see BFO SPAN/SNAP approach) is then no more ontological, but can still be expressed through the introduction of ad hoc primitive definitions that follow the interpreter endurantist or perdurantist attitude. -For this reason an entity in the EMMO can be classified both object or a process with respect to different types, due to its nature of 4D entity (e.g. an individual may belong both to the class of runners and the class of running process), and the distinction is purely representational. -Nevertheless, it is useful to introduce categorizations that characterize persistency through continuant and occurrent concepts, even if not ontologically but only cognitively defined. This is also due to the fact that our language distinguish between nouns and verbs to address things, forcing the separation between things that happens and things that persist."""@en . + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The persistence perspective classifies entities according to the persistence of temporal parts of specifc type, introducing the distiction between objects (when a type is conserved through all its time parts) or processes (where a type is not conserved through all its time parts). +This perspective provides classes aimed to represent concepts similar to the ones of endurant and perdurant (a.k.a. continuant and occurrent). However, in the EMMO case, an entity is defined as an object or a process according to a specific type, and not per-se. For this reason an entity in the EMMO can be classified both object or a process depending on the reference type, due to the underlying 4D framework (e.g. an individual may belong both to the class of runners and the class of running process), and the distinction is purely representational. +This categorisation has been introduced due to the large use of object/process commonsensical concepts, and the fact that our language distinguish between nouns and verbs to address things, forcing the separation between things that happens and things that persist."""@en . ### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi