From 5f4a2e8c5235e2ed182e6e0612cfd50932051039 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Mon, 6 Nov 2023 00:05:40 +0100 Subject: [PATCH] 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 ;