diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl index 62714820..2076eea9 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -10,42 +10,32 @@ 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" , - "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" . ################################################################# # Object Properties ################################################################# -### 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: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_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 @@ -64,7 +54,7 @@ email: emanuele.ghedini@unibo.it"""@en , ### http://emmo.info/emmo#EMMO_b35e92d7_7fa0_4661_aa5a_5cea7c8e6925 :EMMO_b35e92d7_7fa0_4661_aa5a_5cea7c8e6925 rdf:type owl:DatatypeProperty ; - rdfs:subPropertyOf :EMMO_02face50_43a1_40ce_a909_dfe54d5e186b ; + rdfs:subPropertyOf :b6292331_94af_4f00_976b_ea55960c2f1c ; rdfs:range xsd:anyURI ; skos:prefLabel "hasURIValue"@en . @@ -79,12 +69,34 @@ 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_18c4634c_b821_49a3_beff_5eb7515ffc40 , + [ 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 . + + ### 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_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 ; + 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 +109,32 @@ 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_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. + +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 . + + +### 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_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 . + + ### 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 +142,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 +174,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_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 . + + ### 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 ; @@ -145,11 +210,27 @@ email: emanuele.ghedini@unibo.it"""@en , skos:prefLabel "DigitalData"@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_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 , + [ 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_53dd6f2a_f9de_4f83_b925_1bf39a4ab9a6 @@ -166,9 +247,31 @@ email: emanuele.ghedini@unibo.it"""@en , 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 , + [ 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 ; - rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ; + 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 ; @@ -258,13 +361,19 @@ 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 , + [ 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 . ### 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 ; @@ -279,6 +388,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_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 ; + 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 ; @@ -287,16 +405,43 @@ 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 ; 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 ; + :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 . +### 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_eb3518bf_f799_4f9e_8c3e_ce59af11453b + ] ; + owl:someValuesFrom :EMMO_51f1ba0d_e92b_4be2_9a9d_4640b16ac7ed + ] ; + :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 +: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 :EMMO_db99b1e5_2f34_467b_a784_d104946d9f00 rdf:type owl:Class ; rdfs:subClassOf :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ; @@ -311,21 +456,49 @@ Here we explicitly include in the definition also all the data (e.g. source code ] . +### http://emmo.info/emmo#EMMO_e7848014_ad79_422d_be02_74df892f7c11 +:EMMO_e7848014_ad79_422d_be02_74df892f7c11 rdf:type owl:Class ; + 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 ; + 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_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A path is a string of characters used to uniquely identify a location in a directory structure." ; + :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 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" ] . +### 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 ; @@ -333,6 +506,15 @@ Here we explicitly include in the definition also all the data (e.g. source code 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_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 ; + 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 ; @@ -341,10 +523,4 @@ Here we explicitly include in the definition also all the data (e.g. source code 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 ; - skos:prefLabel "DataStructure"@en . - - ### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi