20231102

emmo-repo · Nov 2, 2023 · 03bf7b2 · 03bf7b2
1 parent 159ca5f
commit 03bf7b2
Show file tree

Hide file tree

Showing 5 changed files with 866 additions and 17 deletions.
diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl
@@ -64,7 +64,8 @@ email: emanuele.ghedini@unibo.it"""@en ,
 
 ###  http://emmo.info/emmo#EMMO_b35e92d7_7fa0_4661_aa5a_5cea7c8e6925
 :EMMO_b35e92d7_7fa0_4661_aa5a_5cea7c8e6925 rdf:type owl:DatatypeProperty ;
-                                           rdfs:subPropertyOf :EMMO_02face50_43a1_40ce_a909_dfe54d5e186b ;
+                                           rdfs:subPropertyOf :b6292331_94af_4f00_976b_ea55960c2f1c ;
+                                           rdfs:domain :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ;
                                            rdfs:range xsd:anyURI ;
                                            skos:prefLabel "hasURIValue"@en .
 
@@ -137,6 +138,20 @@ email: emanuele.ghedini@unibo.it"""@en ,
                                            skos:prefLabel "ApplicationProgram"@en .
 
 
+###  http://emmo.info/emmo#EMMO_49bafe5c_7b7f_4f82_81bb_754bf76ce9e3
+:EMMO_49bafe5c_7b7f_4f82_81bb_754bf76ce9e3 rdf:type owl:Class ;
+                                           rdfs:subClassOf :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ;
+                                           :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The Internationalized Resource Identifier (IRI) is a Uniform Resource Identifier (URI) that may additionally contain most characters from the Universal Character Set (Unicode/ISO 10646)."@en ;
+                                           skos:prefLabel "IRI"@en .
+
+[ rdf:type owl:Axiom ;
+   owl:annotatedSource :EMMO_49bafe5c_7b7f_4f82_81bb_754bf76ce9e3 ;
+   owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ;
+   owl:annotatedTarget "The Internationalized Resource Identifier (IRI) is a Uniform Resource Identifier (URI) that may additionally contain most characters from the Universal Character Set (Unicode/ISO 10646)."@en ;
+   rdfs:isDefinedBy "https://datatracker.ietf.org/doc/html/rfc3987"^^xsd:anyURI
+ ] .
+
+
 ###  http://emmo.info/emmo#EMMO_4db96fb7_e9e0_466d_942b_f6f17bfdc145
 :EMMO_4db96fb7_e9e0_466d_942b_f6f17bfdc145 rdf:type owl:Class ;
                                            rdfs:subClassOf :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ;
@@ -219,6 +234,13 @@ email: emanuele.ghedini@unibo.it"""@en ,
 Here we explicitly include in the definition also all the data (e.g. source code, script files) that takes part to the building of the executable, are necessary to the execution of a program or that document it for the users."""@en ;
                                            skos:prefLabel "Software"@en .
 
+[ rdf:type owl:Axiom ;
+   owl:annotatedSource :EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ;
+   owl:annotatedProperty skos:prefLabel ;
+   owl:annotatedTarget "Software"@en ;
+   :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From soft +‎ -ware, by contrast with hardware (“the computer itself”). Coined by Paul Niquette in 1953."@en
+ ] .
+
 [ rdf:type owl:Axiom ;
    owl:annotatedSource :EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ;
    owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ;
@@ -234,13 +256,6 @@ Here we explicitly include in the definition also all the data (e.g. source code
    rdfs:seeAlso "http://www.linfo.org/program.html"^^xsd:anyURI
  ] .
 
-[ rdf:type owl:Axiom ;
-   owl:annotatedSource :EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ;
-   owl:annotatedProperty skos:prefLabel ;
-   owl:annotatedTarget "Software"@en ;
-   :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From soft +‎ -ware, by contrast with hardware (“the computer itself”). Coined by Paul Niquette in 1953."@en
- ] .
-
 
 ###  http://emmo.info/emmo#EMMO_8a8f664b_dc59_4e00_ae00_81fdf1e1d12e
 :EMMO_8a8f664b_dc59_4e00_ae00_81fdf1e1d12e rdf:type owl:Class ;
@@ -347,4 +362,4 @@ Here we explicitly include in the definition also all the data (e.g. source code
                                                              skos:prefLabel "DataStructure"@en .
 
 
-###  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
diff --git a/disciplines/manufacturing.ttl b/disciplines/manufacturing.ttl
@@ -1719,6 +1719,11 @@ manufacturing process: set of processes in manufacturing involving a flow and/or
                                                                                     ) ;
                                                                  rdf:type owl:Class
                                                                ] ;
