From b926c1eb0a9ab94e9c2dadc5beb74804854a3a2c Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 5 Nov 2023 21:40:53 +0100 Subject: [PATCH 01/16] Added missing elucitations to semiotics. Also added hasDescription relation. --- perspectives/semiotics.ttl | 31 +++++++++++++++++++++++++++++-- 1 file changed, 29 insertions(+), 2 deletions(-) diff --git a/perspectives/semiotics.ttl b/perspectives/semiotics.ttl index 27ffa49f..3b1c5efa 100644 --- a/perspectives/semiotics.ttl +++ b/perspectives/semiotics.ttl @@ -6,7 +6,7 @@ @prefix rdfs: . @prefix skos: . @prefix dcterms: . -@base . +@base . rdf:type owl:Ontology ; owl:versionIRI ; @@ -42,6 +42,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_4832e353_6a2d_4deb_9a5b_96989afaff2d ; rdfs:domain :EMMO_0cd58641_824c_4851_907f_f4c3be76630c ; rdfs:range :EMMO_36a4c1ca_5085_49ca_9e13_4c70d00c50a5 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation connecting an index sign to the interpreter (deducer) in a deduction process."@en ; skos:prefLabel "hasDeducer"@en . @@ -50,6 +51,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_f2fc1ce9_cc3b_4eb5_a112_3c85d1b1374a ; rdfs:domain :EMMO_2d72e38c_d587_437f_98f6_f2718fb130eb ; rdfs:range :EMMO_c9805ac9_a943_4be4_ac4b_6da64ba36c73 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation connecting a declaring interpreter to the \"declared\" semiotic object in a declaration process."@en ; skos:prefLabel "hasDeclared"@en . @@ -65,6 +67,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_60577dea_9019_4537_ac41_80b0fb563d41 ; rdfs:domain :EMMO_669d2749_bece_460a_b26a_9a909fd8ca4d ; rdfs:range :EMMO_0cd58641_824c_4851_907f_f4c3be76630c ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation that connects a deduced semiotic object to an indexin a deduction process."@en ; skos:prefLabel "hasIndex"@en . @@ -73,6 +76,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_60577dea_9019_4537_ac41_80b0fb563d41 ; rdfs:domain :EMMO_881606d0_6f2f_4947_bc8b_75c5b7b2b688 ; rdfs:range :EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation that connects a recognised semiotic object to an icon in a cognition process."@en ; skos:prefLabel "hasIcon"@en . @@ -81,6 +85,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_2337e25c_3c60_43fc_a8f9_b11a3f974291 ; rdfs:domain :EMMO_b21a56ed_f969_4612_a6ec_cb7766f7f31d ; rdfs:range :EMMO_0527413c_b286_4e9c_b2d0_03fb2a038dee ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation connecting a sign to the interpreter in a semiotic process."@en ; skos:prefLabel "hasInterpreter"@en . @@ -89,6 +94,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_f2fc1ce9_cc3b_4eb5_a112_3c85d1b1374a ; rdfs:domain :EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec ; rdfs:range :EMMO_881606d0_6f2f_4947_bc8b_75c5b7b2b688 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation connecting a recognising interpreter to the \"cognised\" semiotic object in a cognition process."@en ; skos:prefLabel "hasCognised"@en . @@ -97,6 +103,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_4832e353_6a2d_4deb_9a5b_96989afaff2d ; rdfs:domain :EMMO_d7788d1a_020d_4c78_85a1_13563fcec168 ; rdfs:range :EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation connecting an icon to a interpreter (cogniser) in a cognision process."@en ; skos:prefLabel "hasCogniser"@en . @@ -105,6 +112,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_2337e25c_3c60_43fc_a8f9_b11a3f974291 ; rdfs:domain :EMMO_6f5af708_f825_4feb_a0d1_a8d813d3022b ; rdfs:range :EMMO_b21a56ed_f969_4612_a6ec_cb7766f7f31d ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that connects the semiotic object to the sign in a semiotic process."@en ; skos:prefLabel "hasSign"@en . @@ -112,6 +120,7 @@ email: emanuele.ghedini@unibo.it"""@en , :EMMO_7fb7fe7e_bdf9_4eeb_adad_e384dd5285c6 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_60577dea_9019_4537_ac41_80b0fb563d41 ; rdfs:range :EMMO_054af807_85cd_4a13_8eba_119dfdaaf38b ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that connects a semiotic object to the interpretant in a semiotic process."@en ; skos:prefLabel "hasInterpretant"@en . @@ -120,14 +129,25 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_f2fc1ce9_cc3b_4eb5_a112_3c85d1b1374a ; rdfs:domain :EMMO_36a4c1ca_5085_49ca_9e13_4c70d00c50a5 ; rdfs:range :EMMO_669d2749_bece_460a_b26a_9a909fd8ca4d ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation connecting a decucing interpreter to the \"deduced\" semiotic object in a deduction process."@en ; skos:prefLabel "hasDeduced"@en . +### http://emmo.info/emmo#EMMO_c58c799e_cc6c_4310_a3f1_78da70705b2a +:EMMO_c58c799e_cc6c_4310_a3f1_78da70705b2a rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_eb3518bf_f799_4f9e_8c3e_ce59af11453b ; + rdfs:domain :EMMO_c9805ac9_a943_4be4_ac4b_6da64ba36c73 ; + rdfs:range :EMMO_35d4c439_fcb6_4399_a855_a89a207b41e9 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation that connects a declared semiotic object to a description in a declaration process."@en ; + skos:prefLabel "hasDescription"@en . + + ### http://emmo.info/emmo#EMMO_cc823237_398d_4c9a_b8fa_aa157ee3e3a5 :EMMO_cc823237_398d_4c9a_b8fa_aa157ee3e3a5 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_4832e353_6a2d_4deb_9a5b_96989afaff2d ; rdfs:domain :EMMO_35d2e130_6e01_41ed_94f7_00b333d46cf9 ; rdfs:range :EMMO_2d72e38c_d587_437f_98f6_f2718fb130eb ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation connecting a conventional sign to the interpreter (declarer) in a declaration process."@en ; skos:prefLabel "hasDeclarer"@en . @@ -136,6 +156,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_eb3518bf_f799_4f9e_8c3e_ce59af11453b ; rdfs:domain :EMMO_6f5af708_f825_4feb_a0d1_a8d813d3022b ; rdfs:range :EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation that connects a semiotic object to a property in a declaration process."@en ; skos:prefLabel "hasProperty"@en . @@ -144,6 +165,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_60577dea_9019_4537_ac41_80b0fb563d41 ; rdfs:domain :EMMO_c9805ac9_a943_4be4_ac4b_6da64ba36c73 ; rdfs:range :EMMO_35d2e130_6e01_41ed_94f7_00b333d46cf9 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation that connects a declared semiotic object to a conventional sign in a declaration process."@en ; skos:prefLabel "hasConvention"@en . @@ -152,6 +174,7 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subPropertyOf :EMMO_2337e25c_3c60_43fc_a8f9_b11a3f974291 ; rdfs:domain :EMMO_0527413c_b286_4e9c_b2d0_03fb2a038dee ; rdfs:range :EMMO_6f5af708_f825_4feb_a0d1_a8d813d3022b ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that connects the interpreter to the semiotic object in a semiotic process."@en ; skos:altLabel "hasSemioticObject"@en ; skos:prefLabel "hasReferent"@en . @@ -489,6 +512,7 @@ This class refers to what is commonly known as physical property, i.e. a measura ### http://emmo.info/emmo#EMMO_669d2749_bece_460a_b26a_9a909fd8ca4d :EMMO_669d2749_bece_460a_b26a_9a909fd8ca4d rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semantic object that is connected to an index sign by an interpreter (a deducer) by causal cogiguity."@en ; skos:prefLabel "Deduced"@en . @@ -580,6 +604,8 @@ This can be used in material characterization, to define exactly the type of mea ### http://emmo.info/emmo#EMMO_881606d0_6f2f_4947_bc8b_75c5b7b2b688 :EMMO_881606d0_6f2f_4947_bc8b_75c5b7b2b688 rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic object that is recognised by an interpreter (a cogniser) when establishing a connection between the object and an icon."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A physical phenomenon that is connected to an equation by a scientist."@en ; skos:prefLabel "Cognised"@en . @@ -713,6 +739,7 @@ This class includes also the 'interpeter' i.e. the entity that connects the 'sig ### http://emmo.info/emmo#EMMO_c9805ac9_a943_4be4_ac4b_6da64ba36c73 :EMMO_c9805ac9_a943_4be4_ac4b_6da64ba36c73 rdf:type owl:Class ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semantic object that is connected to a conventional sign by an interpreter (a declarer) according to a specific convention."@en ; skos:prefLabel "Declared"@en . @@ -789,4 +816,4 @@ For example, when a Boeing 747 is used as a sign for another Boeing 747."""@en , skos:prefLabel "Observer"@en . -### 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 From b83e3af167981ce93ebc123953ab1ed6361f0779 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 5 Nov 2023 22:59:56 +0100 Subject: [PATCH 02/16] Updated computer science based on the categorisation on https://en.wikipedia.org/wiki/Computer_language --- disciplines/computerscience.ttl | 94 +++++++++++++++++++++++++++++++-- 1 file changed, 91 insertions(+), 3 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 62714820..3b184fdc 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -11,7 +11,8 @@ rdf:type owl:Ontology ; owl:versionIRI ; owl:imports , - ; + , + ; dcterms:abstract "The domain module is a container that imports some common domain extensions of EMMO perspectives. The intension is to provide examples for developers of EMMO-based domain ontologies."@en ; dcterms:contributor "Access, DE" , "Fraunhofer IWM, DE" , @@ -79,12 +80,29 @@ email: emanuele.ghedini@unibo.it"""@en , # Classes ################################################################# +### http://emmo.info/emmo#EMMO_03d4cd70_0d16_4403_b68c_d41a9117f981 +:EMMO_03d4cd70_0d16_4403_b68c_d41a9117f981 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language used to describe simulations."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Simulation_language"^^xsd:anyURI ; + skos:prefLabel "SimulationLanguage"@en . + + ### http://emmo.info/emmo#EMMO_09007bc0_b5f2_4fb9_af01_caf948cf2044 :EMMO_09007bc0_b5f2_4fb9_af01_caf948cf2044 rdf:type owl:Class ; rdfs:subClassOf :EMMO_1461e904_a2bf_4558_ad74_2706f5706b34 ; skos:prefLabel "Java"@en . +### http://emmo.info/emmo#EMMO_13fea749_0b3b_4756_9c81_22cce620fc25 +:EMMO_13fea749_0b3b_4756_9c81_22cce620fc25 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language that is domain-independent and can be used for expressing data from any kind of discipline."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "JSON, YAML, XML"@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Data_exchange#Data_exchange_languages"^^xsd:anyURI ; + skos:prefLabel "DataExchangeLanguage"@en . + + ### http://emmo.info/emmo#EMMO_1461e904_a2bf_4558_ad74_2706f5706b34 :EMMO_1461e904_a2bf_4558_ad74_2706f5706b34 rdf:type owl:Class ; rdfs:subClassOf :EMMO_9ffffb55_3496_4307_82b8_a0d78fe1fcd8 ; @@ -97,6 +115,16 @@ email: emanuele.ghedini@unibo.it"""@en , skos:prefLabel "JavaScript"@en . +### http://emmo.info/emmo#EMMO_18c4634c_b821_49a3_beff_5eb7515ffc40 +:EMMO_18c4634c_b821_49a3_beff_5eb7515ffc40 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An artificial computer language used to express information or knowledge, often for use in computer system design."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "Architecture description language – used as a language (or a conceptual model) to describe and represent system architectures."@en , + "Hardware description language – used to model integrated circuits."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Modeling_language"^^xsd:anyURI ; + skos:prefLabel "ModellingLanguage"@en . + + ### http://emmo.info/emmo#EMMO_268a8a97_3a6f_4022_93da_962a66827cdc :EMMO_268a8a97_3a6f_4022_93da_962a66827cdc rdf:type owl:Class ; rdfs:subClassOf :EMMO_1461e904_a2bf_4558_ad74_2706f5706b34 ; @@ -104,6 +132,15 @@ email: emanuele.ghedini@unibo.it"""@en , skos:prefLabel "CSharp"@en . +### http://emmo.info/emmo#EMMO_29791c75_2899_47a8_bfad_fc239aa4dd2d +:EMMO_29791c75_2899_47a8_bfad_fc239aa4dd2d rdf:type owl:Class ; + rdfs:subClassOf :EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A construction language used to make queries in databases and information systems."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "SQL, SPARQL"@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Query_language"^^xsd:anyURI ; + skos:prefLabel "QueryLanguage"@en . + + ### http://emmo.info/emmo#EMMO_348d39f7_6a17_49d1_9860_9b33b69b51de :EMMO_348d39f7_6a17_49d1_9860_9b33b69b51de rdf:type owl:Class ; rdfs:subClassOf :EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 , @@ -127,6 +164,24 @@ email: emanuele.ghedini@unibo.it"""@en , skos:prefLabel "C"@en . +### http://emmo.info/emmo#EMMO_3997e1f5_f478_4572_a030_4b8e7e5cc63a +:EMMO_3997e1f5_f478_4572_a030_4b8e7e5cc63a rdf:type owl:Class ; + rdfs:subClassOf :EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A construction language used to write configuration files."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a ".ini files"@en , + "Files in the standard .config directory on Unix systems."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Configuration_file#Configuration_languages"^^xsd:anyURI ; + skos:prefLabel "ConfigurationLanguage"@en . + + +### http://emmo.info/emmo#EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 +:EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language by which a human can specify an executable problem solution to a computer."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Software_construction#Construction_languages"^^xsd:anyURI ; + skos:prefLabel "ConstructionLanguage"@en . + + ### http://emmo.info/emmo#EMMO_3b031fa9_8623_4ea5_8b57_bcafb70c5c8b :EMMO_3b031fa9_8623_4ea5_8b57_bcafb70c5c8b rdf:type owl:Class ; rdfs:subClassOf :EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ; @@ -264,7 +319,7 @@ Here we explicitly include in the definition also all the data (e.g. source code ### http://emmo.info/emmo#EMMO_9ffffb55_3496_4307_82b8_a0d78fe1fcd8 :EMMO_9ffffb55_3496_4307_82b8_a0d78fe1fcd8 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A language object that follows syntactic rules of a programming language."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A programming language object can also be a fragment (e.g. a C function) not suitable for exectution."@en , "Entities are not necessarily digital data, but can be code fragments printed on paper."@en ; @@ -288,13 +343,29 @@ Here we explicitly include in the definition also all the data (e.g. source code ### http://emmo.info/emmo#EMMO_af7b627d_6528_4fdb_97df_ba4579c4bb5d :EMMO_af7b627d_6528_4fdb_97df_ba4579c4bb5d rdf:type owl:Class ; rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A grammar for annotating a document in a way that is syntactically distinguishable from the text."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "HTML"@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Markup_language"^^xsd:anyURI ; skos:prefLabel "MarkupLanguage"@en . ### http://emmo.info/emmo#EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 rdf:type owl:Class ; rdfs:subClassOf :EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 ; - skos:prefLabel "ComputerScience"@en . + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal language that can be interpreted by a computer."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer_language"^^xsd:anyURI ; + skos:altLabel "ComputerScience"@en ; + skos:prefLabel "ComputerLanguage"@en . + + +### http://emmo.info/emmo#EMMO_c8fe15d0_caf7_46f7_883c_0e98081987f1 +:EMMO_c8fe15d0_caf7_46f7_883c_0e98081987f1 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interpreted computer language for job control in computing."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """Unix shell. +Batch programming languages."""@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Command_language"^^xsd:anyURI ; + skos:prefLabel "CommandLanguage"@en . ### http://emmo.info/emmo#EMMO_db99b1e5_2f34_467b_a784_d104946d9f00 @@ -326,6 +397,23 @@ Here we explicitly include in the definition also all the data (e.g. source code ] . +### http://emmo.info/emmo#EMMO_ea00dafc_ac92_4e67_aa65_ce5a29e77fcf +:EMMO_ea00dafc_ac92_4e67_aa65_ce5a29e77fcf rdf:type owl:Class ; + rdfs:subClassOf :EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A construction language designed to transform some input text in a certain formal language into a modified output text that meets some specific goal."@en , + "https://en.wikipedia.org/wiki/Transformation_language"^^xsd:anyURI ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "Tritium, XSLT, XQuery, STX, FXT, XDuce, CDuce, HaXml, XMLambda, FleXML"@en ; + skos:prefLabel "TransformationLanguage"@en . + + +### http://emmo.info/emmo#EMMO_f42a0e95_c130_4a69_9660_6bfdbb897d4a +:EMMO_f42a0e95_c130_4a69_9660_6bfdbb897d4a rdf:type owl:Class ; + rdfs:subClassOf :EMMO_c8fe15d0_caf7_46f7_883c_0e98081987f1 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A command language designed to be run by a command-line interpreter, like a Unix shell."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Shell_script" ; + skos:prefLabel "ShellScript"@en . + + ### http://emmo.info/emmo#EMMO_f84b1b92_1dc8_4146_99f0_b03cd53e455b :EMMO_f84b1b92_1dc8_4146_99f0_b03cd53e455b rdf:type owl:Class ; rdfs:subClassOf :EMMO_9ffffb55_3496_4307_82b8_a0d78fe1fcd8 ; From 5f4a2e8c5235e2ed182e6e0612cfd50932051039 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Mon, 6 Nov 2023 00:05:40 +0100 Subject: [PATCH 03/16] Added ResourceDescription, Computer and Resource with interrelations. --- disciplines/computerscience.ttl | 76 ++++++++++++++++++++++++++++++--- 1 file changed, 69 insertions(+), 7 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 3b184fdc..1c5087e9 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -10,9 +10,9 @@ rdf:type owl:Ontology ; owl:versionIRI ; - owl:imports , - , - ; + owl:imports , + , + ; dcterms:abstract "The domain module is a container that imports some common domain extensions of EMMO perspectives. The intension is to provide examples for developers of EMMO-based domain ontologies."@en ; dcterms:contributor "Access, DE" , "Fraunhofer IWM, DE" , @@ -82,7 +82,12 @@ email: emanuele.ghedini@unibo.it"""@en , ### http://emmo.info/emmo#EMMO_03d4cd70_0d16_4403_b68c_d41a9117f981 :EMMO_03d4cd70_0d16_4403_b68c_d41a9117f981 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf :EMMO_c58c799e_cc6c_4310_a3f1_78da70705b2a + ] ; + owl:someValuesFrom :EMMO_9335cf09_431f_4613_9dab_ce4ceaca965b + ] ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language used to describe simulations."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Simulation_language"^^xsd:anyURI ; skos:prefLabel "SimulationLanguage"@en . @@ -120,7 +125,11 @@ email: emanuele.ghedini@unibo.it"""@en , rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An artificial computer language used to express information or knowledge, often for use in computer system design."@en ; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "Architecture description language – used as a language (or a conceptual model) to describe and represent system architectures."@en , - "Hardware description language – used to model integrated circuits."@en ; + """Hardware description language – used to model integrated circuits. + +Architecture description language – used as a language (or a conceptual model) to describe and represent system architectures. + +Algebraic Modeling Language which is a high-level programming languages for describing and solving high complexity problems like large-scale optimisation."""@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Modeling_language"^^xsd:anyURI ; skos:prefLabel "ModellingLanguage"@en . @@ -200,6 +209,19 @@ email: emanuele.ghedini@unibo.it"""@en , skos:prefLabel "DigitalData"@en . +### http://emmo.info/emmo#EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed +:EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed rdf:type owl:Class ; + rdfs:subClassOf :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf :a32021dc_58d8_454b_915d_3951b413b8b7 + ] ; + owl:someValuesFrom :EMMO_e7848014_ad79_422d_be02_74df892f7c11 + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Any physical or virtual component of limited availability within a computer system."@en ; + skos:altLabel "Resource"@en ; + skos:prefLabel "SystemResource"@en . + + ### http://emmo.info/emmo#EMMO_52867015_cd2b_4697_8c8f_3acb32c13587 :EMMO_52867015_cd2b_4697_8c8f_3acb32c13587 rdf:type owl:Class ; rdfs:subClassOf :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 , @@ -223,7 +245,7 @@ email: emanuele.ghedini@unibo.it"""@en , ### http://emmo.info/emmo#EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A Uniform Resource Identifier (URI) is a compact sequence of characters that identifies an abstract or physical resource."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "URI = scheme \":\" [\"//\" authority] path [\"?\" query] [\"#\" fragment]"@en ; "https://en.wikipedia.org/wiki/File:URI_syntax_diagram.svg"^^xsd:anyURI ; @@ -334,6 +356,15 @@ Here we explicitly include in the definition also all the data (e.g. source code skos:prefLabel "FORTRAN"@en . +### http://emmo.info/emmo#EMMO_ad8b1096_4df1_44f5_a3b9_fc2ec9e7f5b1 +:EMMO_ad8b1096_4df1_44f5_a3b9_fc2ec9e7f5b1 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language that expresses the presentation of structured documents."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "CSS"@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Style_sheet_language"^^xsd:anyURI ; + skos:prefLabel "StyleSheetLanguage"@en . + + ### http://emmo.info/emmo#EMMO_add2e29d_6d87_4b78_9706_588e25557093 :EMMO_add2e29d_6d87_4b78_9706_588e25557093 rdf:type owl:Class ; rdfs:subClassOf :EMMO_f84b1b92_1dc8_4146_99f0_b03cd53e455b ; @@ -358,6 +389,18 @@ Here we explicitly include in the definition also all the data (e.g. source code skos:prefLabel "ComputerLanguage"@en . +### http://emmo.info/emmo#EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 +:EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf :EMMO_c58c799e_cc6c_4310_a3f1_78da70705b2a + ] ; + owl:someValuesFrom :EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal computer-interpretable description of a system resource."@en ; + skos:prefLabel "ResourceDescription"@en . + + ### http://emmo.info/emmo#EMMO_c8fe15d0_caf7_46f7_883c_0e98081987f1 :EMMO_c8fe15d0_caf7_46f7_883c_0e98081987f1 rdf:type owl:Class ; rdfs:subClassOf :EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 ; @@ -382,10 +425,20 @@ Batch programming languages."""@en ; ] . +### http://emmo.info/emmo#EMMO_e7848014_ad79_422d_be02_74df892f7c11 +:EMMO_e7848014_ad79_422d_be02_74df892f7c11 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec , + :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Electronic device capable of processing data, typically in binary form, according to instructions given to it in a variable program."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer"^^xsd:anyURI ; + skos:altLabel "Computer"@en ; + skos:prefLabel "ComputerSystem"@en . + + ### http://emmo.info/emmo#EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 rdf:type owl:Class ; rdfs:subClassOf :EMMO_50ea1ec5_f157_41b0_b46b_a9032f17ca10 , - :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A path is a string of characters used to uniquely identify a location in a directory structure." ; skos:prefLabel "Path"@en . @@ -421,6 +474,15 @@ Batch programming languages."""@en ; skos:prefLabel "ScriptingLanguage"@en . +### http://emmo.info/emmo#EMMO_fb294e8d_603c_4fe5_bd71_8f4d152b2fb5 +:EMMO_fb294e8d_603c_4fe5_bd71_8f4d152b2fb5 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A language used to describe what a computer system should do."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "ACSL, VDM, LOTUS, MML, ..."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Specification_language"^^xsd:anyURI ; + skos:prefLabel "SpecificationLanguage"@en . + + ### http://emmo.info/emmo#3c5b33a1_4f28_41f9_b725_1994df79bf55 rdf:type owl:Class ; rdfs:subClassOf :EMMO_f84b1b92_1dc8_4146_99f0_b03cd53e455b ; From 1c8b65f9a4e7954cb786d44ce1611011481afe39 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Thu, 9 Nov 2023 16:19:10 +0100 Subject: [PATCH 04/16] Corrected missing 'EMMO_' in IRIs. --- disciplines/units/siacceptedunits.ttl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/disciplines/units/siacceptedunits.ttl b/disciplines/units/siacceptedunits.ttl index d6811723..fed291f6 100644 --- a/disciplines/units/siacceptedunits.ttl +++ b/disciplines/units/siacceptedunits.ttl @@ -36,7 +36,7 @@ We kindly acknowledge NIST for reusing their content, including the selection of ### http://emmo.info/emmo#AmpereHourPerLitre :AmpereHourPerLitre rdf:type owl:Class ; rdfs:subClassOf :EMMO_8f36559a_a494_4b00_abc5_60bbc1475009 , - :ac19c801_bead_4730_8b8c_50020eec45ec , + :EMMO_ac19c801_bead_4730_8b8c_50020eec45ec , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_8189b42e_0995_423a_a26c_51168b27c3cf ; owl:hasValue "3600000.0"^^xsd:double @@ -52,7 +52,7 @@ We kindly acknowledge NIST for reusing their content, including the selection of ### http://emmo.info/emmo#AmpereHourPerKilogram :AmpereHourPerKilogram rdf:type owl:Class ; rdfs:subClassOf :EMMO_4dbe2b16_3e84_4049_898d_eb89bcc925a2 , - :ac19c801_bead_4730_8b8c_50020eec45ec , + :EMMO_ac19c801_bead_4730_8b8c_50020eec45ec , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_8189b42e_0995_423a_a26c_51168b27c3cf ; owl:hasValue "3600.0"^^xsd:double @@ -68,7 +68,7 @@ We kindly acknowledge NIST for reusing their content, including the selection of ### http://emmo.info/emmo#WattHourPerKilogram :WattHourPerKilogram rdf:type owl:Class ; rdfs:subClassOf :EMMO_847f1d9f_205e_46c1_8cb6_a9e479421f88 , - :ac19c801_bead_4730_8b8c_50020eec45ec , + :EMMO_ac19c801_bead_4730_8b8c_50020eec45ec , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_8189b42e_0995_423a_a26c_51168b27c3cf ; owl:hasValue "3600.0"^^xsd:double @@ -85,7 +85,7 @@ We kindly acknowledge NIST for reusing their content, including the selection of ### http://emmo.info/emmo#WattHourPerLitre :WattHourPerLitre rdf:type owl:Class ; rdfs:subClassOf :EMMO_53bd0c90_41c3_46e2_8779_cd2a80f7e18b , - :ac19c801_bead_4730_8b8c_50020eec45ec , + :EMMO_ac19c801_bead_4730_8b8c_50020eec45ec , [ rdf:type owl:Restriction ; owl:onProperty :EMMO_8189b42e_0995_423a_a26c_51168b27c3cf ; owl:hasValue "3600000.0"^^xsd:double From cff2e3a5066d0440b2424b5d75c7de96d3d20aa2 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 10 Nov 2023 19:00:16 +0100 Subject: [PATCH 05/16] Added PoissonsRatio as altLabel to PoissonNumber --- disciplines/isq.ttl | 1 + 1 file changed, 1 insertion(+) diff --git a/disciplines/isq.ttl b/disciplines/isq.ttl index a75779fb..bbeb88f7 100644 --- a/disciplines/isq.ttl +++ b/disciplines/isq.ttl @@ -4138,6 +4138,7 @@ where g is the appropriate g factor, μ is mostly the Bohr magneton or nuclear m :EMMO_50c298c2_55a2_4068_b3ac_4e948c33181f "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=113-03-61" ; :EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "4-18" ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Ratio of transverse strain to axial strain."@en ; + skos:altLabel "PoissonsRatio"@en ; skos:prefLabel "PoissonNumber"@en . From ce13d929229e13d74c1eeb65cd657897e4dd9343 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 10 Nov 2023 19:48:24 +0100 Subject: [PATCH 06/16] Changed ComputerLanguage back to ComputerScience --- disciplines/computerscience.ttl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 1c5087e9..d7586ee6 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -385,8 +385,8 @@ Here we explicitly include in the definition also all the data (e.g. source code rdfs:subClassOf :EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal language that can be interpreted by a computer."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer_language"^^xsd:anyURI ; - skos:altLabel "ComputerScience"@en ; - skos:prefLabel "ComputerLanguage"@en . + skos:altLabel "ComputerLanguage"@en ; + skos:prefLabel "ComputerScience"@en . ### http://emmo.info/emmo#EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 From f282769978af9fda7e1c55d1adeeb0ef9e24fc48 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sat, 11 Nov 2023 11:56:35 +0100 Subject: [PATCH 07/16] Position vector and displacement are not subclasses of length --- disciplines/isq.ttl | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/disciplines/isq.ttl b/disciplines/isq.ttl index bbeb88f7..106e0b7d 100644 --- a/disciplines/isq.ttl +++ b/disciplines/isq.ttl @@ -1913,7 +1913,7 @@ pH = −10 log(a_OH-)"""@en ; ### http://emmo.info/emmo#EMMO_4024a7f8_2991_4d80_bcc9_63705aa0c750 :EMMO_4024a7f8_2991_4d80_bcc9_63705aa0c750 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_cd2cd0de_e0cc_4ef1_b27e_2e88db027bac ; + rdfs:subClassOf :EMMO_a242d3e9_c6d3_411e_a667_71ffbc248a1a ; :EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "https://qudt.org/vocab/quantitykind/Displacement" ; :EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q190291" ; :EMMO_50c298c2_55a2_4068_b3ac_4e948c33181f "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=113-01-29" ; @@ -1998,7 +1998,7 @@ pH = −10 log(a_OH-)"""@en ; ### http://emmo.info/emmo#EMMO_4312cae4_03ba_457e_b35d_0671a7db350c :EMMO_4312cae4_03ba_457e_b35d_0671a7db350c rdf:type owl:Class ; - rdfs:subClassOf :EMMO_cd2cd0de_e0cc_4ef1_b27e_2e88db027bac ; + rdfs:subClassOf :EMMO_a242d3e9_c6d3_411e_a667_71ffbc248a1a ; :EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q192388" ; :EMMO_50c298c2_55a2_4068_b3ac_4e948c33181f "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=102-03-15" ; :EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 "https://dbpedia.org/page/Position_(geometry)" ; @@ -4722,7 +4722,11 @@ where g is the appropriate g factor, μ is mostly the Bohr magneton or nuclear m ### http://emmo.info/emmo#EMMO_a1bd0bfc_5464_43ce_a1a2_947b58dc0f89 :EMMO_a1bd0bfc_5464_43ce_a1a2_947b58dc0f89 rdf:type owl:Class ; rdfs:subClassOf :EMMO_4024a7f8_2991_4d80_bcc9_63705aa0c750 , - :EMMO_c29603f5_95e8_42f5_ab0c_f3bcf3166d53 ; + :EMMO_c29603f5_95e8_42f5_ab0c_f3bcf3166d53 , + [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ; + owl:someValuesFrom :EMMO_b3600e73_3e05_479d_9714_c041c3acf5cc + ] ; :EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "https://qudt.org/vocab/quantitykind/LatticeVector" ; :EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q105435234" ; :EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "12-1.1" ; @@ -6280,7 +6284,11 @@ Conductivity is equeal to the resiprocal of resistivity."""@en ; ### http://emmo.info/emmo#EMMO_da4ea7e3_6e60_410b_a209_6ea735a6b10c :EMMO_da4ea7e3_6e60_410b_a209_6ea735a6b10c rdf:type owl:Class ; rdfs:subClassOf :EMMO_4024a7f8_2991_4d80_bcc9_63705aa0c750 , - :EMMO_c29603f5_95e8_42f5_ab0c_f3bcf3166d53 ; + :EMMO_c29603f5_95e8_42f5_ab0c_f3bcf3166d53 , + [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ; + owl:someValuesFrom :EMMO_b3600e73_3e05_479d_9714_c041c3acf5cc + ] ; :EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "https://qudt.org/vocab/quantitykind/BurgersVector" ; :EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q623093" ; :EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "12-6" ; From 7b2f585d2742175e2b35fcc49c17ebb76851f333 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Tue, 14 Nov 2023 16:04:07 +0100 Subject: [PATCH 08/16] Changed ComputerScience to preflabel --- disciplines/computerscience.ttl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 1c5087e9..d7586ee6 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -385,8 +385,8 @@ Here we explicitly include in the definition also all the data (e.g. source code rdfs:subClassOf :EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal language that can be interpreted by a computer."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer_language"^^xsd:anyURI ; - skos:altLabel "ComputerScience"@en ; - skos:prefLabel "ComputerLanguage"@en . + skos:altLabel "ComputerLanguage"@en ; + skos:prefLabel "ComputerScience"@en . ### http://emmo.info/emmo#EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 From 5efb8182a13610b249278c750bf13882a5be96e2 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Thu, 23 Nov 2023 17:32:06 +0100 Subject: [PATCH 09/16] Updated computer language after discussion with Otello and Emanuele. --- disciplines/computerscience.ttl | 65 +++++++++++++++++++++++---------- 1 file changed, 45 insertions(+), 20 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index d7586ee6..48a341b1 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -42,6 +42,16 @@ email: emanuele.ghedini@unibo.it"""@en , # Object Properties ################################################################# +### http://emmo.info/emmo#EMMO_104b1892_b287_41ab_b10a_eb521e428ec3 +:EMMO_104b1892_b287_41ab_b10a_eb521e428ec3 rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_39c3815d_8cae_4c8f_b2ff_eeba24bec455 ; + rdfs:domain :EMMO_1a23bdf2_b3b0_4ae4_8672_598ef5e1727e , + :EMMO_881606d0_6f2f_4947_bc8b_75c5b7b2b688 ; + rdfs:range :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation that connects a recognised semiotic object (like a file) to a computer language (an icon) in a cognition process."@en ; + skos:prefLabel "hasComputerLanguage"@en . + + ### http://emmo.info/emmo#EMMO_67339084_e659_42be_9e76_7e22fca63c48 :EMMO_67339084_e659_42be_9e76_7e22fca63c48 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_e1097637_70d2_4895_973f_2396f04fa204 ; @@ -82,7 +92,7 @@ email: emanuele.ghedini@unibo.it"""@en , ### http://emmo.info/emmo#EMMO_03d4cd70_0d16_4403_b68c_d41a9117f981 :EMMO_03d4cd70_0d16_4403_b68c_d41a9117f981 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 , + rdfs:subClassOf :EMMO_18c4634c_b821_49a3_beff_5eb7515ffc40 , [ rdf:type owl:Restriction ; owl:onProperty [ owl:inverseOf :EMMO_c58c799e_cc6c_4310_a3f1_78da70705b2a ] ; @@ -101,7 +111,7 @@ email: emanuele.ghedini@unibo.it"""@en , ### http://emmo.info/emmo#EMMO_13fea749_0b3b_4756_9c81_22cce620fc25 :EMMO_13fea749_0b3b_4756_9c81_22cce620fc25 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language that is domain-independent and can be used for expressing data from any kind of discipline."@en ; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "JSON, YAML, XML"@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Data_exchange#Data_exchange_languages"^^xsd:anyURI ; @@ -122,7 +132,7 @@ email: emanuele.ghedini@unibo.it"""@en , ### http://emmo.info/emmo#EMMO_18c4634c_b821_49a3_beff_5eb7515ffc40 :EMMO_18c4634c_b821_49a3_beff_5eb7515ffc40 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An artificial computer language used to express information or knowledge, often for use in computer system design."@en ; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "Architecture description language – used as a language (or a conceptual model) to describe and represent system architectures."@en , """Hardware description language – used to model integrated circuits. @@ -134,6 +144,25 @@ Algebraic Modeling Language which is a high-level programming languages for desc skos:prefLabel "ModellingLanguage"@en . +### http://emmo.info/emmo#EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 +:EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal language used to communicate with a computer."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer_language" ; + skos:prefLabel "ComputerLanguage"@en . + + +### http://emmo.info/emmo#EMMO_1a23bdf2_b3b0_4ae4_8672_598ef5e1727e +:EMMO_1a23bdf2_b3b0_4ae4_8672_598ef5e1727e rdf:type owl:Class ; + rdfs:subClassOf :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 , + [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_104b1892_b287_41ab_b10a_eb521e428ec3 ; + owl:someValuesFrom :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A file that an agent recognises to be written in a specific computer language."@en ; + skos:prefLabel "LanguageInterpretableFile"@en . + + ### http://emmo.info/emmo#EMMO_268a8a97_3a6f_4022_93da_962a66827cdc :EMMO_268a8a97_3a6f_4022_93da_962a66827cdc rdf:type owl:Class ; rdfs:subClassOf :EMMO_1461e904_a2bf_4558_ad74_2706f5706b34 ; @@ -185,7 +214,7 @@ Algebraic Modeling Language which is a high-level programming languages for desc ### http://emmo.info/emmo#EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 :EMMO_3ab914c1_5d8d_4a6e_804b_84aa89623c48 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language by which a human can specify an executable problem solution to a computer."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Software_construction#Construction_languages"^^xsd:anyURI ; skos:prefLabel "ConstructionLanguage"@en . @@ -222,13 +251,6 @@ Algebraic Modeling Language which is a high-level programming languages for desc skos:prefLabel "SystemResource"@en . -### http://emmo.info/emmo#EMMO_52867015_cd2b_4697_8c8f_3acb32c13587 -:EMMO_52867015_cd2b_4697_8c8f_3acb32c13587 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 , - :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; - skos:prefLabel "LanguageInterpretableFile"@en . - - ### http://emmo.info/emmo#EMMO_53dd6f2a_f9de_4f83_b925_1bf39a4ab9a6 :EMMO_53dd6f2a_f9de_4f83_b925_1bf39a4ab9a6 rdf:type owl:Class ; rdfs:subClassOf :EMMO_f84b1b92_1dc8_4146_99f0_b03cd53e455b ; @@ -335,7 +357,9 @@ Here we explicitly include in the definition also all the data (e.g. source code ### http://emmo.info/emmo#EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_4db96fb7_e9e0_466d_942b_f6f17bfdc145 ; + rdfs:subClassOf :EMMO_4db96fb7_e9e0_466d_942b_f6f17bfdc145 , + :EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "In computing, a computer file is a resource for recording data on a computer storage device, primarily identified by its filename."@en ; skos:prefLabel "File"@en . @@ -358,7 +382,7 @@ Here we explicitly include in the definition also all the data (e.g. source code ### http://emmo.info/emmo#EMMO_ad8b1096_4df1_44f5_a3b9_fc2ec9e7f5b1 :EMMO_ad8b1096_4df1_44f5_a3b9_fc2ec9e7f5b1 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language that expresses the presentation of structured documents."@en ; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "CSS"@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Style_sheet_language"^^xsd:anyURI ; @@ -373,7 +397,7 @@ Here we explicitly include in the definition also all the data (e.g. source code ### http://emmo.info/emmo#EMMO_af7b627d_6528_4fdb_97df_ba4579c4bb5d :EMMO_af7b627d_6528_4fdb_97df_ba4579c4bb5d rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A grammar for annotating a document in a way that is syntactically distinguishable from the text."@en ; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "HTML"@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Markup_language"^^xsd:anyURI ; @@ -393,12 +417,12 @@ Here we explicitly include in the definition also all the data (e.g. source code :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 rdf:type owl:Class ; rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 , [ rdf:type owl:Restriction ; - owl:onProperty [ owl:inverseOf :EMMO_c58c799e_cc6c_4310_a3f1_78da70705b2a + owl:onProperty [ owl:inverseOf :EMMO_eb3518bf_f799_4f9e_8c3e_ce59af11453b ] ; owl:someValuesFrom :EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed ] ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal computer-interpretable description of a system resource."@en ; - skos:prefLabel "ResourceDescription"@en . + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal computer-interpretable identifier of a system resource."@en ; + skos:prefLabel "ResourceIdentifier"@en . ### http://emmo.info/emmo#EMMO_c8fe15d0_caf7_46f7_883c_0e98081987f1 @@ -427,8 +451,7 @@ Batch programming languages."""@en ; ### http://emmo.info/emmo#EMMO_e7848014_ad79_422d_be02_74df892f7c11 :EMMO_e7848014_ad79_422d_be02_74df892f7c11 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_19608340_178c_4bfd_bd4d_0d3b935c6fec , - :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ; + rdfs:subClassOf :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Electronic device capable of processing data, typically in binary form, according to instructions given to it in a variable program."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer"^^xsd:anyURI ; skos:altLabel "Computer"@en ; @@ -476,7 +499,7 @@ Batch programming languages."""@en ; ### http://emmo.info/emmo#EMMO_fb294e8d_603c_4fe5_bd71_8f4d152b2fb5 :EMMO_fb294e8d_603c_4fe5_bd71_8f4d152b2fb5 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + rdfs:subClassOf :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A language used to describe what a computer system should do."@en ; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "ACSL, VDM, LOTUS, MML, ..."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Specification_language"^^xsd:anyURI ; @@ -494,6 +517,8 @@ Batch programming languages."""@en ; ### http://emmo.info/emmo#8d9db119_139d_48dc_9350_369e8fdbe608 rdf:type owl:Class ; rdfs:subClassOf :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A descrete data that has a given structure."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The structure of a data structure can be described mereologically."@en ; skos:prefLabel "DataStructure"@en . From b127f42eddb931ec0cca2db70d29919b9b091a09 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 15 Dec 2023 16:15:44 +0100 Subject: [PATCH 10/16] Fixing ontology prefix for periodic table and units --- disciplines/periodictable.ttl | 6 +++--- disciplines/units/units.ttl | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/disciplines/periodictable.ttl b/disciplines/periodictable.ttl index e351bd42..77e6a7c3 100644 --- a/disciplines/periodictable.ttl +++ b/disciplines/periodictable.ttl @@ -1,12 +1,13 @@ -@prefix : . +@prefix : . @prefix dcterms: . @prefix emmo: . @prefix owl: . @prefix rdfs: . @prefix skos: . @prefix xsd: . +@base . -: a owl:Ontology ; + a owl:Ontology ; emmo:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en, "This ontology is generated with EMMOntoPy using data from the ASE Python package."@en, "You can contact EMMO Authors via emmo@emmc.eu"@en ; @@ -2520,4 +2521,3 @@ rdfs:domain emmo:EMMO_eb77076b_a104_42ac_a065_798b2d2809ad ; rdfs:range xsd:integer ; skos:prefLabel "hasAtomicNumber"@en . - diff --git a/disciplines/units/units.ttl b/disciplines/units/units.ttl index 990da0b5..683a0389 100644 --- a/disciplines/units/units.ttl +++ b/disciplines/units/units.ttl @@ -8,7 +8,7 @@ @prefix dcterms: . @base . - rdf:type owl:Ontology ; + rdf:type owl:Ontology ; owl:versionIRI ; owl:imports , , From 2f7973b67cee039f4f45a207f1ed6a942c3c09d2 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Thu, 4 Jan 2024 09:47:05 +0100 Subject: [PATCH 11/16] Updated computer-science branch. --- disciplines/computerscience.ttl | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 48a341b1..cf5d33f5 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -148,7 +148,8 @@ Algebraic Modeling Language which is a high-level programming languages for desc :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 rdf:type owl:Class ; rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal language used to communicate with a computer."@en ; - :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer_language" ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The categorisation of computer language is based on the wikipedia page for computer language (as of Nov. 15, 2023; https://en.wikipedia.org/w/index.php?title=Computer_language&oldid=1185216300)."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer_language"^^xsd:anyURI ; skos:prefLabel "ComputerLanguage"@en . @@ -267,7 +268,7 @@ Algebraic Modeling Language which is a high-level programming languages for desc ### http://emmo.info/emmo#EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b rdf:type owl:Class ; - rdfs:subClassOf :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; + rdfs:subClassOf :EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A Uniform Resource Identifier (URI) is a compact sequence of characters that identifies an abstract or physical resource."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "URI = scheme \":\" [\"//\" authority] path [\"?\" query] [\"#\" fragment]"@en ; "https://en.wikipedia.org/wiki/File:URI_syntax_diagram.svg"^^xsd:anyURI ; @@ -408,7 +409,6 @@ Here we explicitly include in the definition also all the data (e.g. source code :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 rdf:type owl:Class ; rdfs:subClassOf :EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal language that can be interpreted by a computer."@en ; - :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer_language"^^xsd:anyURI ; skos:altLabel "ComputerLanguage"@en ; skos:prefLabel "ComputerScience"@en . @@ -522,4 +522,14 @@ Batch programming languages."""@en ; skos:prefLabel "DataStructure"@en . +### http://emmo.info/emmo/disciplines/computerscience#EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b +:EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b rdf:type owl:Class ; + rdfs:subClassOf :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An Internationalized Resource Identifier (IRI) is a compact sequence of characters that identifies an abstract or physical resource. It is similar to URI, but greatly extends the allowed character set from ASCII to the Universal Character Set."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "https://en.wiktionary.org/wiki/Ῥόδος"^^xsd:anyURI ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "IRIs are commonly used as identifiers for ontological entities, although the extended unicode character set is rarely used."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Internationalized_Resource_Identifier"^^xsd:anyURI ; + skos:prefLabel "IRI"@en . + + ### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi From 86806bca0601d04ad0d8e2180119085af1416a2c Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Thu, 4 Jan 2024 11:27:35 +0100 Subject: [PATCH 12/16] Added hasPath and Command --- disciplines/computerscience.ttl | 42 ++++++++++++++++++++++++--------- 1 file changed, 31 insertions(+), 11 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index cf5d33f5..3e1380e3 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -54,7 +54,7 @@ email: emanuele.ghedini@unibo.it"""@en , ### http://emmo.info/emmo#EMMO_67339084_e659_42be_9e76_7e22fca63c48 :EMMO_67339084_e659_42be_9e76_7e22fca63c48 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf :EMMO_e1097637_70d2_4895_973f_2396f04fa204 ; + rdfs:subPropertyOf :EMMO_0aa934ee_1ad4_4345_8a7f_bc73ec67c7e5 ; rdfs:range :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ; skos:prefLabel "hasURI"@en . @@ -63,6 +63,15 @@ email: emanuele.ghedini@unibo.it"""@en , :EMMO_e1097637_70d2_4895_973f_2396f04fa204 rdf:type owl:ObjectProperty . +### http://emmo.info/emmo/disciplines/computerscience#EMMO_a592c856_4103_43cf_8635_1982a1e5d5de +:EMMO_a592c856_4103_43cf_8635_1982a1e5d5de rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :EMMO_0aa934ee_1ad4_4345_8a7f_bc73ec67c7e5 ; + rdfs:domain :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 ; + rdfs:range :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Relates a file to its path on the local system."@en ; + skos:prefLabel "hasPath"@en . + + ################################################################# # Data properties ################################################################# @@ -266,6 +275,16 @@ Algebraic Modeling Language which is a high-level programming languages for desc skos:prefLabel "SystemProgram"@en . +### http://emmo.info/emmo#EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b +:EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b rdf:type owl:Class ; + rdfs:subClassOf :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An Internationalized Resource Identifier (IRI) is a compact sequence of characters that identifies an abstract or physical resource. It is similar to URI, but greatly extends the allowed character set from ASCII to the Universal Character Set."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "https://en.wiktionary.org/wiki/Ῥόδος"^^xsd:anyURI ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "IRIs are commonly used as identifiers for ontological entities, although the extended unicode character set is rarely used."@en ; + :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Internationalized_Resource_Identifier"^^xsd:anyURI ; + skos:prefLabel "IRI"@en . + + ### http://emmo.info/emmo#EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b rdf:type owl:Class ; rdfs:subClassOf :EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b ; @@ -359,8 +378,12 @@ Here we explicitly include in the definition also all the data (e.g. source code ### http://emmo.info/emmo#EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 rdf:type owl:Class ; rdfs:subClassOf :EMMO_4db96fb7_e9e0_466d_942b_f6f17bfdc145 , - :EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "In computing, a computer file is a resource for recording data on a computer storage device, primarily identified by its filename."@en ; + :EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed , + [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_a592c856_4103_43cf_8635_1982a1e5d5de ; + owl:someValuesFrom :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 + ] ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "In computing, a computer file is a resource for recording data on a computer storage device, primarily identified by its file path."@en ; skos:prefLabel "File"@en . @@ -522,14 +545,11 @@ Batch programming languages."""@en ; skos:prefLabel "DataStructure"@en . -### http://emmo.info/emmo/disciplines/computerscience#EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b -:EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b rdf:type owl:Class ; - rdfs:subClassOf :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An Internationalized Resource Identifier (IRI) is a compact sequence of characters that identifies an abstract or physical resource. It is similar to URI, but greatly extends the allowed character set from ASCII to the Universal Character Set."@en ; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "https://en.wiktionary.org/wiki/Ῥόδος"^^xsd:anyURI ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "IRIs are commonly used as identifiers for ontological entities, although the extended unicode character set is rarely used."@en ; - :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Internationalized_Resource_Identifier"^^xsd:anyURI ; - skos:prefLabel "IRI"@en . +### http://emmo.info/emmo/disciplines/computerscience#EMMO_51645022_3a21_4fa9_a9ce_a795eebbeca7 +:EMMO_51645022_3a21_4fa9_a9ce_a795eebbeca7 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c ; + rdfs:comment "An instruction to a computer system to perform a given task."@en ; + skos:prefLabel "Command"@en . ### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi From 8701430f6b0fd8061c91da2d50263b9dc1ff5a74 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Thu, 4 Jan 2024 11:37:33 +0100 Subject: [PATCH 13/16] Added examples to command. --- disciplines/computerscience.ttl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 3e1380e3..3677988d 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -548,6 +548,9 @@ Batch programming languages."""@en ; ### http://emmo.info/emmo/disciplines/computerscience#EMMO_51645022_3a21_4fa9_a9ce_a795eebbeca7 :EMMO_51645022_3a21_4fa9_a9ce_a795eebbeca7 rdf:type owl:Class ; rdfs:subClassOf :EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "From a bash shell would e.g. `ls` be a command. Another example of a shell command would be `/path/to/executable arg1 arg2`."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A command must be interpretable by the computer system."@en , + "Commands are typically performed from a shell or a shell script, but not limited to them."@en ; rdfs:comment "An instruction to a computer system to perform a given task."@en ; skos:prefLabel "Command"@en . From f55cecd040579753373e73b23f78b508d3c2fa9d Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 5 Jan 2024 00:19:45 +0100 Subject: [PATCH 14/16] Added redirections test file to the .github directory --- .github/expected_redirections.yaml | 39 ++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 .github/expected_redirections.yaml diff --git a/.github/expected_redirections.yaml b/.github/expected_redirections.yaml new file mode 100644 index 00000000..8706b7bd --- /dev/null +++ b/.github/expected_redirections.yaml @@ -0,0 +1,39 @@ +# Input file for testing redirections +# +# These redirections can be tested using the redirectioncheck tool from EMMOntoPy: +# +# pip install EMMOntoPy +# redirectioncheck expected_redirections.yaml +# + +--- +redirections: + + # EMMO + https://w3id.org/emmo: https://emmo-repo.github.io/emmo.ttl # ttl file because tests are not from a browser + https://w3id.org/emmo/inferred: https://emmo-repo.github.io/emmo-inferred.ttl + https://w3id.org/emmo/dev: https://emmo-repo.github.io/development/emmo.ttl + https://w3id.org/emmo/dev-inferred: https://emmo-repo.github.io/development/emmo-inferred.ttl + https://w3id.org/emmo/1.0.0-beta4: https://emmo-repo.github.io/versions/1.0.0-beta4/emmo.ttl + https://w3id.org/emmo/1.0.0-beta4/inferred: https://emmo-repo.github.io/versions/1.0.0-beta4/emmo-inferred.ttl + https://w3id.org/emmo/1.0.0-beta5: https://emmo-repo.github.io/versions/1.0.0-beta5/emmo.ttl + + https://w3id.org/emmo/: https://raw.githubusercontent.com/emmo-repo/EMMO/master/emmo.ttl + https://w3id.org/emmo/1.0.0-beta5/: https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-beta5/emmo.ttl + https://w3id.org/emmo/1.0.0-beta5/mereocausality: https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-beta5/mereocausality/mereocausality.ttl + https://w3id.org/emmo/1.0.0-beta5/perspectives: https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-beta5/perspectives/perspectives.ttl + https://w3id.org/emmo/1.0.0-beta5/multiperspective: https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-beta5/multiperspective/multiperspective.ttl + https://w3id.org/emmo/1.0.0-beta5/disciplines: https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-beta5/disciplines/disciplines.ttl + https://w3id.org/emmo/1.0.0-beta5/disciplines/units: https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-beta5/disciplines/disciplines/units.ttl + https://w3id.org/emmo/master: https://raw.githubusercontent.com/emmo-repo/EMMO/master/emmo.ttl + https://w3id.org/emmo/master/: https://raw.githubusercontent.com/emmo-repo/EMMO/master/emmo.ttl + https://w3id.org/emmo/source: https://raw.githubusercontent.com/emmo-repo/EMMO/master/emmo.ttl + https://w3id.org/emmo/source/: https://raw.githubusercontent.com/emmo-repo/EMMO/master/emmo.ttl + https://w3id.org/emmo/perspectives/data: https://raw.githubusercontent.com/emmo-repo/EMMO/master/perspectives/data.ttl + https://w3id.org/emmo/perspectives/data/: https://raw.githubusercontent.com/emmo-repo/EMMO/master/perspectives/data.ttl + https://w3id.org/emmo/1.0.0-beta5/perspectives/data: https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-beta5/perspectives/data.ttl + https://w3id.org/emmo/1.0.0-beta5/perspectives/data/: https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-beta5/perspectives/data.ttl + + # Battery + https://w3id.org/emmo/domain/battery#battery_50b911f7_c903_4700_9764_c308d8a95470: https://emmo-repo.github.io/domain-battery.ttl + https://w3id.org/emmo/domain/battery: https://emmo-repo.github.io/domain-battery.ttl From 9e0b76435e7984d67989c0f21e29816aecd94e57 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Thu, 11 Jan 2024 16:37:21 +0100 Subject: [PATCH 15/16] Added reference to SWEBOK for the categorisation of computer language. --- disciplines/computerscience.ttl | 65 ++++++++++++++------------------- 1 file changed, 28 insertions(+), 37 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 3677988d..3f7fe95b 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -13,29 +13,17 @@ owl:imports , , ; - dcterms:abstract "The domain module is a container that imports some common domain extensions of EMMO perspectives. The intension is to provide examples for developers of EMMO-based domain ontologies."@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" ; + :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.info"^^xsd:anyURI ; + dcterms:abstract "Key concepts from the domain of computer science."@en ; + dcterms:creator "Emanuele Ghedini, (University of Bologna, IT)" , + "Francesca L. Bleken (SINTEF, NO)" , + "Gerhard Goldbeck (Goldbeck Consulting Ltd, UK)" , + "Jesper Friis (SINTEF, NO)" , + "Otello Roscioni (Goldbeck Consulting Ltd, UK)" ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; dcterms:publisher "EMMC ASBL" ; - dcterms:title "Domain"@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 ; + dcterms:title "Computer science"@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" . ################################################################# @@ -59,11 +47,7 @@ email: emanuele.ghedini@unibo.it"""@en , skos:prefLabel "hasURI"@en . -### http://emmo.info/emmo#EMMO_e1097637_70d2_4895_973f_2396f04fa204 -:EMMO_e1097637_70d2_4895_973f_2396f04fa204 rdf:type owl:ObjectProperty . - - -### http://emmo.info/emmo/disciplines/computerscience#EMMO_a592c856_4103_43cf_8635_1982a1e5d5de +### http://emmo.info/emmo#EMMO_a592c856_4103_43cf_8635_1982a1e5d5de :EMMO_a592c856_4103_43cf_8635_1982a1e5d5de rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :EMMO_0aa934ee_1ad4_4345_8a7f_bc73ec67c7e5 ; rdfs:domain :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 ; @@ -72,6 +56,10 @@ email: emanuele.ghedini@unibo.it"""@en , skos:prefLabel "hasPath"@en . +### http://emmo.info/emmo#EMMO_e1097637_70d2_4895_973f_2396f04fa204 +:EMMO_e1097637_70d2_4895_973f_2396f04fa204 rdf:type owl:ObjectProperty . + + ################################################################# # Data properties ################################################################# @@ -157,7 +145,10 @@ Algebraic Modeling Language which is a high-level programming languages for desc :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 rdf:type owl:Class ; rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal language used to communicate with a computer."@en ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The categorisation of computer language is based on the wikipedia page for computer language (as of Nov. 15, 2023; https://en.wikipedia.org/w/index.php?title=Computer_language&oldid=1185216300)."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The categorisation of computer languages is based on + +Guide to the Software Engineering Body of Knowledge (SWEBOK(R)): Version 3.0, January 2014. Editors Pierre Bourque, Richard E. Fairley. Publisher: IEEE Computer Society PressWashingtonDCUnited States. ISBN:978-0-7695-5166-1. +https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Computer_language"^^xsd:anyURI ; skos:prefLabel "ComputerLanguage"@en . @@ -248,6 +239,16 @@ Algebraic Modeling Language which is a high-level programming languages for desc skos:prefLabel "DigitalData"@en . +### http://emmo.info/emmo#EMMO_51645022_3a21_4fa9_a9ce_a795eebbeca7 +:EMMO_51645022_3a21_4fa9_a9ce_a795eebbeca7 rdf:type owl:Class ; + rdfs:subClassOf :EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "From a bash shell would e.g. `ls` be a command. Another example of a shell command would be `/path/to/executable arg1 arg2`."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A command must be interpretable by the computer system."@en , + "Commands are typically performed from a shell or a shell script, but not limited to them."@en ; + rdfs:comment "An instruction to a computer system to perform a given task."@en ; + skos:prefLabel "Command"@en . + + ### http://emmo.info/emmo#EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed :EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed rdf:type owl:Class ; rdfs:subClassOf :EMMO_90ae56e4_d197_49b6_be1a_0049e4756606 , @@ -545,14 +546,4 @@ Batch programming languages."""@en ; skos:prefLabel "DataStructure"@en . -### http://emmo.info/emmo/disciplines/computerscience#EMMO_51645022_3a21_4fa9_a9ce_a795eebbeca7 -:EMMO_51645022_3a21_4fa9_a9ce_a795eebbeca7 rdf:type owl:Class ; - rdfs:subClassOf :EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c ; - :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "From a bash shell would e.g. `ls` be a command. Another example of a shell command would be `/path/to/executable arg1 arg2`."@en ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A command must be interpretable by the computer system."@en , - "Commands are typically performed from a shell or a shell script, but not limited to them."@en ; - rdfs:comment "An instruction to a computer system to perform a given task."@en ; - skos:prefLabel "Command"@en . - - ### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi From 40c074de31a3d8983ad27ea77a9788742e057d48 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 12 Jan 2024 12:27:10 +0100 Subject: [PATCH 16/16] Reviewed by Emanuele --- disciplines/computerscience.ttl | 71 +++++++++++---------------------- 1 file changed, 24 insertions(+), 47 deletions(-) diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 3f7fe95b..2076eea9 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -30,30 +30,12 @@ # Object Properties ################################################################# -### http://emmo.info/emmo#EMMO_104b1892_b287_41ab_b10a_eb521e428ec3 -:EMMO_104b1892_b287_41ab_b10a_eb521e428ec3 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf :EMMO_39c3815d_8cae_4c8f_b2ff_eeba24bec455 ; - rdfs:domain :EMMO_1a23bdf2_b3b0_4ae4_8672_598ef5e1727e , - :EMMO_881606d0_6f2f_4947_bc8b_75c5b7b2b688 ; - rdfs:range :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A semiotic relation that connects a recognised semiotic object (like a file) to a computer language (an icon) in a cognition process."@en ; - skos:prefLabel "hasComputerLanguage"@en . - - -### http://emmo.info/emmo#EMMO_67339084_e659_42be_9e76_7e22fca63c48 -:EMMO_67339084_e659_42be_9e76_7e22fca63c48 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf :EMMO_0aa934ee_1ad4_4345_8a7f_bc73ec67c7e5 ; - rdfs:range :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ; - skos:prefLabel "hasURI"@en . - - ### http://emmo.info/emmo#EMMO_a592c856_4103_43cf_8635_1982a1e5d5de :EMMO_a592c856_4103_43cf_8635_1982a1e5d5de rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf :EMMO_0aa934ee_1ad4_4345_8a7f_bc73ec67c7e5 ; - rdfs:domain :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 ; - rdfs:range :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Relates a file to its path on the local system."@en ; - skos:prefLabel "hasPath"@en . + rdfs:subPropertyOf :EMMO_eb3518bf_f799_4f9e_8c3e_ce59af11453b ; + rdfs:range :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Relates a resource to its identifier."@en ; + skos:prefLabel "hasResourceIdentifier"@en . ### http://emmo.info/emmo#EMMO_e1097637_70d2_4895_973f_2396f04fa204 @@ -72,7 +54,7 @@ ### 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:range xsd:anyURI ; skos:prefLabel "hasURIValue"@en . @@ -153,17 +135,6 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e skos:prefLabel "ComputerLanguage"@en . -### http://emmo.info/emmo#EMMO_1a23bdf2_b3b0_4ae4_8672_598ef5e1727e -:EMMO_1a23bdf2_b3b0_4ae4_8672_598ef5e1727e rdf:type owl:Class ; - rdfs:subClassOf :EMMO_998dd3a0-c85f-4c8d-9fb8-816a93cc3bb8 , - [ rdf:type owl:Restriction ; - owl:onProperty :EMMO_104b1892_b287_41ab_b10a_eb521e428ec3 ; - owl:someValuesFrom :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 - ] ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A file that an agent recognises to be written in a specific computer language."@en ; - skos:prefLabel "LanguageInterpretableFile"@en . - - ### http://emmo.info/emmo#EMMO_268a8a97_3a6f_4022_93da_962a66827cdc :EMMO_268a8a97_3a6f_4022_93da_962a66827cdc rdf:type owl:Class ; rdfs:subClassOf :EMMO_1461e904_a2bf_4558_ad74_2706f5706b34 ; @@ -278,13 +249,25 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e ### http://emmo.info/emmo#EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b :EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b rdf:type owl:Class ; - rdfs:subClassOf :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; + rdfs:subClassOf :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 , + [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_f68030be_94b8_4c61_a161_886468558054 ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 + ] ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An Internationalized Resource Identifier (IRI) is a compact sequence of characters that identifies an abstract or physical resource. It is similar to URI, but greatly extends the allowed character set from ASCII to the Universal Character Set."@en ; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "https://en.wiktionary.org/wiki/Ῥόδος"^^xsd:anyURI ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "IRIs are commonly used as identifiers for ontological entities, although the extended unicode character set is rarely used."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Internationalized_Resource_Identifier"^^xsd:anyURI ; skos:prefLabel "IRI"@en . +[ rdf:type owl:Axiom ; + owl:annotatedSource :EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b ; + owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; + owl:annotatedTarget "An Internationalized Resource Identifier (IRI) is a compact sequence of characters that identifies an abstract or physical resource. It is similar to URI, but greatly extends the allowed character set from ASCII to the Universal Character Set."@en ; + rdfs:isDefinedBy "https://datatracker.ietf.org/doc/rfc3987/"^^xsd:anyURI + ] . + ### http://emmo.info/emmo#EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b rdf:type owl:Class ; @@ -432,8 +415,8 @@ Here we explicitly include in the definition also all the data (e.g. source code ### http://emmo.info/emmo#EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 rdf:type owl:Class ; rdfs:subClassOf :EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A formal language that can be interpreted by a computer."@en ; - skos:altLabel "ComputerLanguage"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well-formed formula that follows the syntactic rules of computer science."@en ; + :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A well-formed formula in computer science may be or not be interpreted by a computer. For example pseudo-code is only intended for human consumption."@en ; skos:prefLabel "ComputerScience"@en . @@ -486,13 +469,15 @@ Batch programming languages."""@en ; :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 rdf:type owl:Class ; rdfs:subClassOf :EMMO_50ea1ec5_f157_41b0_b46b_a9032f17ca10 , :EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A path is a string of characters used to uniquely identify a location in a directory structure." ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A path is a string of characters used to uniquely identify a location in a directory structure according to a particular convention."@en ; + :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """/etc/fstab (UNIX-like path) +C:\\\\Users\\\\John\\\\Desktop (DOS-like path)"""@en ; skos:prefLabel "Path"@en . [ rdf:type owl:Axiom ; owl:annotatedSource :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 ; owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ; - owl:annotatedTarget "A path is a string of characters used to uniquely identify a location in a directory structure." ; + owl:annotatedTarget "A path is a string of characters used to uniquely identify a location in a directory structure according to a particular convention."@en ; :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Path_(computing)#Universal_Naming_Convention" ] . @@ -538,12 +523,4 @@ Batch programming languages."""@en ; skos:prefLabel "ApplicationSpecificScript"@en . -### http://emmo.info/emmo#8d9db119_139d_48dc_9350_369e8fdbe608 - rdf:type owl:Class ; - rdfs:subClassOf :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ; - :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A descrete data that has a given structure."@en ; - :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The structure of a data structure can be described mereologically."@en ; - skos:prefLabel "DataStructure"@en . - - ### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi