Skip to content

Commit

Permalink
tmp
Browse files Browse the repository at this point in the history
  • Loading branch information
@nanodome
nanodome committed Oct 26, 2023
1 parent 7d263a1 commit a1717e4
Show file tree
Hide file tree
Showing 6 changed files with 91 additions and 57 deletions.
69 changes: 41 additions & 28 deletions mereocausality/mereocausality.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -797,18 +797,21 @@ However, the quantum mereotopology approach is not restricted only to physics. F

### 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
owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31
:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac
) ;
skos:prefLabel "MereologicalFusion"@en .
skos:prefLabel "Fusion"@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
rdfs:subClassOf _:genid26 ,
_:genid28 ;
owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31
:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68
:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac
) ;
: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.
Expand All @@ -822,26 +825,26 @@ The EMMO conceptualisation does not allow the existence of space without a tempo
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 ;
_:genid26 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 ;
_:genid28 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 ;
owl:annotatedTarget _:genid26 ;
: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 ;
owl:annotatedTarget _:genid28 ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@en
] .

Expand Down Expand Up @@ -872,6 +875,28 @@ Disjointness means that a collection cannot be an item and viceversa, representi
] .


### http://emmo.info/emmo#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d
:EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d rdf:type owl:Class ;
owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac
) ;
: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""" ;
:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of Causal Path and CausalSystem classes." ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals standing for direct causally self-connected world entities." ;
: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.""" ;
skos:prefLabel "CausalStructure"@en .

[ rdf:type 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
] .


### 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 ;
Expand All @@ -890,22 +915,17 @@ Disjointness means that a collection cannot be an item and viceversa, representi
### 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_3f9ae00e_810c_4518_aec2_7200e424cf68
: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 ,
"""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 ;
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 Quantum, Causal Path and CausalSystem classes."@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals standing for quantum or direct causally self-connected world entities."@en ;
skos:altLabel "CausalObject"@en ;
skos:prefLabel "Item"@en .

[ rdf:type owl:Axiom ;
Expand All @@ -915,13 +935,6 @@ The unity criterion beyond the definition of a causal structure (the most genera
: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 ;
Expand Down
2 changes: 1 addition & 1 deletion multiperspective/persholistic.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -207,7 +207,7 @@ Participation is not under direct parthood since a process is not strictly relat
rdfs:subPropertyOf :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 ;
rdfs:domain :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
rdfs:range :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ;
skos:prefLabel "partakesTo"@en .
skos:prefLabel "partakesIn"@en .


### http://emmo.info/emmo#EMMO_ea7724fe_ba5d_4201_865e_761cb6fe9f99
Expand Down
3 changes: 3 additions & 0 deletions perspectives/holistic.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,9 @@ email: [email protected]"""@en ,
### http://emmo.info/emmo#EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6
:EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "DP(x, y) ≡ PP(x, y) ∧ ∃φ[φ(x) ↔ ¬φ(y)]" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A proper part relation between an entity and one of its proper parts that belongs to different taxonomical branch." ;
:EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A molecule is a distinct part of a fluid." ;
skos:prefLabel "hasDistinctPart"@en .


Expand Down
54 changes: 27 additions & 27 deletions perspectives/perspectives.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,18 +6,18 @@
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@base <http://emmo.info/emmo/perspectives> .
@base <http://emmo.info/emmo#> .

<http://emmo.info/emmo/perspectives> rdf:type owl:Ontology ;
owl:versionIRI <http://emmo.info/emmo/1.0.0-beta5/perspectives> ;
owl:imports <http://emmo.info/emmo/1.0.0-beta5/perspectives/data> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/holistic> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/persistence> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/physicalistic> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/semiotics> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/reductionistic> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/perceptual> ;
dcterms:abstract """The EMMO perspectives level ontology is a container for the EMMO perspectives level ontologies.
owl:versionIRI <http://emmo.info/emmo/1.0.0-beta5/perspectives> ;
owl:imports <http://emmo.info/emmo/1.0.0-beta5/perspectives/data> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/holistic> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/perceptual> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/persistence> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/physicalistic> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/reductionistic> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/semiotics> ;
dcterms:abstract """The EMMO perspectives level ontology is a container for the EMMO perspectives level ontologies.
The perspectives level ontologies act as roots for extending the EMMO towards specific application domains. They describe the world from different perspectives, including
- physicalistic
Expand All @@ -27,28 +27,28 @@ The perspectives level ontologies act as roots for extending the EMMO towards sp
- data
- semiotic
- persistence"""@en ;
dcterms:contributor "Access, DE" ,
"Fraunhofer IWM, DE" ,
"Goldbeck Consulting Ltd (UK)" ,
"SINTEF, NO" ,
"University of Bologna, IT" ;
dcterms:creator "Adham Hashibon" ,
"Emanuele Ghedini" ,
"Georg Schmitz" ,
"Gerhard Goldbeck" ,
"Jesper Friis" ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher "EMMC ASBL" ;
dcterms:title "EMMO perspectives-level ontology"@en ;
rdfs:comment """Contacts:
dcterms:contributor "Access, DE" ,
"Fraunhofer IWM, DE" ,
"Goldbeck Consulting Ltd (UK)" ,
"SINTEF, NO" ,
"University of Bologna, IT" ;
dcterms:creator "Adham Hashibon" ,
"Emanuele Ghedini" ,
"Georg Schmitz" ,
"Gerhard Goldbeck" ,
"Jesper Friis" ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher "EMMC ASBL" ;
dcterms:title "EMMO perspectives-level ontology"@en ;
rdfs:comment """Contacts:
Gerhard Goldbeck
Goldbeck Consulting Ltd (UK)
email: [email protected]
Emanuele Ghedini
University of Bologna (IT)
email: [email protected]"""@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" .
"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" .

### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi
Loading

0 comments on commit a1717e4

Please sign in to comment.