From b83e3af167981ce93ebc123953ab1ed6361f0779 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 5 Nov 2023 22:59:56 +0100 Subject: [PATCH 01/10] 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 02/10] 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 ce13d929229e13d74c1eeb65cd657897e4dd9343 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 10 Nov 2023 19:48:24 +0100 Subject: [PATCH 03/10] 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 7b2f585d2742175e2b35fcc49c17ebb76851f333 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Tue, 14 Nov 2023 16:04:07 +0100 Subject: [PATCH 04/10] 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 05/10] 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 2f7973b67cee039f4f45a207f1ed6a942c3c09d2 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Thu, 4 Jan 2024 09:47:05 +0100 Subject: [PATCH 06/10] 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 07/10] 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 08/10] 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 9e0b76435e7984d67989c0f21e29816aecd94e57 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Thu, 11 Jan 2024 16:37:21 +0100 Subject: [PATCH 09/10] 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 10/10] 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