Skip to content

Commit

Permalink
20231123
Browse files Browse the repository at this point in the history
  • Loading branch information
@emanueleghedini
emanueleghedini committed Dec 1, 2023
1 parent 2c2add9 commit 442ff37
Show file tree
Hide file tree
Showing 6 changed files with 942 additions and 65 deletions.
16 changes: 15 additions & 1 deletion disciplines/computerscience.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@ rdf:JSON rdf:type rdfs:Datatype .


### http://emmo.info/emmo#EMMO_faf79f53_749d_40b2_807c_d34244c192f4
:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdfs:range owl:real .
:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdfs:domain :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a .


#################################################################
Expand Down Expand Up @@ -120,6 +120,10 @@ rdf:JSON rdf:type rdfs:Datatype .
skos:prefLabel "JavaScript"@en .


### http://emmo.info/emmo#EMMO_18d180e4_5e3e_42f7_820c_e08951223486
:EMMO_18d180e4_5e3e_42f7_820c_e08951223486 rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a .


### http://emmo.info/emmo#EMMO_1abe0ea7_2378_402f_b950_89b0795d2f45
:EMMO_1abe0ea7_2378_402f_b950_89b0795d2f45 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
Expand Down Expand Up @@ -310,6 +314,10 @@ Here we explicitly include in the definition also all the data (e.g. source code
] .


### http://emmo.info/emmo#EMMO_88a34881_b8d0_474b_9a08_40dbd414d834
:EMMO_88a34881_b8d0_474b_9a08_40dbd414d834 rdfs:subClassOf :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a .


### http://emmo.info/emmo#EMMO_8a8f664b_dc59_4e00_ae00_81fdf1e1d12e
:EMMO_8a8f664b_dc59_4e00_ae00_81fdf1e1d12e rdf:type owl:Class ;
rdfs:subClassOf :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ;
Expand All @@ -324,6 +332,12 @@ Here we explicitly include in the definition also all the data (e.g. source code
] .


### http://emmo.info/emmo#EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a
:EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a rdf:type owl:Class ;
rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ;
skos:prefLabel "NumericData"@en .


### http://emmo.info/emmo#EMMO_90bfd475_ba4a_4065_b0c1_1f08230be252
:EMMO_90bfd475_ba4a_4065_b0c1_1f08230be252 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
Expand Down
14 changes: 11 additions & 3 deletions mereocausality/mereocausality.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -690,7 +690,8 @@ While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive

### 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 ;
rdfs:subClassOf :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d ,
[ 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
Expand Down Expand Up @@ -746,7 +747,8 @@ While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive

### http://emmo.info/emmo#EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31
:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 rdf:type owl:Class ;
rdfs:subClassOf _:genid19 ;
rdfs:subClassOf :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 ,
_: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 ;
Expand Down Expand Up @@ -776,6 +778,7 @@ _:genid19 rdf:type owl:Restriction ;

### http://emmo.info/emmo#EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68
:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
: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 οντα).
Expand All @@ -797,6 +800,7 @@ 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 ;
rdfs:subClassOf :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31
:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac
Expand Down Expand Up @@ -877,6 +881,8 @@ 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 ;
rdfs:subClassOf :EMMO_53ed8611_2cd7_4286_9ef0_36572117b963 ,
:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac
) ;
Expand All @@ -899,6 +905,7 @@ The unity criterion beyond the definition of a causal structure (the most genera

### http://emmo.info/emmo#EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac
:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac rdf:type owl:Class ;
rdfs:subClassOf :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d ;
: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 ;
Expand All @@ -914,6 +921,7 @@ The unity criterion beyond the definition of a causal structure (the most genera

### http://emmo.info/emmo#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de
:EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de rdf:type owl:Class ;
rdfs:subClassOf :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf ;
owl:disjointUnionOf ( :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360
:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68
:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac
Expand Down Expand Up @@ -1179,4 +1187,4 @@ Following graph theory concepts, the quantums of an item are all connected toget
]
] .

### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi
### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
Loading

0 comments on commit 442ff37

Please sign in to comment.