Skip to content

Commit

Permalink
Added ResourceDescription, Computer and Resource with interrelations.
Browse files Browse the repository at this point in the history
  • Loading branch information
@jesper-friis
jesper-friis committed Nov 5, 2023
1 parent b83e3af commit 5f4a2e8
Showing 1 changed file with 69 additions and 7 deletions.
76 changes: 69 additions & 7 deletions disciplines/computerscience.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,9 +10,9 @@

<http://emmo.info/emmo/disciplines/computerscience> rdf:type owl:Ontology ;
owl:versionIRI <http://emmo.info/emmo/1.0.0-beta5/disciplines/computerscience> ;
owl:imports <http://emmo.info/emmo/1.0.0-beta5/multiperspective/symbolic> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/semiotics> ,
<http://emmo.info/emmo/1.0.0-beta5/disiplines/models> ;
owl:imports <http://emmo.info/emmo/1.0.0-beta5/disciplines/models> ,
<http://emmo.info/emmo/1.0.0-beta5/multiperspective/symbolic> ,
<http://emmo.info/emmo/1.0.0-beta5/perspectives/semiotics> ;
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" ,
Expand Down Expand Up @@ -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 .
Expand Down Expand Up @@ -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 .

Expand Down Expand Up @@ -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 ,
Expand All @@ -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 ;
<http://emmo.info/emmo#157fdf31_6387_42be_8e72_10530519214a> "https://en.wikipedia.org/wiki/File:URI_syntax_diagram.svg"^^xsd:anyURI ;
Expand Down Expand Up @@ -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 ;
Expand All @@ -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 ;
Expand All @@ -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 .

Expand Down Expand Up @@ -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
<http://emmo.info/emmo#3c5b33a1_4f28_41f9_b725_1994df79bf55> rdf:type owl:Class ;
rdfs:subClassOf :EMMO_f84b1b92_1dc8_4146_99f0_b03cd53e455b ;
Expand Down

0 comments on commit 5f4a2e8

Please sign in to comment.