+                                           rdfs:subClassOf [ rdf:type owl:Restriction ;
+                                                             owl:onProperty [ owl:inverseOf :EMMO_c4bace1d_4db0_4cd3_87e9_18122bae2840
+                                                                            ] ;
+                                                             owl:someValuesFrom :EMMO_a4d66059_5dd3_4b90_b4cb_10960559441b
+                                                           ] ;
                                            :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A material that is obtained through a manufacturing process."@en ;
                                            skos:altLabel "EngineeredMaterial"@en ,
                                                          "ProcessedMaterial"@en ;
@@ -1825,4 +1830,4 @@ manufacturing process: set of processes in manufacturing involving a flow and/or
                                            skos:prefLabel "FromWorkPIecetoWorkPiece"@en .
 
 
-###  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
diff --git a/multiperspective/persholistic.ttl b/multiperspective/persholistic.ttl
@@ -344,7 +344,7 @@ Since topological connection means causality, then the only way for a real world
 ###  http://emmo.info/emmo#EMMO_65a007dc_2550_46b0_b394_3346c67fbb69
 :EMMO_65a007dc_2550_46b0_b394_3346c67fbb69 rdf:type owl:Class ;
                                            rdfs:subClassOf [ rdf:type owl:Restriction ;
-                                                             owl:onProperty :EMMO_dba27ca1_33c9_4443_a912_1519ce4c39ec ;
+                                                             owl:onProperty :EMMO_3c7f239f_e833_4a2b_98a1_c88831770c1b ;
                                                              owl:someValuesFrom :EMMO_f76884f7_964e_488e_9bb7_1b2453e9e817
                                                            ] ;
                                            :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An object that is made of a set of sub objects working together as parts of a mechanism or an interconnecting network (natural or artificial); a complex whole."@en ;
@@ -475,4 +475,4 @@ organization: person or group of people that has its own functions with responsi
 :EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2 rdfs:seeAlso :EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0 .
 
 
-###  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
diff --git a/perspectives/standardmodel.ttl b/perspectives/standardmodel.ttl
@@ -231,10 +231,6 @@ email: emanuele.ghedini@unibo.it"""@en ,
                                            skos:prefLabel "BlueTopQuark"@en .
 
 
-###  http://emmo.info/emmo#EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68
-:EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 owl:equivalentClass :EMMO_c26a0340_d619_4928_b1a1_1a04e88bb89d .
-
-
 ###  http://emmo.info/emmo#EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87
 :EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87 rdf:type owl:Class ;
                                            rdfs:subClassOf :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ;
@@ -664,6 +660,7 @@ So, a photon leaving a body is not part of the body as convex system, while a ph
 
 ###  http://emmo.info/emmo#EMMO_c26a0340_d619_4928_b1a1_1a04e88bb89d
 :EMMO_c26a0340_d619_4928_b1a1_1a04e88bb89d rdf:type owl:Class ;
+                                           rdfs:subClassOf :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 ;
                                            owl:disjointUnionOf ( :EMMO_8dbaf3ca_8f0d_4c45_92e1_c6d805b83c87
                                                                  :EMMO_fa3c9d4d_9fc9_4e8a_82c1_28c84e34133a
                                                                ) ;
@@ -996,4 +993,4 @@ For this reason graviton is an useful concept to homogenize the approach between
                                                              skos:prefLabel "MultiParticlePath"@en .
 
 
-###  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