diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl index 897b0bd2..207815ec 100644 --- a/mereocausality/mereocausality.ttl +++ b/mereocausality/mereocausality.ttl @@ -1,4 +1,3 @@ -@base . @prefix : . @prefix owl: . @prefix rdf: . @@ -7,1223 +6,1178 @@ @prefix rdfs: . @prefix skos: . @prefix dcterms: . -# -# -# ################################################################# -# # -# # Annotation properties -# # -# ################################################################# -# -# -# http://emmo.info/emmo#EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 -# -# http://emmo.info/emmo#EMMO_31252f35_c767_4b97_a877_1235076c3e13 -# -# http://emmo.info/emmo#EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 -# -# http://emmo.info/emmo#EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 -# -# http://emmo.info/emmo#EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 -# -# http://emmo.info/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 -# -# http://emmo.info/emmo#EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a -# -# http://emmo.info/emmo#EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 -# -# http://emmo.info/emmo#EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f -# -# http://emmo.info/emmo#EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d -# -# http://emmo.info/emmo#157fdf31_6387_42be_8e72_10530519214a -# -# http://purl.org/dc/terms/abstract -# -# http://purl.org/dc/terms/contributor -# -# http://purl.org/dc/terms/creator -# -# http://purl.org/dc/terms/license -# -# http://purl.org/dc/terms/publisher -# -# http://purl.org/dc/terms/title -# -# http://www.w3.org/2000/01/rdf-schema#isDefinedBy -# -# http://www.w3.org/2000/01/rdf-schema#label -# -# http://www.w3.org/2000/01/rdf-schema#seeAlso -# -# http://www.w3.org/2004/02/skos/core#altLabel -# -# http://www.w3.org/2004/02/skos/core#hiddenLabel -# -# http://www.w3.org/2004/02/skos/core#prefLabel -# -# -# -# ################################################################# -# # -# # Object Properties -# # -# ################################################################# -# -# -# http://emmo.info/emmo#EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d -# -# http://emmo.info/emmo#EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4 -# -# http://emmo.info/emmo#EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f -# -# http://emmo.info/emmo#EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016 -# -# http://emmo.info/emmo#EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 -# -# http://emmo.info/emmo#EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee -# -# http://emmo.info/emmo#EMMO_408a46b2_3930_46da_b936_e9ce72ffdde9 -# -# http://emmo.info/emmo#EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d -# -# http://emmo.info/emmo#EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 -# -# http://emmo.info/emmo#EMMO_5022e4cb_125f_429d_8556_c3e635c561f2 -# -# http://emmo.info/emmo#EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff -# -# http://emmo.info/emmo#EMMO_55354438_7000_4284_b1b9_59d60c2261b9 -# -# http://emmo.info/emmo#EMMO_555d0261_da5e_4301_b7f9_46f604a32e91 -# -# http://emmo.info/emmo#EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c -# -# http://emmo.info/emmo#EMMO_6835537c_d294_4005_a770_ec9621f29ed1 -# -# http://emmo.info/emmo#EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 -# -# http://emmo.info/emmo#EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83 -# -# http://emmo.info/emmo#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 -# -# http://emmo.info/emmo#EMMO_850b976f_0726_4408_b1b2_1f0ae367faf6 -# -# http://emmo.info/emmo#EMMO_8785be5a_2493_4b12_8f39_31907ab11748 -# -# http://emmo.info/emmo#EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f -# -# http://emmo.info/emmo#EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 -# -# http://emmo.info/emmo#EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 -# -# http://emmo.info/emmo#EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 -# -# http://emmo.info/emmo#EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead -# -# http://emmo.info/emmo#EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c -# -# http://emmo.info/emmo#EMMO_aef8af39_0a22_4be8_a523_4e47ca36e035 -# -# http://emmo.info/emmo#EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 -# -# http://emmo.info/emmo#EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 -# -# http://emmo.info/emmo#EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 -# -# http://emmo.info/emmo#EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 -# -# http://emmo.info/emmo#EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3 -# -# http://emmo.info/emmo#EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 -# -# http://emmo.info/emmo#EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 -# -# http://emmo.info/emmo#EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 -# -# http://emmo.info/emmo#EMMO_e1805abe_f5b7_4c40_810a_1a01950546be -# -# http://emmo.info/emmo#EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 -# -# http://emmo.info/emmo#EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 -# -# http://emmo.info/emmo#EMMO_f68030be_94b8_4c61_a161_886468558054 -# -# http://emmo.info/emmo#a32021dc_58d8_454b_915d_3951b413b8b7 -# -# http://emmo.info/emmo#a8bd7094_6b40_47af_b1f4_a69d81a3afbd -# -# http://emmo.info/emmo#bb6febfa_5c6b_43c9_941a_4b6157b703be -# -# http://emmo.info/emmo#e4f66254_7312_4de5_a86a_6e0808baaaab -# -# http://emmo.info/emmo#0528e41d_edd2_49f9_bd2a_aeabdc215515 -# -# http://emmo.info/emmo#0558e802_46a4_45de_af85_47aff4dc427e -# -# http://emmo.info/emmo#176e3f78_c867_4eca_9794_a4822660d9dc -# -# http://emmo.info/emmo#3bd4339b_e01f_43e5_a011_74a4ef3ffa90 -# -# http://emmo.info/emmo#33fd15ab_7662_4cc6_8bf6_988422efc631 -# -# http://emmo.info/emmo#5fa16188_d95b_4dd2_ac63_eae63fe01504 -# -# http://emmo.info/emmo#76413949_896c_4363_a955_de4722c6e149 -# -# -# -# ################################################################# -# # -# # Classes -# # -# ################################################################# -# -# -# http://emmo.info/emmo#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 -# -# http://emmo.info/emmo#EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 -# -# http://emmo.info/emmo#EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 -# -# http://emmo.info/emmo#EMMO_6c03574f_6daa_4488_a970_ee355cca2530 -# -# http://emmo.info/emmo#EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf -# -# http://emmo.info/emmo#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d -# -# http://emmo.info/emmo#EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac -# -# http://emmo.info/emmo#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de -# -# -# -# ################################################################# -# # -# # Individuals -# # -# ################################################################# -# -# -# http://emmo.info/emmo#EMMO_08cb807c_e626_447b_863f_e2835540e918 -# -# -# -# ################################################################# -# # -# # Rules -# # -# ################################################################# -# -# -# Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi - - a owl:Ontology; - owl:versionIRI ; - :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 """Emanuele Ghedini +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 """Emanuele Ghedini University of Bologna (IT) -email: emanuele.ghedini@unibo.it"""@en, - """Gerhard Goldbeck +email: emanuele.ghedini@unibo.it"""@en , + """Gerhard Goldbeck Goldbeck Consulting Ltd (UK) -email: gerhard@goldbeck-consulting.com"""@en; - dcterms:abstract """Introduces the fundamental mereocausal (and mereotopological) concepts of EMMO and their relations with the real world entities that they represent. EMMO uses mereocausality as the ground for all the subsequent ontology modules. +email: gerhard@goldbeck-consulting.com"""@en ; + dcterms:abstract """Introduces the fundamental mereocausal (and mereotopological) concepts of EMMO and their relations with the real world entities that they represent. EMMO uses mereocausality as the ground for all the subsequent ontology modules. The concept of causal connection is used to define the first distinction between ontology entities namely the item and collections. Items are causally self-connected objects, while collections are causally disconnected. -Quantum mereology is based on the concept of quantum entity. This module introduces also the fundamental mereotopological relations used to distinguish between space and time dimensions, making spacetime emerge from underlying network of causal relations between quantum entities."""@en; - dcterms:contributor "Adham Hashibon, University College of London, UK"@en, "Anne de Baas, Goldbeck Consulting Ltd, UK"@en, - "Francesco Zaccarini, University of Bologna, IT"@en, "Georg Schmitz, Access, DE"@en, - "Gerhard Goldbeck, Goldbeck Consulting Ltd, UK"@en, "Jesper Friis, SINTEF, NO"@en, - "Sebastiano Moruzzi, University of Bologna, IT"@en; - dcterms:creator "Emanuele Ghedini, University of Bologna, IT"@en; - dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode"; - dcterms:publisher """EMMC ASBL +Quantum mereology is based on the concept of quantum entity. This module introduces also the fundamental mereotopological relations used to distinguish between space and time dimensions, making spacetime emerge from underlying network of causal relations between quantum entities."""@en ; + dcterms:contributor "Adham Hashibon, University College of London, UK"@en , + "Anne de Baas, Goldbeck Consulting Ltd, UK"@en , + "Francesco Zaccarini, University of Bologna, IT"@en , + "Georg Schmitz, Access, DE"@en , + "Gerhard Goldbeck, Goldbeck Consulting Ltd, UK"@en , + "Jesper Friis, SINTEF, NO"@en , + "Sebastiano Moruzzi, University of Bologna, IT"@en ; + dcterms:creator "Emanuele Ghedini, University of Bologna, IT"@en ; + dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; + dcterms:publisher """EMMC ASBL European Materials Modelling Council Silversquare Stéphanie Avenue Louise 54 1050 Brussels CBE no: 0731 621 312 -contact@emmc.eu"""@en; - dcterms:title "Elementary Multiperspective Material Ontology"@en, "Mereocausality"@en; - rdfs:comment "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_1246b120_abbe_4840_b0f8_3e4348b24a17 a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A person or organisation acting as a contact point for enquiries about the ontology resource"@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The annotation should include an email address."@en; - skos:prefLabel "contact"@en; - rdfs:subPropertyOf rdfs:comment . - -:EMMO_31252f35_c767_4b97_a877_1235076c3e13 a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The conceptualisation annotation is a comment that helps the reader to understand how the world has been conceptualised by the ontology authors."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A conceptualisation is the preliminary step behind each theory, preceding each logical formalisation. The readers approaching an ontology entity should first read the conceptualisation annotation to clearly understand \"what we are talking about\" and the accompanying terminology, and then read the elucidation."@en, - "An elucidation can provide references to external knowledge sources (i.e. ISO, Goldbook, RoMM)."@en; - skos:prefLabel "conceptualisation"@en; - rdfs:subPropertyOf rdfs:comment . - -:EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "URL to corresponding dpbedia entry."@en; - rdfs:seeAlso "https://wiki.dbpedia.org/"; - skos:prefLabel "dbpediaReference"@en; - rdfs:subPropertyOf rdfs:seeAlso; - rdfs:range xsd:anyURI . - -:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The etymology annotation explains the origin of a word and the historical development of its meaning."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Definitions are usually taken from Wiktionary."@en, - "The etymology annotation is usually applied to rdfs:label entities, to better understand the connection between a label and the concept it concisely represents."@en; - skos:prefLabel "etymology"@en; - rdfs:subPropertyOf rdfs:comment . - -_:genid1 a owl:Axiom; - owl:annotatedSource :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25; - owl:annotatedProperty :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f; - owl:annotatedTarget "Definitions are usually taken from Wiktionary."@en; - rdfs:seeAlso "https://en.wiktionary.org/wiki/Wiktionary"@en . - -:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Precise and univocal description of an ontological entity in the framework of an axiomatic system."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A definition univocally determines a OWL entity using necessary and sufficient conditions referring to other OWL entities."@en; - skos:prefLabel "definition"@en; - rdfs:subPropertyOf rdfs:comment . - -:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Short enlightening explanation aimed to facilitate the user in drawing the connection (interpretation) between a OWL entity and the real world object(s) for which it stands."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "An elucidation should address the real world entities using the concepts introduced by the conceptualisation annotation."@en; - skos:prefLabel "elucidation"@en; - rdfs:subPropertyOf rdfs:comment . - -:EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Illustrative example of how the entity is used."@en; - skos:prefLabel "example"@en; - rdfs:subPropertyOf rdfs:comment . - -:EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en; - skos:prefLabel "OWLDLRestrictedAxiom"@en; - rdfs:subPropertyOf rdfs:comment . - -_:genid2 a owl:Axiom; - owl:annotatedSource :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470; - owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9; - owl:annotatedTarget "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en; - rdfs:seeAlso "https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Global_Restrictions_on_Axioms_in_OWL_2_DL"^^xsd:anyURI . - -:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A text that add some information about the entity."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A comment can be addressed to facilitate interpretation, to suggest possible usage, to clarify the concepts behind each entity with respect to other ontological apporaches."@en; - skos:prefLabel "comment"@en; - rdfs:subPropertyOf rdfs:comment . - -:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "URL to corresponding Wikipedia entry."@en; - rdfs:seeAlso "https://www.wikipedia.org/"; - skos:prefLabel "wikipediaReference"@en; - rdfs:subPropertyOf rdfs:seeAlso; - rdfs:range xsd:anyURI . - -:157fdf31_6387_42be_8e72_10530519214a a owl:AnnotationProperty; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A link to a graphical representation aimed to facilitate understanding of the concept, or of an annotation."; - skos:prefLabel "figure"@en; - rdfs:subPropertyOf rdfs:comment; - rdfs:range xsd:anyURI . - -dcterms:abstract a owl:AnnotationProperty . - -dcterms:contributor a owl:AnnotationProperty . - -dcterms:creator a owl:AnnotationProperty . - -dcterms:license a owl:AnnotationProperty . - -dcterms:publisher a owl:AnnotationProperty . - -dcterms:title a owl:AnnotationProperty . +contact@emmc.eu"""@en ; + dcterms:title "Elementary Multiperspective Material Ontology"@en , + "Mereocausality"@en ; + rdfs:comment "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" . + +################################################################# +# Annotation properties +################################################################# + +### http://emmo.info/emmo#EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 +:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A person or organisation acting as a contact point for enquiries about the ontology resource"@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The annotation should include an email address."@en ; + skos:prefLabel "contact"@en ; + rdfs:subPropertyOf rdfs:comment . + + +### http://emmo.info/emmo#EMMO_31252f35_c767_4b97_a877_1235076c3e13 +:EMMO_31252f35_c767_4b97_a877_1235076c3e13 rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The conceptualisation annotation is a comment that helps the reader to understand how the world has been conceptualised by the ontology authors."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A conceptualisation is the preliminary step behind each theory, preceding each logical formalisation. The readers approaching an ontology entity should first read the conceptualisation annotation to clearly understand \"what we are talking about\" and the accompanying terminology, and then read the elucidation."@en , + "An elucidation can provide references to external knowledge sources (i.e. ISO, Goldbook, RoMM)."@en ; + skos:prefLabel "conceptualisation"@en ; + rdfs:subPropertyOf rdfs:comment . + + +### http://emmo.info/emmo#EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 +:EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "URL to corresponding dpbedia entry."@en ; + rdfs:seeAlso "https://wiki.dbpedia.org/" ; + skos:prefLabel "dbpediaReference"@en ; + rdfs:subPropertyOf rdfs:seeAlso ; + rdfs:range xsd:anyURI . + + +### http://emmo.info/emmo#EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 +:EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The etymology annotation explains the origin of a word and the historical development of its meaning."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Definitions are usually taken from Wiktionary."@en , + "The etymology annotation is usually applied to rdfs:label entities, to better understand the connection between a label and the concept it concisely represents."@en ; + skos:prefLabel "etymology"@en ; + rdfs:subPropertyOf rdfs:comment . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 ; + owl:annotatedProperty :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f ; + owl:annotatedTarget "Definitions are usually taken from Wiktionary."@en ; + rdfs:seeAlso "https://en.wiktionary.org/wiki/Wiktionary"@en + ] . + + +### http://emmo.info/emmo#EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 +:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Precise and univocal description of an ontological entity in the framework of an axiomatic system."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A definition univocally determines a OWL entity using necessary and sufficient conditions referring to other OWL entities."@en ; + skos:prefLabel "definition"@en ; + rdfs:subPropertyOf rdfs:comment . + + +### http://emmo.info/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 +:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Short enlightening explanation aimed to facilitate the user in drawing the connection (interpretation) between a OWL entity and the real world object(s) for which it stands."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "An elucidation should address the real world entities using the concepts introduced by the conceptualisation annotation."@en ; + skos:prefLabel "elucidation"@en ; + rdfs:subPropertyOf rdfs:comment . + + +### http://emmo.info/emmo#EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a +:EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Illustrative example of how the entity is used."@en ; + skos:prefLabel "example"@en ; + rdfs:subPropertyOf rdfs:comment . + + +### http://emmo.info/emmo#EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 +:EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en ; + skos:prefLabel "OWLDLRestrictedAxiom"@en ; + rdfs:subPropertyOf rdfs:comment . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 ; + owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; + owl:annotatedTarget "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en ; + rdfs:seeAlso "https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Global_Restrictions_on_Axioms_in_OWL_2_DL"^^xsd:anyURI + ] . + + +### http://emmo.info/emmo#EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f +:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A text that add some information about the entity."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A comment can be addressed to facilitate interpretation, to suggest possible usage, to clarify the concepts behind each entity with respect to other ontological apporaches."@en ; + skos:prefLabel "comment"@en ; + rdfs:subPropertyOf rdfs:comment . + + +### http://emmo.info/emmo#EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d +:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "URL to corresponding Wikipedia entry."@en ; + rdfs:seeAlso "https://www.wikipedia.org/" ; + skos:prefLabel "wikipediaReference"@en ; + rdfs:subPropertyOf rdfs:seeAlso ; + rdfs:range xsd:anyURI . + + +### http://emmo.info/emmo#157fdf31_6387_42be_8e72_10530519214a + rdf:type owl:AnnotationProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A link to a graphical representation aimed to facilitate understanding of the concept, or of an annotation." ; + skos:prefLabel "figure"@en ; + rdfs:subPropertyOf rdfs:comment ; + rdfs:range xsd:anyURI . + + +### http://purl.org/dc/terms/abstract +dcterms:abstract rdf:type owl:AnnotationProperty . + +### http://purl.org/dc/terms/contributor +dcterms:contributor rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/creator +dcterms:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +dcterms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/publisher +dcterms:publisher rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/title +dcterms:title rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#isDefinedBy rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso . + +### http://www.w3.org/2000/01/rdf-schema#label rdfs:label rdfs:range rdfs:Literal . + +### http://www.w3.org/2000/01/rdf-schema#seeAlso rdfs:seeAlso rdfs:comment """EMMO applies the naming convension to its sub-properties of rdfs:seeAlso that their label must end with one of the following terms: - 'Match': resolvable URLs to corresponding entity in another ontology - 'Entry': resolvable URLs to a human readable resource describing the subject - - 'Ref': non-resolvable reference to a human readable resource describing the subject"""@en, - "Indicate a resource that might provide additional information about the subject resource."@en . - -skos:altLabel a owl:AnnotationProperty; - rdfs:subPropertyOf rdfs:label . - -skos:hiddenLabel a owl:AnnotationProperty; - rdfs:subPropertyOf rdfs:label . - -skos:prefLabel a owl:AnnotationProperty; - rdfs:subPropertyOf rdfs:label . - -:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c; - owl:propertyDisjointWith :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "x isNotCauseOf y iff not(x isCauseOf y)"@en; - rdfs:seeAlso :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; - skos:prefLabel "isNotCauseOf"@en . - -:EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is not connected with the rest item or members with hasNext (or its inverse) only or hasContact relations only."@en; - skos:prefLabel "hasHeterogeneousPart"@en . - -:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; - owl:inverseOf :a8bd7094_6b40_47af_b1f4_a69d81a3afbd; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The primitive relation that express the concept of an entity being part of another one."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All other mereology relations can be defined in FOL using hasPart as primitive."@en; - skos:prefLabel "hasPart"@en . - -:EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that capture the overall spatial extension of the causal object."@en; - skos:prefLabel "hasTemporalSlice"@en . - -:EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 a owl:ObjectProperty, owl:AsymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6, :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78; - owl:propertyDisjointWith :EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the y effected and the x causing entities with intermediaries, where x isCauseOf y and not(y isCauseOf x)."@en; - skos:altLabel "isAntecedentOf"@en; - skos:prefLabel "isPredecessorOf"@en . - -_:genid3 a owl:Axiom; - owl:annotatedSource :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "isPredecessorOf"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin prae (\"beforehand\") and decedere (\"depart\")."@en . - -:EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of all mereological EMMO relations."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The EMMO adheres to Atomistic General Extensional Mereology (AGEM)."@en; - skos:prefLabel "mereological"@en . - -_:genid4 a owl:Axiom; - owl:annotatedSource :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "mereological"@en; - :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 . - -:EMMO_408a46b2_3930_46da_b936_e9ce72ffdde9 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4, :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is connected with the rest item or members with hasNext (or its inverse) and hasContact relations only."@en; - skos:altLabel "hasSpatioTemporalPart"@en; - skos:prefLabel "hasJunctionPart"@en . - -:EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d a owl:ObjectProperty, owl:AsymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91, :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78; - owl:propertyDisjointWith :EMMO_8785be5a_2493_4b12_8f39_31907ab11748; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A temporal relation between two entities occurs when the two entities are in a one directional causality relation. The idea is that a temporal relation always implies a one-directional causality between two entities, leading to a asymmetric relation. -This means that the causing entity can be in direct and optionally indirect causality relation with the effect entity. On the contrary, the effect entity cannot be in any causal relation (direct or indirect) with the causing entity."""@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A time contact occurs when x isDirectCause y and not(y isCauseOf x)."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of entities in direct causality relation is either in hasNext or hasTwoWayCauseWith relation. The two are mutually exclusive."@en, - "This relation is asymmetric and irreflexive."@en; - skos:altLabel "isBefore"@en; - skos:prefLabel "hasNext"@en . - -:EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9; - rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; - skos:prefLabel "hasSubCollection"@en . - -:EMMO_5022e4cb_125f_429d_8556_c3e635c561f2 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016, :a32021dc_58d8_454b_915d_3951b413b8b7; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is an item."@en; - skos:prefLabel "hasTemporalItemSlice"@en . - -:EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff a owl:ObjectProperty, owl:SymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; - owl:propertyDisjointWith :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78; - skos:prefLabel "isSpatiallyRelatedWith"@en . - -:EMMO_55354438_7000_4284_b1b9_59d60c2261b9 a owl:ObjectProperty, owl:AsymmetricProperty; - rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76, :76413949_896c_4363_a955_de4722c6e149; - owl:inverseOf :bb6febfa_5c6b_43c9_941a_4b6157b703be; - rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; - owl:propertyDisjointWith :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with domain restricted to items."@en; - skos:prefLabel "hasPortionPart"@en . - -:EMMO_555d0261_da5e_4301_b7f9_46f604a32e91 a owl:ObjectProperty, owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; - owl:propertyDisjointWith :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Direct causality is a concept that capture the idea of contact between two entities, given the fact that there are no causal intermediaries between them. It requires that at least a quantum of the causing entity is direct cause of a quantum of the caused entity. -It does not exclude the possibility of indirect causal routes between proper parts of the two entities."""@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the causing and the effected entities occurring without intermediaries."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Direct cause is irreflexive."@en, "Direct cause provides the edges for the transitive restriction of the direct acyclic causal graph whose nodes are the quantum entities."@en; - skos:prefLabel "isDirectCauseOf"@en . - -:EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c a owl:ObjectProperty, owl:AsymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :a8bd7094_6b40_47af_b1f4_a69d81a3afbd; - owl:inverseOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The inverse relation for hasProperPart."; - rdfs:seeAlso :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - skos:prefLabel "isProperPartOf"@en . - -:EMMO_6835537c_d294_4005_a770_ec9621f29ed1 a owl:ObjectProperty, owl:SymmetricProperty; - rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f, :a8bd7094_6b40_47af_b1f4_a69d81a3afbd; - owl:propertyDisjointWith :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that stands for the same individuals."; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Equality is here defined following a mereological approach."; - skos:prefLabel "equalsTo"@en . - -:EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 a owl:ObjectProperty, owl:AsymmetricProperty; - rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :3bd4339b_e01f_43e5_a011_74a4ef3ffa90, - :33fd15ab_7662_4cc6_8bf6_988422efc631; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a collection and one of its item members."@en; - skos:prefLabel "hasMember"@en . - -:EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A proper part of the whole that is not Spatial or Temporal."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This relation identifies parts of a 4D object that do not fully cover the lifetime extent of the whole (spatial) nor the full spatial extent (temporal)."@en, - """This relation is a filler, to categorise the parts of an entity that are not covered by the other parthood relations. -A proper part is then the disjoint union of: spatial part, temporal part and spatio temporal part relations."""@en; - skos:altLabel "hasSpatialPartialPart"@en; - skos:prefLabel "hasSpatialSection"@en . - -:EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that identify a proper item part of the whole, whose parts always cover the full spatial extension of the whole within a time interval."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A temporal part of an item cannot both cause and be caused by any other proper part of the item. - -A temporal part is not constraint to be causally self-connected, i.e. it can be either an item or a collection. We therefore introduce two subproperties in order to distinguish between both cases."""@en, - "In EMMO FOL this is a defined property. In OWL temporal relations are primitive."@en; - skos:prefLabel "hasTemporalPart"@en . - -:EMMO_850b976f_0726_4408_b1b2_1f0ae367faf6 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016, :5fa16188_d95b_4dd2_ac63_eae63fe01504; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is a collection."@en; - skos:prefLabel "hasTemporalCollectionSlice"@en . - -:EMMO_8785be5a_2493_4b12_8f39_31907ab11748 a owl:ObjectProperty, owl:SymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff, :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A spatial contact between two entities occurs when the two entities are in an interaction relation whose causal structure is a representation of the fundamental interactions between elementary particles (Feynman diagrams). + - 'Ref': non-resolvable reference to a human readable resource describing the subject"""@en , + "Indicate a resource that might provide additional information about the subject resource."@en . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty ; + rdfs:subPropertyOf rdfs:label . + + +### http://www.w3.org/2004/02/skos/core#hiddenLabel +skos:hiddenLabel rdf:type owl:AnnotationProperty ; + rdfs:subPropertyOf rdfs:label . + + +### http://www.w3.org/2004/02/skos/core#prefLabel +skos:prefLabel rdf:type owl:AnnotationProperty ; + rdfs:subPropertyOf rdfs:label . + + +################################################################# +# Object Properties +################################################################# + +### http://emmo.info/emmo#EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d +:EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c ; + owl:propertyDisjointWith :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "x isNotCauseOf y iff not(x isCauseOf y)"@en ; + rdfs:seeAlso :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + skos:prefLabel "isNotCauseOf"@en . + + +### http://emmo.info/emmo#EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4 +:EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is not connected with the rest item or members with hasNext (or its inverse) only or hasContact relations only."@en ; + skos:prefLabel "hasHeterogeneousPart"@en . + + +### http://emmo.info/emmo#EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f +:EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ; + owl:inverseOf :a8bd7094_6b40_47af_b1f4_a69d81a3afbd ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The primitive relation that express the concept of an entity being part of another one."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All other mereology relations can be defined in FOL using hasPart as primitive."@en ; + skos:prefLabel "hasPart"@en . + + +### http://emmo.info/emmo#EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016 +:EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that capture the overall spatial extension of the causal object."@en ; + skos:prefLabel "hasTemporalSlice"@en . + + +### http://emmo.info/emmo#EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 +:EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 , + :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 ; + rdf:type owl:AsymmetricProperty , + owl:IrreflexiveProperty ; + owl:propertyDisjointWith :EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the y effected and the x causing entities with intermediaries, where x isCauseOf y and not(y isCauseOf x)."@en ; + skos:altLabel "isAntecedentOf"@en ; + skos:prefLabel "isPredecessorOf"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "isPredecessorOf"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin prae (\"beforehand\") and decedere (\"depart\")."@en + ] . + + +### http://emmo.info/emmo#EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee +:EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of all mereological EMMO relations."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The EMMO adheres to Atomistic General Extensional Mereology (AGEM)."@en ; + skos:prefLabel "mereological"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "mereological"@en ; + :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 + ] . + + +### http://emmo.info/emmo#EMMO_408a46b2_3930_46da_b936_e9ce72ffdde9 +:EMMO_408a46b2_3930_46da_b936_e9ce72ffdde9 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4 , + :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is connected with the rest item or members with hasNext (or its inverse) and hasContact relations only."@en ; + skos:altLabel "hasSpatioTemporalPart"@en ; + skos:prefLabel "hasJunctionPart"@en . + + +### http://emmo.info/emmo#EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d +:EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91 , + :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 ; + rdf:type owl:AsymmetricProperty , + owl:IrreflexiveProperty ; + owl:propertyDisjointWith :EMMO_8785be5a_2493_4b12_8f39_31907ab11748 ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A temporal relation between two entities occurs when the two entities are in a one directional causality relation. The idea is that a temporal relation always implies a one-directional causality between two entities, leading to a asymmetric relation. +This means that the causing entity can be in direct and optionally indirect causality relation with the effect entity. On the contrary, the effect entity cannot be in any causal relation (direct or indirect) with the causing entity."""@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A time contact occurs when x isDirectCause y and not(y isCauseOf x)."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of entities in direct causality relation is either in hasNext or hasTwoWayCauseWith relation. The two are mutually exclusive."@en , + "This relation is asymmetric and irreflexive."@en ; + skos:altLabel "isBefore"@en ; + skos:prefLabel "hasNext"@en . + + +### http://emmo.info/emmo#EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 +:EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 , + :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 ; + rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + skos:prefLabel "hasSubCollection"@en . + + +### http://emmo.info/emmo#EMMO_5022e4cb_125f_429d_8556_c3e635c561f2 +:EMMO_5022e4cb_125f_429d_8556_c3e635c561f2 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016 , + :a32021dc_58d8_454b_915d_3951b413b8b7 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is an item."@en ; + skos:prefLabel "hasTemporalItemSlice"@en . + + +### http://emmo.info/emmo#EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff +:EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + rdf:type owl:SymmetricProperty , + owl:IrreflexiveProperty ; + owl:propertyDisjointWith :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 ; + skos:prefLabel "isSpatiallyRelatedWith"@en . + + +### http://emmo.info/emmo#EMMO_55354438_7000_4284_b1b9_59d60c2261b9 +:EMMO_55354438_7000_4284_b1b9_59d60c2261b9 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 , + ; + owl:inverseOf :bb6febfa_5c6b_43c9_941a_4b6157b703be ; + rdf:type owl:AsymmetricProperty ; + rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + owl:propertyDisjointWith :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with domain restricted to items."@en ; + skos:prefLabel "hasPortionPart"@en . + + +### http://emmo.info/emmo#EMMO_555d0261_da5e_4301_b7f9_46f604a32e91 +:EMMO_555d0261_da5e_4301_b7f9_46f604a32e91 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + rdf:type owl:IrreflexiveProperty ; + owl:propertyDisjointWith :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Direct causality is a concept that capture the idea of contact between two entities, given the fact that there are no causal intermediaries between them. It requires that at least a quantum of the causing entity is direct cause of a quantum of the caused entity. +It does not exclude the possibility of indirect causal routes between proper parts of the two entities."""@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the causing and the effected entities occurring without intermediaries."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Direct cause is irreflexive."@en , + "Direct cause provides the edges for the transitive restriction of the direct acyclic causal graph whose nodes are the quantum entities."@en ; + skos:prefLabel "isDirectCauseOf"@en . + + +### http://emmo.info/emmo#EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c +:EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :a8bd7094_6b40_47af_b1f4_a69d81a3afbd ; + owl:inverseOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + rdf:type owl:AsymmetricProperty , + owl:IrreflexiveProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The inverse relation for hasProperPart." ; + rdfs:seeAlso :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + skos:prefLabel "isProperPartOf"@en . + + +### http://emmo.info/emmo#EMMO_6835537c_d294_4005_a770_ec9621f29ed1 +:EMMO_6835537c_d294_4005_a770_ec9621f29ed1 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f , + :a8bd7094_6b40_47af_b1f4_a69d81a3afbd ; + rdf:type owl:SymmetricProperty ; + owl:propertyDisjointWith :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that stands for the same individuals." ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Equality is here defined following a mereological approach." ; + skos:prefLabel "equalsTo"@en . + + +### http://emmo.info/emmo#EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 +:EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 , + , + ; + rdf:type owl:AsymmetricProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a collection and one of its item members."@en ; + skos:prefLabel "hasMember"@en . + + +### http://emmo.info/emmo#EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83 +:EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A proper part of the whole that is not Spatial or Temporal."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This relation identifies parts of a 4D object that do not fully cover the lifetime extent of the whole (spatial) nor the full spatial extent (temporal)."@en , + """This relation is a filler, to categorise the parts of an entity that are not covered by the other parthood relations. +A proper part is then the disjoint union of: spatial part, temporal part and spatio temporal part relations."""@en ; + skos:altLabel "hasSpatialPartialPart"@en ; + skos:prefLabel "hasSpatialSection"@en . + + +### http://emmo.info/emmo#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 +:EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that identify a proper item part of the whole, whose parts always cover the full spatial extension of the whole within a time interval."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A temporal part of an item cannot both cause and be caused by any other proper part of the item. + +A temporal part is not constraint to be causally self-connected, i.e. it can be either an item or a collection. We therefore introduce two subproperties in order to distinguish between both cases."""@en , + "In EMMO FOL this is a defined property. In OWL temporal relations are primitive."@en ; + skos:prefLabel "hasTemporalPart"@en . + + +### http://emmo.info/emmo#EMMO_850b976f_0726_4408_b1b2_1f0ae367faf6 +:EMMO_850b976f_0726_4408_b1b2_1f0ae367faf6 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016 , + ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is a collection."@en ; + skos:prefLabel "hasTemporalCollectionSlice"@en . + + +### http://emmo.info/emmo#EMMO_8785be5a_2493_4b12_8f39_31907ab11748 +:EMMO_8785be5a_2493_4b12_8f39_31907ab11748 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff , + :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91 ; + rdf:type owl:SymmetricProperty , + owl:IrreflexiveProperty ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A spatial contact between two entities occurs when the two entities are in an interaction relation whose causal structure is a representation of the fundamental interactions between elementary particles (Feynman diagrams). It means that if two entities are in contact, then there is at least a couple of elementary particles, one part of the first and one part of the second, interacting according to one of the fundamental interactions through virtual particles. This kind of connection is space-like (i.e. interconnecting force carrier particle is offshelf). -Contacts between two entities exclude the possibility of other causal relations that are not included in a fundamental space-like interaction."""@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interaction that is the sum of direct causality relations between two entities that are interpretable as fundamental physical interactions."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Spatial contact is symmetric and irreflexive."@en, - "The contact relation is not an ordering relation since is symmetric."@en; - skos:altLabel "hasSpatiialnteractionWith"@en; - skos:prefLabel "contacts"@en . - -:EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f a owl:ObjectProperty, owl:AsymmetricProperty; - rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; - owl:propertyDisjointWith :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with range restricted to items."@en; - skos:prefLabel "hasItemPart"@en . - -:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 a owl:ObjectProperty, owl:AsymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f, :EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an entity and one of its parts, when both entities are distinct."@en; - skos:prefLabel "hasProperPart"@en . - -:EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is not connected with the rest item or members with hasNext relation (or its inverse)."@en; - skos:prefLabel "hasNonTemporalPart"@en . - -:EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 a owl:ObjectProperty, owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; - owl:inverseOf :e4f66254_7312_4de5_a86a_6e0808baaaab; - owl:propertyDisjointWith :a8bd7094_6b40_47af_b1f4_a69d81a3afbd; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an entity that overlaps another without being its part."@en; - skos:prefLabel "overcrosses"@en . - -:EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead a owl:ObjectProperty, owl:SymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee; - owl:propertyDisjointWith :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; - skos:prefLabel "notOverlaps"@en . - -:EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Causality is the fundamental concept describing how entities affect each other, and occurs before time and space relations. -Embracing a strong reductionistic view, causality originates at quantum entities level."""@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of all causal EMMO relations."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of entities is either in isCauseOf or isNotCauseOf relation. The two are mutually exclusive."@en; - skos:prefLabel "causal"@en . - -:EMMO_aef8af39_0a22_4be8_a523_4e47ca36e035 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is not a slice."@en; - skos:prefLabel "hasTemporalSection"@en . - -:EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 a owl:ObjectProperty, owl:SymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that overlaps and neither of both is part of the other."; - skos:prefLabel "properOverlaps"@en . - -:EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 a owl:ObjectProperty, owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An indirect cause is a relation between two entities that is mediated by a intermediate entity. In other words, there are no quantum parts of the causing entity that are direct cause of quantum parts of the caused entity."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the effected and the causing entities with intermediaries."@en; - skos:prefLabel "isIndirectCauseOf"@en . - -:EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 a owl:ObjectProperty, owl:AsymmetricProperty; - rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - owl:inverseOf :176e3f78_c867_4eca_9794_a4822660d9dc; - rdfs:domain :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with domain restricted to collections."@en; - skos:prefLabel "hasGatheredPart"@en . - -:EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 a owl:ObjectProperty, owl:AsymmetricProperty; - rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with range restricted to collections."@en; - skos:prefLabel "hasScatteredPart"@en . - -:EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3 a owl:ObjectProperty, owl:SymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff, :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two causally reachable entities through a path of contacts relations (i.e. representing physical interactions)."@en; - skos:altLabel "alongsideOf"; - skos:prefLabel "isConcomitantWith"@en . - -:EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 a owl:ObjectProperty, owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """We say that an entity causes another if there is a quantum part of the first that is in causal relation with a quantum parts of the second. -An entity cannot cause itself (causal loops are forbidden) or a part of itself. For this reasons causality between entities excludes reflexivity and prevents them to overlap."""@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """The relation between an individuals x and y, that holds if and only if: +Contacts between two entities exclude the possibility of other causal relations that are not included in a fundamental space-like interaction."""@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interaction that is the sum of direct causality relations between two entities that are interpretable as fundamental physical interactions."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Spatial contact is symmetric and irreflexive."@en , + "The contact relation is not an ordering relation since is symmetric."@en ; + skos:altLabel "hasSpatiialnteractionWith"@en ; + skos:prefLabel "contacts"@en . + + +### http://emmo.info/emmo#EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f +:EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + rdf:type owl:AsymmetricProperty ; + rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + owl:propertyDisjointWith :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with range restricted to items."@en ; + skos:prefLabel "hasItemPart"@en . + + +### http://emmo.info/emmo#EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 +:EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f , + :EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 ; + rdf:type owl:AsymmetricProperty , + owl:IrreflexiveProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an entity and one of its parts, when both entities are distinct."@en ; + skos:prefLabel "hasProperPart"@en . + + +### http://emmo.info/emmo#EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 +:EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is not connected with the rest item or members with hasNext relation (or its inverse)."@en ; + skos:prefLabel "hasNonTemporalPart"@en . + + +### http://emmo.info/emmo#EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 +:EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ; + owl:inverseOf :e4f66254_7312_4de5_a86a_6e0808baaaab ; + rdf:type owl:IrreflexiveProperty ; + owl:propertyDisjointWith :a8bd7094_6b40_47af_b1f4_a69d81a3afbd ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an entity that overlaps another without being its part."@en ; + skos:prefLabel "overcrosses"@en . + + +### http://emmo.info/emmo#EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead +:EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee ; + rdf:type owl:SymmetricProperty , + owl:IrreflexiveProperty ; + owl:propertyDisjointWith :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ; + skos:prefLabel "notOverlaps"@en . + + +### http://emmo.info/emmo#EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c +:EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Causality is the fundamental concept describing how entities affect each other, and occurs before time and space relations. +Embracing a strong reductionistic view, causality originates at quantum entities level."""@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of all causal EMMO relations."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of entities is either in isCauseOf or isNotCauseOf relation. The two are mutually exclusive."@en ; + skos:prefLabel "causal"@en . + + +### http://emmo.info/emmo#EMMO_aef8af39_0a22_4be8_a523_4e47ca36e035 +:EMMO_aef8af39_0a22_4be8_a523_4e47ca36e035 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is not a slice."@en ; + skos:prefLabel "hasTemporalSection"@en . + + +### http://emmo.info/emmo#EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 +:EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 ; + rdf:type owl:SymmetricProperty , + owl:IrreflexiveProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that overlaps and neither of both is part of the other." ; + skos:prefLabel "properOverlaps"@en . + + +### http://emmo.info/emmo#EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 +:EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + rdf:type owl:IrreflexiveProperty ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An indirect cause is a relation between two entities that is mediated by a intermediate entity. In other words, there are no quantum parts of the causing entity that are direct cause of quantum parts of the caused entity."@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the effected and the causing entities with intermediaries."@en ; + skos:prefLabel "isIndirectCauseOf"@en . + + +### http://emmo.info/emmo#EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 +:EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + owl:inverseOf ; + rdf:type owl:AsymmetricProperty ; + rdfs:domain :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with domain restricted to collections."@en ; + skos:prefLabel "hasGatheredPart"@en . + + +### http://emmo.info/emmo#EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 +:EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + rdf:type owl:AsymmetricProperty ; + rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with range restricted to collections."@en ; + skos:prefLabel "hasScatteredPart"@en . + + +### http://emmo.info/emmo#EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3 +:EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff , + :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 ; + rdf:type owl:SymmetricProperty , + owl:IrreflexiveProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two causally reachable entities through a path of contacts relations (i.e. representing physical interactions)."@en ; + skos:altLabel "alongsideOf" ; + skos:prefLabel "isConcomitantWith"@en . + + +### http://emmo.info/emmo#EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 +:EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c ; + rdf:type owl:IrreflexiveProperty ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """We say that an entity causes another if there is a quantum part of the first that is in causal relation with a quantum parts of the second. +An entity cannot cause itself (causal loops are forbidden) or a part of itself. For this reasons causality between entities excludes reflexivity and prevents them to overlap."""@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """The relation between an individuals x and y, that holds if and only if: a) y having a part that is causing an effect on a part of x -b) y and x non-overlapping"""@en; - :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 ":isCauseOf owl:propertyDisjointWith :overlaps"@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of causally connected entities is either in isDirectCauseOf or isIndirectCauseOf relation. The two are mutually exclusive."@en, - "It applies to both quantums and macro-entities (entities made of more than one quantum). It is admissible for two entities to be one the cause of the other, excepts when they are both quantums."@en, - """The OWL 2 DL version of the EMMO introduces this object property as primitive causal relation. It refers to the macro causality relation mC(x,y), defined in the EMMO FOL version. -While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive, the OWL 2 DL version substantially simplifies the theory, neglecting these lower level relations that are well above DL expressivity."""@en; - skos:prefLabel "isCauseOf"@en . - -_:genid5 a owl:Axiom; - owl:annotatedSource :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; - owl:annotatedProperty :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470; - owl:annotatedTarget ":isCauseOf owl:propertyDisjointWith :overlaps"@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Due to the transitivity characteristic of :overlaps subclasses, that makes it a composite property." . - -_:genid6 a owl:Axiom; - owl:annotatedSource :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "isCauseOf"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”)."@en . - -:EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 a owl:ObjectProperty, owl:SymmetricProperty; - rdfs:subPropertyOf :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that share at least one of their parts."@en; - skos:prefLabel "overlaps"@en . - -:EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611; - rdfs:domain :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A proper part of a whole, whose parts always cover the full temporal extension of the whole within a spatial interval."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "In EMMO FOL this is a defined property. In OWL temporal relations are primitive."@en; - skos:prefLabel "hasSpatialPart"@en . - -:EMMO_e1805abe_f5b7_4c40_810a_1a01950546be a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, - :76413949_896c_4363_a955_de4722c6e149; - skos:prefLabel "hasFractionalCollection"@en . - -:EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 a owl:ObjectProperty, owl:AsymmetricProperty, - owl:IrreflexiveProperty; - rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; - skos:prefLabel "isTemporallyBefore"@en . - -:EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 a owl:ObjectProperty; - rdfs:subPropertyOf owl:topObjectProperty; - rdfs:domain :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; - rdfs:range :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class for all relations used by the EMMO."@en; - skos:prefLabel "EMMORelation"@en . - -:EMMO_f68030be_94b8_4c61_a161_886468558054 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that identify a proper part of the whole that extends itself in time along the overall lifetime of the whole, and whose parts never cover the full spatial extension of the 4D whole."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "In EMMO FOL this is a defined property. In OWL spatial relations are primitive."@en; - skos:altLabel "hasSpatialIntegralPart"@en; - skos:prefLabel "hasSpatialSlice"@en . - -:a32021dc_58d8_454b_915d_3951b413b8b7 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9, :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f; - rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; - owl:propertyDisjointWith :5fa16188_d95b_4dd2_ac63_eae63fe01504; - skos:prefLabel "hasConnectedPortion"@en . - -:a8bd7094_6b40_47af_b1f4_a69d81a3afbd a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; - skos:prefLabel "isPartOf"@en . - -:bb6febfa_5c6b_43c9_941a_4b6157b703be a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c; - skos:prefLabel "isPortionPartOf"@en . - -:e4f66254_7312_4de5_a86a_6e0808baaaab a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; - skos:prefLabel "isOvercrossedBy"@en . - -:0528e41d_edd2_49f9_bd2a_aeabdc215515 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, - :33fd15ab_7662_4cc6_8bf6_988422efc631; - skos:prefLabel "hasMaximalCollection"@en . - -:0558e802_46a4_45de_af85_47aff4dc427e a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :3bd4339b_e01f_43e5_a011_74a4ef3ffa90, - :76413949_896c_4363_a955_de4722c6e149; - skos:prefLabel "hasFractionalMember"@en . - -:176e3f78_c867_4eca_9794_a4822660d9dc a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c; - skos:prefLabel "isGatheredPartOf"@en . - -:3bd4339b_e01f_43e5_a011_74a4ef3ffa90 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7; - rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; - skos:prefLabel "hasSubItem"@en . - -:33fd15ab_7662_4cc6_8bf6_988422efc631 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - owl:propertyDisjointWith :76413949_896c_4363_a955_de4722c6e149; - skos:prefLabel "hasMaximalPart"@en . - -:5fa16188_d95b_4dd2_ac63_eae63fe01504 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9, :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9; - rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; - skos:prefLabel "hasScatteredPortion"@en . - -:76413949_896c_4363_a955_de4722c6e149 a owl:ObjectProperty; - rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; - skos:prefLabel "hasNonMaximalPart"@en . - -:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 a owl:Class; - rdfs:subClassOf _:genid7, _:genid11; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal chain is an ordered causal sequence of entities that does not host any bifurcation within itself (a chain). A chain can only be partitioned in time."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of entities that possess a temporal structure but no spatial structure."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "An electron with at least one causal interaction with another particle."@en; - :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 "hasTemporalPart min 2 (Elementary or Quantum)"@en; - skos:altLabel "CausalChain"@en, "Elementary"@en; - skos:prefLabel "CausalPath"@en . - -_:genid7 a owl:Restriction; - owl:someValuesFrom _:genid8; - owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 . - -_:genid8 a owl:Class; - owl:unionOf _:genid10 . - -_:genid10 a rdf:List; - rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; - rdf:rest _:genid9 . - -_:genid9 a rdf:List; - rdf:first :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; - rdf:rest rdf:nil . - -_:genid11 a owl:Restriction; - owl:allValuesFrom _:genid12; - owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 . - -_:genid12 a owl:Class; - owl:unionOf _:genid14 . - -_:genid14 a rdf:List; - rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; - rdf:rest _:genid13 . - -_:genid13 a rdf:List; - rdf:first :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; - rdf:rest rdf:nil . - -_:genid15 a owl:Axiom; - owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; - owl:annotatedProperty skos:altLabel; - owl:annotatedTarget "CausalChain"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Old French chaine, chaene (“chain”), from Latin catēna (“chain”)."@en . - -_:genid16 a owl:Axiom; - owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; - owl:annotatedProperty skos:altLabel; - owl:annotatedTarget "Elementary"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)."@en . - -_:genid17 a owl:Axiom; - owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "CausalPath"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek πάτος (pátos, “path”)."@en . - -:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 a owl:Class; - rdfs:subClassOf _:genid18; - :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. +b) y and x non-overlapping"""@en ; + :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 ":isCauseOf owl:propertyDisjointWith :overlaps"@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of causally connected entities is either in isDirectCauseOf or isIndirectCauseOf relation. The two are mutually exclusive."@en , + "It applies to both quantums and macro-entities (entities made of more than one quantum). It is admissible for two entities to be one the cause of the other, excepts when they are both quantums."@en , + """The OWL 2 DL version of the EMMO introduces this object property as primitive causal relation. It refers to the macro causality relation mC(x,y), defined in the EMMO FOL version. +While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive, the OWL 2 DL version substantially simplifies the theory, neglecting these lower level relations that are well above DL expressivity."""@en ; + skos:prefLabel "isCauseOf"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + owl:annotatedProperty :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 ; + owl:annotatedTarget ":isCauseOf owl:propertyDisjointWith :overlaps"@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Due to the transitivity characteristic of :overlaps subclasses, that makes it a composite property." + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "isCauseOf"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”)."@en + ] . + + +### http://emmo.info/emmo#EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 +:EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee ; + rdf:type owl:SymmetricProperty ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that share at least one of their parts."@en ; + skos:prefLabel "overlaps"@en . + + +### http://emmo.info/emmo#EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 +:EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 ; + rdfs:domain :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A proper part of a whole, whose parts always cover the full temporal extension of the whole within a spatial interval."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "In EMMO FOL this is a defined property. In OWL temporal relations are primitive."@en ; + skos:prefLabel "hasSpatialPart"@en . + + +### http://emmo.info/emmo#EMMO_e1805abe_f5b7_4c40_810a_1a01950546be +:EMMO_e1805abe_f5b7_4c40_810a_1a01950546be rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 , + :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 , + ; + skos:prefLabel "hasFractionalCollection"@en . + + +### http://emmo.info/emmo#EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 +:EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + rdf:type owl:AsymmetricProperty , + owl:IrreflexiveProperty ; + skos:prefLabel "isTemporallyBefore"@en . + + +### http://emmo.info/emmo#EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 +:EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf owl:topObjectProperty ; + rdfs:domain :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + rdfs:range :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class for all relations used by the EMMO."@en ; + skos:prefLabel "EMMORelation"@en . + + +### http://emmo.info/emmo#EMMO_f68030be_94b8_4c61_a161_886468558054 +:EMMO_f68030be_94b8_4c61_a161_886468558054 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that identify a proper part of the whole that extends itself in time along the overall lifetime of the whole, and whose parts never cover the full spatial extension of the 4D whole."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "In EMMO FOL this is a defined property. In OWL spatial relations are primitive."@en ; + skos:altLabel "hasSpatialIntegralPart"@en ; + skos:prefLabel "hasSpatialSlice"@en . + + +### http://emmo.info/emmo#a32021dc_58d8_454b_915d_3951b413b8b7 +:a32021dc_58d8_454b_915d_3951b413b8b7 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9 , + :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f ; + rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + owl:propertyDisjointWith ; + skos:prefLabel "hasConnectedPortion"@en . + + +### http://emmo.info/emmo#a8bd7094_6b40_47af_b1f4_a69d81a3afbd +:a8bd7094_6b40_47af_b1f4_a69d81a3afbd rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ; + skos:prefLabel "isPartOf"@en . + + +### http://emmo.info/emmo#bb6febfa_5c6b_43c9_941a_4b6157b703be +:bb6febfa_5c6b_43c9_941a_4b6157b703be rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c ; + skos:prefLabel "isPortionPartOf"@en . + + +### http://emmo.info/emmo#e4f66254_7312_4de5_a86a_6e0808baaaab +:e4f66254_7312_4de5_a86a_6e0808baaaab rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ; + skos:prefLabel "isOvercrossedBy"@en . + + +### http://emmo.info/emmo#0528e41d_edd2_49f9_bd2a_aeabdc215515 + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 , + :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 , + ; + skos:prefLabel "hasMaximalCollection"@en . + + +### http://emmo.info/emmo#0558e802_46a4_45de_af85_47aff4dc427e + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 , + , + ; + skos:prefLabel "hasFractionalMember"@en . + + +### http://emmo.info/emmo#176e3f78_c867_4eca_9794_a4822660d9dc + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c ; + skos:prefLabel "isGatheredPartOf"@en . + + +### http://emmo.info/emmo#3bd4339b_e01f_43e5_a011_74a4ef3ffa90 + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f , + :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 ; + rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + skos:prefLabel "hasSubItem"@en . + + +### http://emmo.info/emmo#33fd15ab_7662_4cc6_8bf6_988422efc631 + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + owl:propertyDisjointWith ; + skos:prefLabel "hasMaximalPart"@en . + + +### http://emmo.info/emmo#5fa16188_d95b_4dd2_ac63_eae63fe01504 + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9 , + :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 ; + rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + skos:prefLabel "hasScatteredPortion"@en . + + +### http://emmo.info/emmo#76413949_896c_4363_a955_de4722c6e149 + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + skos:prefLabel "hasNonMaximalPart"@en . + + +################################################################# +# Classes +################################################################# + +### http://emmo.info/emmo#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 +:EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 rdf:type owl:Class ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ; + owl:someValuesFrom [ rdf:type owl:Class ; + owl:unionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 + :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 + ) + ] + ] , + [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 ; + owl:allValuesFrom [ rdf:type owl:Class ; + owl:unionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 + :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 + ) + ] + ] ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal chain is an ordered causal sequence of entities that does not host any bifurcation within itself (a chain). A chain can only be partitioned in time."@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of entities that possess a temporal structure but no spatial structure."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "An electron with at least one causal interaction with another particle."@en ; + :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 "hasTemporalPart min 2 (Elementary or Quantum)"@en ; + skos:altLabel "CausalChain"@en , + "CausalParticle"@en , + "Elementary"@en ; + skos:prefLabel "CausalPath"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedTarget "CausalChain"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Old French chaine, chaene (“chain”), from Latin catēna (“chain”)."@en + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedTarget "CausalParticle"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin particula (“small part, particle”), diminutive of pars (“part, piece”)."@en + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedTarget "Elementary"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)."@en + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "CausalPath"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek πάτος (pátos, “path”)."@en + ] . + + +### http://emmo.info/emmo#EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 +:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 rdf:type owl:Class ; + rdfs:subClassOf _:genid19 ; + :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. A collection can be partitioned in maximally connected items called members. The members are self-connected entities and there is no direct causality relation between them. -The combination of collection and item concepts is the EMMO mereocausality alternative to set theory. However, two items can be members only if they are non direct causally connected, giving some constraints to a collection definition. For example, two entities which are directly connected cannot be two distinct members, while their interiors (i.e. the entities obtained by removing the layer of parts that provides the causal contact between them) can be."""@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of not direct causally self-connected world entities."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "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 . - -_:genid18 a owl:Restriction; - owl:onClass :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; - owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger; - owl:onProperty :EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 . - -_:genid19 a owl:Axiom; - owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; - owl:annotatedProperty rdfs:subClassOf; - owl:annotatedTarget _:genid18; - :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 . - -_:genid20 a owl:Axiom; - owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "Collection"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin collectio, from colligere ‘gather together’."@en . - -:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 a owl:Class; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A quantum is the most fundamental item (both mereologically and causally) and is considered causally self-connected by definition. +The combination of collection and item concepts is the EMMO mereocausality alternative to set theory. However, two items can be members only if they are non direct causally connected, giving some constraints to a collection definition. For example, two entities which are directly connected cannot be two distinct members, while their interiors (i.e. the entities obtained by removing the layer of parts that provides the causal contact between them) can be."""@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of not direct causally self-connected world entities."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "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 . + +_:genid19 rdf:type owl:Restriction ; + owl:onProperty :EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 ; + owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; + owl:onClass :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedTarget _:genid19 ; + :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 + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "Collection"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin collectio, from colligere ‘gather together’."@en + ] . + + +### http://emmo.info/emmo#EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 +:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 rdf:type owl:Class ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A quantum is the most fundamental item (both mereologically and causally) and is considered causally self-connected by definition. The quantum concept recalls the fact that there is lower epistemological limit to our knowledge of the universe, related to the uncertainity principle. Space and time emerge following the network of causal connections between quantum objects. So quantum objects are adimensional objects, that precede space and time dimensions: they are simple beings (in greek οντα). -Using physics concepts, we can think the quantum as an elementary particle (e.g. an electron) in a specific state between two causal interactions."""@en; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The class of entities without proper parts."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of the mereological and causal fundamental entities."@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """From a physics perspective a quantum can be related to smallest identifiable entities, according to the limits imposed by the uncertainty principle in space and time measurements. -However, the quantum mereotopology approach is not restricted only to physics. For example, in a manpower management ontology, a quantum can stand for an hour (time) of a worker (space) activity."""@en; - :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; - skos:prefLabel "Quantum"@en . - -_:genid21 a owl:Axiom; - owl:annotatedSource :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "Quantum"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin quantum (plural quanta) \"as much as, so much as\"."@en . - -:EMMO_6c03574f_6daa_4488_a970_ee355cca2530 a owl:Class; - owl:disjointUnionOf _:genid23; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The concept is based on the common usage of the word \"particle\", that is used to identify both a specific state of an elementary particle (a quantum) and both the chain of quantums that expresses the evolution of the particle in time."@en; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The union of Elementary and Quantum classes."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of entities that have no spatial structure."@en; - skos:prefLabel "CausalParticle"@en . - -_:genid23 a rdf:List; - rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; - rdf:rest _:genid22 . - -_:genid22 a rdf:List; - rdf:first :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; - rdf:rest rdf:nil . - -_:genid24 a owl:Axiom; - owl:annotatedSource :EMMO_6c03574f_6daa_4488_a970_ee355cca2530; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "CausalParticle"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin particula (“small part, particle”), diminutive of pars (“part, piece”)."@en . - -:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf a owl:Class; - rdfs:subClassOf _:genid25, _:genid27; - owl:disjointUnionOf _:genid31; - :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. +Using physics concepts, we can think the quantum as an elementary particle (e.g. an electron) in a specific state between two causal interactions."""@en ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The class of entities without proper parts."@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of the mereological and causal fundamental entities."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """From a physics perspective a quantum can be related to smallest identifiable entities, according to the limits imposed by the uncertainty principle in space and time measurements. +However, the quantum mereotopology approach is not restricted only to physics. For example, in a manpower management ontology, a quantum can stand for an hour (time) of a worker (space) activity."""@en ; + :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 ; + skos:prefLabel "Quantum"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "Quantum"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin quantum (plural quanta) \"as much as, so much as\"."@en + ] . + + +### http://emmo.info/emmo#EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 +:EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 rdf:type owl:Class ; + owl:disjointUnionOf ( :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 + :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de + ) ; + skos:prefLabel "Mereological"@en . + + +### http://emmo.info/emmo#EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf +:EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf rdf:type owl:Class ; + rdfs:subClassOf _:genid25 , + _:genid27 ; + owl:disjointUnionOf ( :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 + :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 + ) ; + :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. 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. 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; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of the Item and Collection classes."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of all the OWL individuals declared by EMMO as standing for world entities."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """EMMO entities dimensionality is related to their mereocausal structures. From the no-dimensional quantum entity, we introduce time dimension with the elementary concept, and the spacetime with the causal system concept. +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 ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of the Item and Collection classes."@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of all the OWL individuals declared by EMMO as standing for world entities."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """EMMO entities dimensionality is related to their mereocausal structures. From the no-dimensional quantum entity, we introduce time dimension with the elementary concept, and the spacetime with the causal system concept. The EMMO conceptualisation does not allow the existence of space without a temporal dimension, the latter coming from a causal relation between entities. -For this reason, the EMMO entities that are not quantum or elementaries, may be considered to be always spatiotemporal. The EMMO poses no constraints to the number of spatial dimensions for a causal system (except being higher than one)."""@en; - skos:prefLabel "EMMO"@en . - -_:genid25 a owl:Restriction; - owl:someValuesFrom :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; - owl:onProperty :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . - -_:genid27 a owl:Restriction; - owl:hasValue :EMMO_08cb807c_e626_447b_863f_e2835540e918; - owl:onProperty _:genid28 . - -_:genid28 owl:inverseOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . - -_:genid31 a rdf:List; - rdf:first :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; - rdf:rest _:genid30 . - -_:genid30 a rdf:List; - rdf:first :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; - rdf:rest rdf:nil . - -_:genid26 a owl:Axiom; - owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; - owl:annotatedProperty rdfs:subClassOf; - owl:annotatedTarget _:genid25; - :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 . - -_:genid29 a owl:Axiom; - owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; - owl:annotatedProperty rdfs:subClassOf; - owl:annotatedTarget _:genid27; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@en . - -_:genid32 a owl:Axiom; - owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; - owl:annotatedProperty :EMMO_31252f35_c767_4b97_a877_1235076c3e13; - 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. +For this reason, the EMMO entities that are not quantum or elementaries, may be considered to be always spatiotemporal. The EMMO poses no constraints to the number of spatial dimensions for a causal system (except being higher than one)."""@en ; + skos:prefLabel "EMMO"@en . + +_:genid25 rdf:type owl:Restriction ; + owl:onProperty :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; + owl:someValuesFrom :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 . + +_:genid27 rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f + ] ; + owl:hasValue :EMMO_08cb807c_e626_447b_863f_e2835540e918 . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedTarget _:genid25 ; + :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 + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedTarget _:genid27 ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@en + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedProperty :EMMO_31252f35_c767_4b97_a877_1235076c3e13 ; + 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. 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; - :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 . - -_:genid33 a owl:Axiom; - owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; - owl:annotatedProperty :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84; - owl:annotatedTarget "The disjoint union of the Item and Collection classes."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The union implies that world entities can only be items or collections (standing for a collection of causally disconnected items). -Disjointness means that 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 . - -_:genid34 a owl:Axiom; - owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "EMMO"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "EMMO is the acronym of Elementary Multiperspective Material Ontology."@en . - -:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d a owl:Class; - owl:disjointUnionOf _:genid36; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """The most fundamental unity criterion for the definition of an structure is that: -- is made of at least two quantums (a structure is not a simple entity) -- all quantum parts form a causally connected graph"""@en; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The union of CausalPath and CausalSystem classes."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A self-connected composition of more than one quantum entities."@en; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A causal structure expresses itself in time and space thanks to the underlying causality relations between its constituent quantum entities. It must at least provide two temporal parts. -The unity criterion beyond the definition of a causal structure (the most general concept of structure) is the existence of an undirected causal path between each of its parts."""@en; - skos:altLabel "CausalObject"@en; - skos:prefLabel "CausalStructure"@en . - -_:genid36 a rdf:List; - rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; - rdf:rest _:genid35 . - -_:genid35 a rdf:List; - rdf:first :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; - rdf:rest rdf:nil . - -_:genid37 a owl:Axiom; - owl:annotatedSource :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d; - owl:annotatedProperty skos:altLabel; - owl:annotatedTarget "CausalObject"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and Medieval Latin obiectum (“object”, literally “thrown against”)."@en . - -_:genid38 a owl:Axiom; - owl:annotatedSource :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "CausalStructure"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and from Latin struere (“arrange, assemble, build”)."@en . - -:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac a owl:Class; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal system provides the most general concept of system, being a union of causal structures interacting together. In its most simple form, a causal system is an interlacement of causal paths (the most simple structure type)."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A non-path causal structure"@en; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A electron binded by a nucleus."@en; - skos:prefLabel "CausalSystem"@en . - -_:genid39 a owl:Axiom; - owl:annotatedSource :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "CausalSystem"@en; - :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 . - -:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de a owl:Class; - owl:disjointUnionOf _:genid42; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A world entity is direct causally self-connected if any two parts that make up the whole are direct causally connected to each other. In the EMMO, topological connectivity is based on causality. +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 ; + :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 + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedProperty :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 ; + owl:annotatedTarget "The disjoint union of the Item and Collection classes."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The union implies that world entities can only be items or collections (standing for a collection of causally disconnected items). +Disjointness means that 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 + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "EMMO"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "EMMO is the acronym of Elementary Multiperspective Material Ontology."@en + ] . + + +### http://emmo.info/emmo#EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac +:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac rdf:type owl:Class ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal system provides the most general concept of system, being a union of causal structures interacting together. In its most simple form, a causal system is an interlacement of causal paths (the most simple structure type)."@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A non-path causal structure"@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A electron binded by a nucleus."@en ; + skos:prefLabel "CausalSystem"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "CausalSystem"@en ; + :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 + ] . + + +### http://emmo.info/emmo#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de +:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de rdf:type owl:Class ; + owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 + :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac + ) ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A world entity is direct causally self-connected if any two parts that make up the whole are direct causally connected to each other. In the EMMO, topological connectivity is based on causality. All physical objects, i.e. entities whose behaviour is explained by physics laws, are represented only by items. In other words, a physical object part is embedded in a direct causal graph that provides always a path between two of its parts. Members of a collection lack such direct causality connection, i.e. they do not constitute a physical object. -Following graph theory concepts, the quantums of an item are all connected together within a network of causal relations, forming a connected causal graph. A collection is then a set of disconnected graphs."""@en; - :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of Elementary, Quantum and CausalSystem classes."@en; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals standing for direct causally self-connected world entities."@en; - skos:prefLabel "Item"@en . - -_:genid42 a rdf:List; - rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; - rdf:rest _:genid41 . - -_:genid41 a rdf:List; - rdf:first :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; - rdf:rest _:genid40 . - -_:genid40 a rdf:List; - rdf:first :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; - rdf:rest rdf:nil . - -_:genid43 a owl:Axiom; - owl:annotatedSource :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; - owl:annotatedProperty skos:prefLabel; - owl:annotatedTarget "Item"@en; - :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin item, \"likewise, just so, moreover\"."@en . - -:EMMO_08cb807c_e626_447b_863f_e2835540e918 a owl:NamedIndividual, :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; - :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The universe is considered as a causally self-connected object, encompassing all other objects. For this reason is unique."@en; - skos:prefLabel "universe"@en . - - a . - - a . - - a . - -_:genid44 a ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing the fact that an entity cannot cause itself."@en; - _:genid45; - _:genid47 . - -_:genid45 a ; - rdf:first _:genid46; - rdf:rest rdf:nil . - -_:genid46 a ; - ; - :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf . - -_:genid47 a ; - rdf:first _:genid48; - rdf:rest rdf:nil . - -_:genid48 a ; - ; - ; - :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d . - -_:genid49 a ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing parthood reflexivity."@en; - _:genid50; - _:genid52 . - -_:genid50 a ; - rdf:first _:genid51; - rdf:rest rdf:nil . - -_:genid51 a ; - ; - :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf . - -_:genid52 a ; - rdf:first _:genid53; - rdf:rest rdf:nil . - -_:genid53 a ; - ; - ; - :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . - -_:genid54 a ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing reflexivity of overlapping."@en; - _:genid55; - _:genid57 . - -_:genid55 a ; - rdf:first _:genid56; - rdf:rest rdf:nil . - -_:genid56 a ; - ; - :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf . - -_:genid57 a ; - rdf:first _:genid58; - rdf:rest rdf:nil . - -_:genid58 a ; - ; - ; - :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 . - -_:genid59 a ; - rdfs:comment "Implementation of equality based on mereology."^^rdfs:Literal; - _:genid62; - _:genid64 . - -_:genid62 a ; - rdf:first _:genid63; - rdf:rest _:genid60 . - -_:genid60 a ; - rdf:first _:genid61; - rdf:rest rdf:nil . - -_:genid61 a ; - ; - ; - :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . - -_:genid63 a ; - ; - ; - :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . - -_:genid64 a ; - rdf:first _:genid65; - rdf:rest rdf:nil . - -_:genid65 a ; - ; - . - -_:genid66 a ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for parthood."@en; - _:genid69; - _:genid71 . - -_:genid69 a ; - rdf:first _:genid70; - rdf:rest _:genid67 . - -_:genid67 a ; - rdf:first _:genid68; - rdf:rest rdf:nil . - -_:genid68 a ; - ; - ; - :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . - -_:genid70 a ; - ; - ; - :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . - -_:genid71 a ; - rdf:first _:genid72; - rdf:rest rdf:nil . - -_:genid72 a ; - ; - ; - :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . - -_:genid73 a ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing a strict one-way causality direction."@en; - _:genid74; - _:genid76 . - -_:genid74 a ; - rdf:first _:genid75; - rdf:rest rdf:nil . - -_:genid75 a ; - ; - ; - :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 . - -_:genid76 a ; - rdf:first _:genid77; - rdf:rest rdf:nil . - -_:genid77 a ; - ; - ; - :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d . - -_:genid78 a ; - rdfs:comment "Ensure that the hasNext relation expresses a strictly one-way causality arrow between two entities."^^rdfs:Literal; - _:genid79; - _:genid81 . - -_:genid79 a ; - rdf:first _:genid80; - rdf:rest rdf:nil . - -_:genid80 a ; - ; - ; - :EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d . - -_:genid81 a ; - rdf:first _:genid82; - rdf:rest rdf:nil . - -_:genid82 a ; - ; - ; - :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d . - -_:genid83 a ; - _:genid84; - _:genid86 . - -_:genid84 a ; - rdf:first _:genid85; - rdf:rest rdf:nil . - -_:genid85 a ; - ; - ; - :EMMO_6835537c_d294_4005_a770_ec9621f29ed1 . - -_:genid86 a ; - rdf:first _:genid87; - rdf:rest rdf:nil . - -_:genid87 a ; - ; - . - -_:genid88 a ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for proper parthood."@en; - _:genid91; - _:genid93 . - -_:genid91 a ; - rdf:first _:genid92; - rdf:rest _:genid89 . - -_:genid89 a ; - rdf:first _:genid90; - rdf:rest rdf:nil . - -_:genid90 a ; - ; - ; - :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 . - -_:genid92 a ; - ; - ; - :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 . - -_:genid93 a ; - rdf:first _:genid94; - rdf:rest rdf:nil . - -_:genid94 a ; - ; - ; - :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 . - -_:genid95 a ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing exclusivity between overlapping and causality."@en; - _:genid96; - _:genid98 . - -_:genid96 a ; - rdf:first _:genid97; - rdf:rest rdf:nil . - -_:genid97 a ; - ; - ; - :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 . - -_:genid98 a ; - rdf:first _:genid99; - rdf:rest rdf:nil . - -_:genid99 a ; - ; - ; - :EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead . +Following graph theory concepts, the quantums of an item are all connected together within a network of causal relations, forming a connected causal graph. A collection is then a set of disconnected graphs."""@en , + """The most fundamental unity criterion for the definition of an structure is that: +- is made of at least two quantums (a structure is not a simple entity) +- all quantum parts form a causally connected graph"""@en ; + :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of Causal Path and CausalSystem classes."@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals standing for direct causally self-connected world entities."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A causal structure expresses itself in time and space thanks to the underlying causality relations between its constituent quantum entities. It must at least provide two temporal parts. +The unity criterion beyond the definition of a causal structure (the most general concept of structure) is the existence of an undirected causal path between each of its parts."""@en ; + skos:altLabel "CausalObject"@en , + "CausalStructure"@en ; + skos:prefLabel "Item"@en . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedTarget "CausalObject"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and Medieval Latin obiectum (“object”, literally “thrown against”)."@en + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + owl:annotatedProperty skos:altLabel ; + owl:annotatedTarget "CausalStructure"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and from Latin struere (“arrange, assemble, build”)."@en + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ; + owl:annotatedProperty skos:prefLabel ; + owl:annotatedTarget "Item"@en ; + :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin item, \"likewise, just so, moreover\"."@en + ] . + + +################################################################# +# Individuals +################################################################# + +### http://emmo.info/emmo#EMMO_08cb807c_e626_447b_863f_e2835540e918 +:EMMO_08cb807c_e626_447b_863f_e2835540e918 rdf:type owl:NamedIndividual , + :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; + :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The universe is considered as a causally self-connected object, encompassing all other objects. For this reason is unique."@en ; + skos:prefLabel "universe"@en . + + +################################################################# +# Rules +################################################################# + + rdf:type . + + rdf:type . + + rdf:type . + +[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing the fact that an entity cannot cause itself."@en ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + + ] ; + rdf:rest rdf:nil + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing parthood reflexivity."@en ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + + ] ; + rdf:rest rdf:nil + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing reflexivity of overlapping."@en ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ; + + ] ; + rdf:rest rdf:nil + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ rdfs:comment "Implementation of equality based on mereology."^^rdfs:Literal ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; + ; + + ] ; + rdf:rest [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for parthood."@en ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; + ; + + ] ; + rdf:rest [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing a strict one-way causality direction."@en ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 ; + ; + + ] ; + rdf:rest rdf:nil + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ rdfs:comment "Ensure that the hasNext relation expresses a strictly one-way causality arrow between two entities."^^rdfs:Literal ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d ; + ; + + ] ; + rdf:rest rdf:nil + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_6835537c_d294_4005_a770_ec9621f29ed1 ; + ; + + ] ; + rdf:rest rdf:nil + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for proper parthood."@en ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + ; + + ] ; + rdf:rest [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +[ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing exclusivity between overlapping and causality."@en ; + rdf:type ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 ; + ; + + ] ; + rdf:rest rdf:nil + ] ; + [ rdf:type ; + rdf:first [ rdf:type ; + :EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead ; + ; + + ] ; + rdf:rest rdf:nil + ] + ] . + +### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi diff --git a/perspectives/perspective.ttl b/perspectives/perspective.ttl index 076e42b7..6f5c6a64 100644 --- a/perspectives/perspective.ttl +++ b/perspectives/perspective.ttl @@ -1,3 +1,4 @@ +@base . @prefix : . @prefix owl: . @prefix rdf: . @@ -6,51 +7,51 @@ @prefix rdfs: . @prefix skos: . @prefix dcterms: . -@base . - - rdf:type owl:Ontology ; - owl:versionIRI ; - owl:imports ; - dcterms:abstract """The perspective module provides the practical implementation of the EMMO pluralistic approach for which the only objective categorization is provided by the Universe individual and all the Quantum individuals. - -Between these two extremes, there are several subjective ways to categorize real world objects, each one provide under a 'Perspective' subclass."""@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 "Perspective"@en ; - rdfs:comment """Contacts: +# +# +# ################################################################# +# # +# # Classes +# # +# ################################################################# +# +# +# http://emmo.info/emmo#EMMO_49267eba_5548_4163_8f36_518d65b583f9 +# +# 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 """The perspective module provides the practical implementation of the EMMO pluralistic approach for which the only objective categorization is provided by the Universe individual and all the Quantum individuals. + +Between these two extremes, there are several subjective ways to categorize real world objects, each one provide under a 'Perspective' subclass."""@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 "Perspective"@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" . - -################################################################# -# Classes -################################################################# - -### http://emmo.info/emmo#EMMO_49267eba_5548_4163_8f36_518d65b583f9 -:EMMO_49267eba_5548_4163_8f36_518d65b583f9 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of causal objects that stand for world objects according to a specific representational perspective."@en ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """This class is the practical implementation of the EMMO pluralistic approach for which the only objective categorization is provided by the Universe individual and all the Quantum individuals. -Between these two extremes, there are several subjective ways to categorize real world objects, each one provide under a 'Perspective' subclass."""@en ; - skos:prefLabel "Perspective"@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :EMMO_49267eba_5548_4163_8f36_518d65b583f9 ; - owl:annotatedProperty skos:prefLabel ; - owl:annotatedTarget "Perspective"@en ; - :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 - ] . - - -### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi +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_49267eba_5548_4163_8f36_518d65b583f9 a owl:Class; + rdfs:subClassOf :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of causal objects that stand for world objects according to a specific representational perspective."@en; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """This class is the practical implementation of the EMMO pluralistic approach for which the only objective categorization is provided by the Universe individual and all the Quantum individuals. +Between these two extremes, there are several subjective ways to categorize real world objects, each one provide under a 'Perspective' subclass."""@en; + skos:prefLabel "Perspective"@en . + +_:genid1 a owl:Axiom; + owl:annotatedSource :EMMO_49267eba_5548_4163_8f36_518d65b583f9; + owl:annotatedProperty skos:prefLabel; + owl:annotatedTarget "Perspective"@en; + :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 .