From f5b12116057c6d46aab32d87cfa03f323e1e7c21 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sat, 30 Sep 2023 16:38:51 +0200 Subject: [PATCH 1/3] Reformatted symbolic to preferred turtle output from Protege. --- multiperspective/symbolic.ttl | 323 +++++++++++++++++----------------- 1 file changed, 157 insertions(+), 166 deletions(-) diff --git a/multiperspective/symbolic.ttl b/multiperspective/symbolic.ttl index b0baad43..c6739eae 100644 --- a/multiperspective/symbolic.ttl +++ b/multiperspective/symbolic.ttl @@ -1,4 +1,3 @@ -@base . @prefix : . @prefix owl: . @prefix rdf: . @@ -7,184 +6,176 @@ @prefix rdfs: . @prefix skos: . @prefix dcterms: . -# -# -# ################################################################# -# # -# # Data properties -# # -# ################################################################# -# -# -# http://emmo.info/emmo#EMMO_02face50_43a1_40ce_a909_dfe54d5e186b -# -# http://emmo.info/emmo#EMMO_23b579e1_8088_45b5_9975_064014026c42 -# -# -# -# ################################################################# -# # -# # Classes -# # -# ################################################################# -# -# -# http://emmo.info/emmo#EMMO_057e7d57_aff0_49de_911a_8861d85cef40 -# -# http://emmo.info/emmo#EMMO_432192c4_111f_4e80_b7cd_c6ce1c1129ea -# -# http://emmo.info/emmo#EMMO_50ea1ec5_f157_41b0_b46b_a9032f17ca10 -# -# http://emmo.info/emmo#EMMO_74b05aed_66bf_43c8_aa2c_752a9ca8be03 -# -# http://emmo.info/emmo#EMMO_89a0c87c_0804_4013_937a_6fe234d9499c -# -# http://emmo.info/emmo#EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 -# -# http://emmo.info/emmo#EMMO_a817035a_3e3c_4709_8ede_3205df3031a3 -# -# http://emmo.info/emmo#EMMO_bed2fe4c_dc7e_43a8_8200_6aac44030bff -# -# http://emmo.info/emmo#EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 -# -# http://emmo.info/emmo#EMMO_e13b2173_1dec_4b97_9ac1_1dc4b418612a -# -# Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi - - a owl:Ontology; - owl:versionIRI ; - owl:imports , ; - dcterms:abstract """Defines the perceptual perspective, which which categorises real world objects according to how they are percieved by an user as a recognisable pattern in space or time. - -The perceptual module includes formal languages, pictures, geometry, mathematics and sounds. Phenomenic objects can be used in a semiotic process as signs."""@en; - dcterms:contributor "Adham Hashibon, Fraunhofer IWM, DE", "Georg Schmitz, Access, DE", - "Gerhard Goldbeck, Goldbeck Consulting Ltd (UK)", "Jesper Friis, SINTEF, NO"; - dcterms:creator "Emanuele Ghedini, University of Bologna, IT"; - dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode"; - dcterms:publisher "EMMC ASBL"; - dcterms:title "Symbolic"@en; - rdfs:comment """Contacts: +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports , + ; + dcterms:abstract """Defines the perceptual perspective, which which categorises real world objects according to how they are percieved by an user as a recognisable pattern in space or time. + +The perceptual module includes formal languages, pictures, geometry, mathematics and sounds. Phenomenic objects can be used in a semiotic process as signs."""@en ; + dcterms:contributor "Adham Hashibon, Fraunhofer IWM, DE" , + "Georg Schmitz, Access, DE" , + "Gerhard Goldbeck, Goldbeck Consulting Ltd (UK)" , + "Jesper Friis, SINTEF, NO" ; + dcterms:creator "Emanuele Ghedini, University of Bologna, IT" ; + dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; + dcterms:publisher "EMMC ASBL" ; + dcterms:title "Symbolic"@en ; + rdfs:comment """Contacts: Gerhard Goldbeck Goldbeck Consulting Ltd (UK) email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) -email: emanuele.ghedini@unibo.it"""@en, - "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en; - owl:versionInfo "1.0.0-beta5" . - -:EMMO_02face50_43a1_40ce_a909_dfe54d5e186b a owl:DatatypeProperty, owl:FunctionalProperty; - rdfs:subPropertyOf :b6292331_94af_4f00_976b_ea55960c2f1c; - rdfs:domain :EMMO_50ea1ec5_f157_41b0_b46b_a9032f17ca10; - rdfs:range xsd:string; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO string data entity."; - skos:prefLabel "hasStringValue"@en . - -:EMMO_23b579e1_8088_45b5_9975_064014026c42 a owl:DatatypeProperty, owl:FunctionalProperty; - rdfs:subPropertyOf :b6292331_94af_4f00_976b_ea55960c2f1c; - rdfs:domain :EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527; - rdfs:range xsd:string; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO symbol data entity."; - skos:prefLabel "hasSymbolValue"@en . - -:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 a owl:Class; - owl:equivalentClass _:genid1; - rdfs:subClassOf :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A discrete data whose elements can be decoded as tokens from one or more alphabets, without necessarily respecting syntactic rules."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """fe780 +email: emanuele.ghedini@unibo.it"""@en , + "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + owl:versionInfo "1.0.0-beta5" . + +################################################################# +# Data properties +################################################################# + +### http://emmo.info/emmo#EMMO_02face50_43a1_40ce_a909_dfe54d5e186b +:EMMO_02face50_43a1_40ce_a909_dfe54d5e186b rdf:type owl:DatatypeProperty ; + rdfs:subPropertyOf :b6292331_94af_4f00_976b_ea55960c2f1c ; + rdf:type owl:FunctionalProperty ; + rdfs:domain :EMMO_50ea1ec5_f157_41b0_b46b_a9032f17ca10 ; + rdfs:range xsd:string ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO string data entity." ; + skos:prefLabel "hasStringValue"@en . + + +### http://emmo.info/emmo#EMMO_23b579e1_8088_45b5_9975_064014026c42 +:EMMO_23b579e1_8088_45b5_9975_064014026c42 rdf:type owl:DatatypeProperty ; + rdfs:subPropertyOf :b6292331_94af_4f00_976b_ea55960c2f1c ; + rdf:type owl:FunctionalProperty ; + rdfs:domain :EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 ; + rdfs:range xsd:string ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO symbol data entity." ; + skos:prefLabel "hasSymbolValue"@en . + + +################################################################# +# Classes +################################################################# + +### http://emmo.info/emmo#EMMO_057e7d57_aff0_49de_911a_8861d85cef40 +:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( :EMMO_89a0c87c_0804_4013_937a_6fe234d9499c + :EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 + ) + ] ; + rdfs:subClassOf :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A discrete data whose elements can be decoded as tokens from one or more alphabets, without necessarily respecting syntactic rules."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """fe780 emmo !5*a cat -for(i=0;i Date: Sun, 1 Oct 2023 16:20:19 +0200 Subject: [PATCH 2/3] Update abstract and other metadata of the symbolic module. No logical changes are done. --- multiperspective/symbolic.ttl | 27 +++++++++++---------------- 1 file changed, 11 insertions(+), 16 deletions(-) diff --git a/multiperspective/symbolic.ttl b/multiperspective/symbolic.ttl index c6739eae..c59548ab 100644 --- a/multiperspective/symbolic.ttl +++ b/multiperspective/symbolic.ttl @@ -12,25 +12,20 @@ owl:versionIRI ; owl:imports , ; - dcterms:abstract """Defines the perceptual perspective, which which categorises real world objects according to how they are percieved by an user as a recognisable pattern in space or time. + dcterms:abstract """The symbolic multi-perspective combines the data and reductionistic perspectives to describe symbolic entities. -The perceptual module includes formal languages, pictures, geometry, mathematics and sounds. Phenomenic objects can be used in a semiotic process as signs."""@en ; +A symbolic entity is a descrite data that pocess a reductionistic structure, who's elements can be decoded to tokens from one or more alphabets. + +The symbolic module includes symbols, symbolic constructs and formal languages."""@en ; dcterms:contributor "Adham Hashibon, Fraunhofer IWM, DE" , "Georg Schmitz, Access, DE" , - "Gerhard Goldbeck, Goldbeck Consulting Ltd (UK)" , - "Jesper Friis, SINTEF, NO" ; - dcterms:creator "Emanuele Ghedini, University of Bologna, IT" ; + "Gerhard Goldbeck, Goldbeck Consulting Ltd (UK)" ; + dcterms:creator "Emanuele Ghedini, University of Bologna, IT" , + "Jesper Friis, SINTEF, NO" ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; dcterms:publisher "EMMC ASBL" ; dcterms:title "Symbolic"@en ; - rdfs:comment """Contacts: -Gerhard Goldbeck -Goldbeck Consulting Ltd (UK) -email: gerhard@goldbeck-consulting.com - -Emanuele Ghedini -University of Bologna (IT) -email: emanuele.ghedini@unibo.it"""@en , + rdfs:comment "Contacts: emmo@emmc.eu" , "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta5" . @@ -100,7 +95,7 @@ For example, text is made of words, spaces and punctuations. Words are made of c :EMMO_50ea1ec5_f157_41b0_b46b_a9032f17ca10 rdf:type owl:Class ; rdfs:subClassOf :EMMO_89a0c87c_0804_4013_937a_6fe234d9499c ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A physical made of more than one symbol sequentially arranged."@en ; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """The word \"cat\" considered as a collection of 'symbol'-s respecting the rules of english language. + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """The word \"cat\" considered as a collection of 'symbol'-s respecting the rules of english language. In this example the 'symbolic' entity \"cat\" is not related to the real cat, but it is only a word (like it would be to an italian person that ignores the meaning of this english word). @@ -137,9 +132,9 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc e.g. a math symbol is not made of other math symbols A Symbol may be a String in another language. e.g. \"Bq\" is the symbol for Becquerel units when dealing with metrology, or a string of \"B\" and \"q\" symbols when dealing with characters."""@en , - """Symbols of a formal language need not be symbols of anything. For instance there are logical constants which do not refer to any idea, but rather serve as a form of punctuation in the language (e.g. parentheses). + """Symbols of a formal language need not be symbols of anything. For instance there are logical constants which do not refer to any idea, but rather serve as a form of punctuation in the language (e.g. parentheses). -Symbols of a formal language must be capable of being specified without any reference to any interpretation of them. +Symbols of a formal language must be capable of being specified without any reference to any interpretation of them. (Wikipedia)"""@en , "The class is the idea of the symbol, while the individual of that class stands for a specific mark (or token) of that idea."@en ; skos:altLabel "AlphabeticEntity"@en ; From 05b751fe90c1a4642bbb0324e99a93c659ae4e7c Mon Sep 17 00:00:00 2001 From: NanoDome Date: Wed, 4 Oct 2023 10:28:28 +0200 Subject: [PATCH 3/3] 20231004 --- disciplines/chemistry.ttl | 1 + perspectives/holistic.ttl | 576 ++++++++++++++++++-------------------- 2 files changed, 273 insertions(+), 304 deletions(-) diff --git a/disciplines/chemistry.ttl b/disciplines/chemistry.ttl index 29a9b87c..0d2b3fa4 100644 --- a/disciplines/chemistry.ttl +++ b/disciplines/chemistry.ttl @@ -342,6 +342,7 @@ Sodium Chloride""" ; ### http://emmo.info/emmo#EMMO_df96cbb6_b5ee_4222_8eab_b3675df24bea :EMMO_df96cbb6_b5ee_4222_8eab_b3675df24bea rdf:type owl:Class ; + rdfs:subClassOf :bc37743c_37c4_4ec7_9d58_d1aae5567352 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Matter of constant composition best characterized by the entities (molecules, formula units, atoms) it is composed of." ; :EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.C01039" ; rdfs:comment "A substance is always composed of more than one molecular entity. It lays in the continuum or mesoscopic domain." ; diff --git a/perspectives/holistic.ttl b/perspectives/holistic.ttl index 92ecdc6a..996ce885 100644 --- a/perspectives/holistic.ttl +++ b/perspectives/holistic.ttl @@ -1,4 +1,3 @@ -@base . @prefix : . @prefix owl: . @prefix rdf: . @@ -7,329 +6,298 @@ @prefix rdfs: . @prefix skos: . @prefix dcterms: . -# -# -# ################################################################# -# # -# # Object Properties -# # -# ################################################################# -# -# -# http://emmo.info/emmo#EMMO_53e5b1e1_6026_4ddc_8a4a_3aaaa5fdbdb7 -# -# http://emmo.info/emmo#EMMO_5ceab41b_2aea_4041_9e9c_a243f7562cee -# -# http://emmo.info/emmo#EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6 -# -# http://emmo.info/emmo#EMMO_6786b336_e982_4759_8dee_1905a4106591 -# -# http://emmo.info/emmo#EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b -# -# http://emmo.info/emmo#EMMO_9ee42d6b_7242_4a8d_967e_79f8f1c7fe29 -# -# -# -# ################################################################# -# # -# # Classes -# # -# ################################################################# -# -# -# http://emmo.info/emmo#EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 -# -# http://emmo.info/emmo#EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82 -# -# http://emmo.info/emmo#EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 -# -# http://emmo.info/emmo#EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215 -# -# http://emmo.info/emmo#EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b -# -# http://emmo.info/emmo#EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 -# -# http://emmo.info/emmo#EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 -# -# http://emmo.info/emmo#EMMO_808566db_b810_448d_8a54_48e7f6d30f36 -# -# http://emmo.info/emmo#EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 -# -# http://emmo.info/emmo#EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 -# -# http://emmo.info/emmo#EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e -# -# http://emmo.info/emmo#EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b -# -# Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi - - a owl:Ontology; - owl:versionIRI ; - owl:imports ; - dcterms:abstract """Defines the holistic perspective which include process and the role of its participants. - -Processes are 4D object's that unfolds in time in a way that has a meaning to the ontologist with participants who's role is assigned by the ontologist."""@en; - dcterms:contributor "Adham Hashibon, Fraunhofer IWM, DE", "Georg Schmitz, Access, DE", - "Gerhard Goldbeck, Goldbeck Consulting Ltd (UK)", "Jesper Friis, SINTEF, NO"; - dcterms:creator "Emanuele Ghedini, University of Bologna, IT"; - dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode"; - dcterms:publisher "EMMC ASBL"; - dcterms:title "Holistic"@en; - rdfs:comment """Contacts: +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dcterms:abstract """Defines the holistic perspective which include process and the role of its participants. + +Processes are 4D object's that unfolds in time in a way that has a meaning to the ontologist with participants who's role is assigned by the ontologist."""@en ; + dcterms:contributor "Adham Hashibon, Fraunhofer IWM, DE" , + "Georg Schmitz, Access, DE" , + "Gerhard Goldbeck, Goldbeck Consulting Ltd (UK)" , + "Jesper Friis, SINTEF, NO" ; + dcterms:creator "Emanuele Ghedini, University of Bologna, IT" ; + dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; + dcterms:publisher "EMMC ASBL" ; + dcterms:title "Holistic"@en ; + rdfs:comment """Contacts: Gerhard Goldbeck Goldbeck Consulting Ltd (UK) email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) -email: emanuele.ghedini@unibo.it"""@en, - "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en; - owl:versionInfo "1.0.0-beta5" . - -:EMMO_53e5b1e1_6026_4ddc_8a4a_3aaaa5fdbdb7 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6, :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023; - rdfs:domain :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0; - rdfs:range :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation between two holistic wholes that properly overlap, sharing one of their holistic parts."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """A man and the process of building a house. +email: emanuele.ghedini@unibo.it"""@en , + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + owl:versionInfo "1.0.0-beta5" . + +################################################################# +# Object Properties +################################################################# + +### http://emmo.info/emmo#EMMO_53e5b1e1_6026_4ddc_8a4a_3aaaa5fdbdb7 +:EMMO_53e5b1e1_6026_4ddc_8a4a_3aaaa5fdbdb7 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6 , + :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ; + rdfs:domain :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 ; + rdfs:range :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation between two holistic wholes that properly overlap, sharing one of their holistic parts."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """A man and the process of building a house. The man is a whole that possesses an holistic temporal part which is an interval of six monts and represents a working period in his lifetime. The process of building a house is a whole that possesses an holistic spatial part which is a builder. The working period of the man and the builder participating the building process are the same individual, belonging both to a man lifetime and to a building holistic views. -In this sense, the man and the building process overcrosses. and the overlapping individual is represented differently in both holistic views."""@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This relation is about two wholes that overlap, and whose intersection is an holistic part of both."@en; - skos:prefLabel "hasHolisticOverlap"@en . - -:EMMO_5ceab41b_2aea_4041_9e9c_a243f7562cee a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b, :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611; - rdfs:range :EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b; - skos:prefLabel "hasHolisticNonTemporalPart"@en . - -:EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; - rdfs:domain :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0; - rdfs:range :EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a holistic whole and its related entities, being them parts or other overlapping entities."@en; - skos:prefLabel "hasHolisticRelation"@en . - -:EMMO_6786b336_e982_4759_8dee_1905a4106591 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6, :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846; - rdfs:domain :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0; - rdfs:range :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superproperty of the relations between a whole and its mereological parts that are still holistic wholes of the same type."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A volume of water has redundand parts other volumes of water. All this volumes have holistic parts some water molecules."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The purpose of this relation is to provide a parhood relation that does not go deep enough, in terms of decomposition, to break the holistic definition of the whole. - -On the contrary, the holistic parthood, is expected to go that deep."""@en; - skos:prefLabel "hasRedundantPart"@en . - -:EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6, :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - rdfs:range :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between the whole and a proper part of the whole that scale down to the point which it lose the characteristics of the whole and become something else."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "An holistic part of water fluid is a water molecule."@en; - skos:prefLabel "hasHolisticPart"@en . - -:EMMO_9ee42d6b_7242_4a8d_967e_79f8f1c7fe29 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6, :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b; - rdfs:range :EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82; - skos:prefLabel "hasHolisticTemporalPart"@en . - -:EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 a owl:Class; - owl:equivalentClass _:genid1; - rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """An holistic perspective considers each part of the whole as equally important, without the need to position the parts within a hierarchy (in time or space). The interest is on the whole object and on its parts (how they contribute to the whole, i.e. their roles), without going further into specifying the spatial hierarchy or the temporal position of each part. +In this sense, the man and the building process overcrosses. and the overlapping individual is represented differently in both holistic views."""@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This relation is about two wholes that overlap, and whose intersection is an holistic part of both."@en ; + skos:prefLabel "hasHolisticOverlap"@en . + + +### http://emmo.info/emmo#EMMO_5ceab41b_2aea_4041_9e9c_a243f7562cee +:EMMO_5ceab41b_2aea_4041_9e9c_a243f7562cee rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b , + :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 ; + rdfs:range :EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b ; + skos:prefLabel "hasHolisticNonTemporalPart"@en . + + +### http://emmo.info/emmo#EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6 +:EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ; + rdfs:domain :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 ; + rdfs:range :EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a holistic whole and its related entities, being them parts or other overlapping entities."@en ; + skos:prefLabel "hasHolisticRelation"@en . + + +### http://emmo.info/emmo#EMMO_6786b336_e982_4759_8dee_1905a4106591 +:EMMO_6786b336_e982_4759_8dee_1905a4106591 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6 , + :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ; + rdfs:domain :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 ; + rdfs:range :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superproperty of the relations between a whole and its mereological parts that are still holistic wholes of the same type."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A volume of water has redundand parts other volumes of water. All this volumes have holistic parts some water molecules."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The purpose of this relation is to provide a parhood relation that does not go deep enough, in terms of decomposition, to break the holistic definition of the whole. + +On the contrary, the holistic parthood, is expected to go that deep."""@en ; + skos:prefLabel "hasRedundantPart"@en . + + +### http://emmo.info/emmo#EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b +:EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_646cdc47_f955_4da3_9398_9aac0edf48a6 , + :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + rdfs:range :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between the whole and a proper part of the whole that scale down to the point which it lose the characteristics of the whole and become something else."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "An holistic part of water fluid is a water molecule."@en ; + skos:prefLabel "hasHolisticPart"@en . + + +### http://emmo.info/emmo#EMMO_9ee42d6b_7242_4a8d_967e_79f8f1c7fe29 +:EMMO_9ee42d6b_7242_4a8d_967e_79f8f1c7fe29 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 , + :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b ; + rdfs:range :EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82 ; + skos:prefLabel "hasHolisticTemporalPart"@en . + + +################################################################# +# Classes +################################################################# + +### http://emmo.info/emmo#EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 +:EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 + :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 + ) + ] ; + rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """An holistic perspective considers each part of the whole as equally important, without the need to position the parts within a hierarchy (in time or space). The interest is on the whole object and on its parts (how they contribute to the whole, i.e. their roles), without going further into specifying the spatial hierarchy or the temporal position of each part. This class allows the picking of parts without necessarily going trough a rigid hierarchy of spatial compositions (e.g. body -> organ -> cell -> molecule) or temporal composition. This is inline with the transitive nature of parthood, as it is usually defined in literature. -The holistic perspective is not excluding the reductionistic perspective, on the contrary it can be considered its complement."""@en; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The union of classes whole and part."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A perspective characterized by the belief that some mereological parts of a whole (holistic parts) are intimately interconnected and explicable only by reference to the whole and vice versa."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A molecule of a body can have role in the body evolution, without caring if its part of a specific organ and without specifying the time interval in which this role occurred."@en, - "A product is a role that can be fulfilled by many objects, but always requires a process to which the product participates and from which it is generated."@en; - skos:altLabel "Wholistic"@en; - skos:prefLabel "Holistic"@en . - -_:genid1 a owl:Class; - owl:unionOf _:genid3 . - -_:genid3 a rdf:List; - rdf:first :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0; - rdf:rest _:genid2 . - -_:genid2 a rdf:List; - rdf:first :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3; - rdf:rest rdf:nil . - -_:genid4 a owl:Axiom; - owl:annotatedSource :EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62; - owl:annotatedProperty skos:altLabel; - owl:annotatedTarget "Wholistic"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From the word 'holistic' with the 'w-' prefix, due to the affinity with the existing word 'whole', that share the same meaning of 'holos'."@en . - -_:genid5 a owl:Axiom; - owl:annotatedSource :EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "Holistic"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "Holism (from Greek ὅλος holos \"all, whole, entire\")."@en . - -:EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82 a owl:Class; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An holistic temporal part of a whole."@en; - skos:altLabel "HolisticTemporalPart"@en; - skos:prefLabel "TemporalRole"@en . - -:EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 a owl:Class; - owl:equivalentClass _:genid6; - rdfs:subClassOf _:genid9; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of entities which are defined by requiring the existence of some parts (at least one) of specifically given types, where the specified types are different with respect to the type of the whole."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A whole is always defined using a criterion expressed through the classical transitive parthood relation. -This class is expected to host the definition of world objects as they appear in its wholeness, dependently on some of their parts and independently on the surroundings."""@en; - skos:prefLabel "Whole"@en . - -_:genid6 a owl:Class; - owl:unionOf _:genid8 . - -_:genid8 a rdf:List; - rdf:first :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2; - rdf:rest _:genid7 . - -_:genid7 a rdf:List; - rdf:first :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0; - rdf:rest rdf:nil . - -_:genid9 a owl:Restriction; - owl:someValuesFrom :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3; - owl:onProperty :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b . - -_:genid10 a owl:Axiom; - owl:annotatedSource :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "Whole"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English hole (“healthy, unhurt, whole”)."@en . - -:EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215 a owl:Class; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole with spatial parts of its same type."@en; - skos:prefLabel "SpatiallyRedundant"@en . - -:EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b a owl:Class; - owl:equivalentClass _:genid11; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no proper parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en; - skos:prefLabel "StrictFundamental"@en . - -_:genid11 a owl:Class; - owl:intersectionOf _:genid13 . - -_:genid13 a rdf:List; - rdf:first :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3; - rdf:rest _:genid12 . - -_:genid12 a rdf:List; - rdf:first :EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e; - rdf:rest rdf:nil . - -:EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 a owl:Class; - owl:equivalentClass _:genid14; - rdfs:subClassOf _:genid17; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An entity that is categorized according to its relation with a whole through a parthood relation and that contributes to it according to an holistic criterion, where the type of the whole is not the type of the part."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """In this class the concept of role and part are superimposed (the term part is also used to define the role played by an actor). +The holistic perspective is not excluding the reductionistic perspective, on the contrary it can be considered its complement."""@en ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The union of classes whole and part."@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A perspective characterized by the belief that some mereological parts of a whole (holistic parts) are intimately interconnected and explicable only by reference to the whole and vice versa."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A molecule of a body can have role in the body evolution, without caring if its part of a specific organ and without specifying the time interval in which this role occurred."@en , + "A product is a role that can be fulfilled by many objects, but always requires a process to which the product participates and from which it is generated."@en ; + skos:altLabel "Wholistic"@en ; + skos:prefLabel "Holistic"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedTarget "Wholistic"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From the word 'holistic' with the 'w-' prefix, due to the affinity with the existing word 'whole', that share the same meaning of 'holos'."@en + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "Holistic"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "Holism (from Greek ὅλος holos \"all, whole, entire\")."@en + ] . + + +### http://emmo.info/emmo#EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82 +:EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82 rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An holistic temporal part of a whole."@en ; + skos:altLabel "HolisticTemporalPart"@en ; + skos:prefLabel "TemporalRole"@en . + + +### http://emmo.info/emmo#EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 +:EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 rdf:type owl:Class ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b ; + owl:someValuesFrom :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of entities which are defined by requiring the existence of some parts (at least one) of specifically given types, where the specified types are different with respect to the type of the whole."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A whole is always defined using a criterion expressed through the classical transitive parthood relation. +This class is expected to host the definition of world objects as they appear in its wholeness, dependently on some of their parts and independently on the surroundings."""@en ; + skos:prefLabel "Whole"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "Whole"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English hole (“healthy, unhurt, whole”)."@en + ] . + + +### http://emmo.info/emmo#EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215 +:EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215 rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole with spatial parts of its same type."@en ; + skos:prefLabel "SpatiallyRedundant"@en . + + +### http://emmo.info/emmo#EMMO_32e701c0_a925_49df_9829_0931b8554807 +:EMMO_32e701c0_a925_49df_9829_0931b8554807 rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 + :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 + ) + ] ; + rdfs:subClassOf :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; + skos:prefLabel "Structural"@en . + + +### http://emmo.info/emmo#EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b +:EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b rdf:type owl:Class ; + owl:equivalentClass [ owl:intersectionOf ( :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 + :EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e + ) ; + rdf:type owl:Class + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no proper parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en ; + skos:prefLabel "StrictFundamental"@en . + + +### http://emmo.info/emmo#EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 +:EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( :EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82 + :EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b + ) + ] ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b + ] ; + owl:someValuesFrom :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0 + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An entity that is categorized according to its relation with a whole through a parthood relation and that contributes to it according to an holistic criterion, where the type of the whole is not the type of the part."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """In this class the concept of role and part are superimposed (the term part is also used to define the role played by an actor). Here entities are categorized according to their relation with the whole, i.e. how they contribute to make a specific whole, and not what they are as separate entities. -This class is expected to host the definition of world objects as they appear in its relation with the surrounding whole (being a part implies being surrounded by something bigger to which it contributes)."""@en; - skos:altLabel "HolisticPart"@en, "Part"@en; - skos:prefLabel "Role"@en . +This class is expected to host the definition of world objects as they appear in its relation with the surrounding whole (being a part implies being surrounded by something bigger to which it contributes)."""@en ; + skos:altLabel "HolisticPart"@en , + "Part"@en ; + skos:prefLabel "Role"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedTarget "Part"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin partire, partiri ‘divide, share’."@en + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "Role"@en ; + :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 + ] . + + +### http://emmo.info/emmo#EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 +:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 + :EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e + ) + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole that represent the overall lifetime of the world object that represents according to some holistic criteria."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """A marathon is an example of class whose individuals are always maximal since the criteria satisfied by a marathon 4D entity poses some constraints on its temporal and spatial extent. -_:genid14 a owl:Class; - owl:unionOf _:genid16 . +On the contrary, the class for a generic running process does not necessarily impose maximality to its individuals. A running individual is maximal only when it extends in time for the minimum amount required to identify a running act, so every possible temporal part is always a non-running. -_:genid16 a rdf:List; - rdf:first :EMMO_0e1f2009_bf12_49d1_99f3_1422e5287d82; - rdf:rest _:genid15 . +Following the two examples, a marathon individual is a maximal that can be decomposed into running intervals. The marathon class is a subclass of running."""@en ; + skos:altLabel "Lifetime"@en , + "Maximal"@en ; + skos:prefLabel "Fundamental"@en . -_:genid15 a rdf:List; - rdf:first :EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b; - rdf:rest rdf:nil . +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedTarget "Lifetime"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English liftime, equivalent to life +‎ time."@en + ] . -_:genid17 a owl:Restriction; - owl:someValuesFrom :EMMO_1efe8b96_e006_4a33_bc9a_421406cbb9f0; - owl:onProperty _:genid18 . +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "Fundamental"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin fundamentum (“foundation”), from fundō (“to lay the foundation (of something), to found”), from fundus (“bottom”)."@en + ] . -_:genid18 owl:inverseOf :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b . -_:genid19 a owl:Axiom; - owl:annotatedSource :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3; - owl:annotatedProperty skos:altLabel; - owl:annotatedTarget "Part"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin partire, partiri ‘divide, share’."@en . +### http://emmo.info/emmo#EMMO_808566db_b810_448d_8a54_48e7f6d30f36 +:EMMO_808566db_b810_448d_8a54_48e7f6d30f36 rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole with temporal parts of its same type."@en ; + skos:prefLabel "TemporallyRedundant"@en . -_:genid20 a owl:Axiom; - owl:annotatedSource :EMMO_4f226cf3_6d02_4d35_8566_a9e641bc6ff3; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "Role"@en; - :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 . -:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 a owl:Class; - owl:equivalentClass _:genid21; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole that represent the overall lifetime of the world object that represents according to some holistic criteria."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """A marathon is an example of class whose individuals are always maximal since the criteria satisfied by a marathon 4D entity poses some constraints on its temporal and spatial extent. +### http://emmo.info/emmo#EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 +:EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no temporal parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en ; + skos:prefLabel "TemporallyFundamental"@en . + + +### http://emmo.info/emmo#EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 +:EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( :EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215 + :EMMO_808566db_b810_448d_8a54_48e7f6d30f36 + ) + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole possessing some proper parts of its same type."@en ; + rdfs:seeAlso :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 ; + skos:altLabel "NonMaximal"@en ; + skos:prefLabel "Redundant"@en . + + +### http://emmo.info/emmo#EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e +:EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no spatial parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en ; + skos:prefLabel "SpatiallyFundamental"@en . + + +### http://emmo.info/emmo#EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b +:EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An holistic spatial part of a whole."@en ; + skos:altLabel "HolisticSpatialPart"@en ; + skos:prefLabel "NonTemporalRole"@en . -On the contrary, the class for a generic running process does not necessarily impose maximality to its individuals. A running individual is maximal only when it extends in time for the minimum amount required to identify a running act, so every possible temporal part is always a non-running. -Following the two examples, a marathon individual is a maximal that can be decomposed into running intervals. The marathon class is a subclass of running."""@en; - skos:altLabel "Lifetime"@en, "Maximal"@en; - skos:prefLabel "Fundamental"@en . - -_:genid21 a owl:Class; - owl:unionOf _:genid23 . - -_:genid23 a rdf:List; - rdf:first :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3; - rdf:rest _:genid22 . - -_:genid22 a rdf:List; - rdf:first :EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e; - rdf:rest rdf:nil . - -_:genid24 a owl:Axiom; - owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2; - owl:annotatedProperty skos:altLabel; - owl:annotatedTarget "Lifetime"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Middle English liftime, equivalent to life +‎ time."@en . - -_:genid25 a owl:Axiom; - owl:annotatedSource :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "Fundamental"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin fundamentum (“foundation”), from fundō (“to lay the foundation (of something), to found”), from fundus (“bottom”)."@en . - -:EMMO_808566db_b810_448d_8a54_48e7f6d30f36 a owl:Class; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole with temporal parts of its same type."@en; - skos:prefLabel "TemporallyRedundant"@en . - -:EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 a owl:Class; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no temporal parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en; - skos:prefLabel "TemporallyFundamental"@en . - -:EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 a owl:Class; - owl:equivalentClass _:genid26; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A whole possessing some proper parts of its same type."@en; - rdfs:seeAlso :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2; - skos:altLabel "NonMaximal"@en; - skos:prefLabel "Redundant"@en . - -_:genid26 a owl:Class; - owl:unionOf _:genid28 . - -_:genid28 a rdf:List; - rdf:first :EMMO_2469e4c6_ac2e_4c8f_b49f_7b2d2e277215; - rdf:rest _:genid27 . - -_:genid27 a rdf:List; - rdf:first :EMMO_808566db_b810_448d_8a54_48e7f6d30f36; - rdf:rest rdf:nil . - -:EMMO_f055e217_0b1b_4e7e_b8be_7340211b0c5e a owl:Class; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals that satisfy a whole defining criteria (i.e. belongs to a subclass of whole) and have no spatial parts that satisfy that same criteria (no parts that are of the same type of the whole)."@en; - skos:prefLabel "SpatiallyFundamental"@en . - -:EMMO_fcae603e_aa6e_4940_9fa1_9f0909cabf3b a owl:Class; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An holistic spatial part of a whole."@en; - skos:altLabel "HolisticSpatialPart"@en; - skos:prefLabel "NonTemporalRole"@en . +### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi