Skip to content

Commit

Permalink
Cleaning up and simplified semiotic properties
Browse files Browse the repository at this point in the history 
Removed property chains in semiotics and transformed in Rules.
  • Loading branch information
@emanueleghedini
emanueleghedini committed Mar 23, 2024
1 parent 51b936c commit 3799f5d
Show file tree
Hide file tree
Showing 5 changed files with 512 additions and 495 deletions.
68 changes: 34 additions & 34 deletions disciplines/computerscience.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,10 +38,6 @@ rdf:JSON rdf:type rdfs:Datatype .
# Object Properties
#################################################################

### https://w3id.org/emmo#EMMO_a32021dc_58d8_454b_915d_3951b413b8b7
:EMMO_a32021dc_58d8_454b_915d_3951b413b8b7 rdf:type owl:ObjectProperty .


### https://w3id.org/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 ;
Expand Down Expand Up @@ -117,9 +113,9 @@ rdf:JSON rdf:type rdfs:Datatype .
### https://w3id.org/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 ;
skos:example "JSON, YAML, XML"@en ;
skos:prefLabel "DataExchangeLanguage"@en ;
: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 ;
skos:example "JSON, YAML, XML"@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Data_exchange#Data_exchange_languages"^^xsd:anyURI .


Expand All @@ -138,14 +134,14 @@ rdf:JSON rdf:type rdfs:Datatype .
### https://w3id.org/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 ;
skos:prefLabel "ModellingLanguage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An artificial computer language used to express information or knowledge, often for use in computer system design."@en ;
skos:example "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.
"""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 ;
skos:prefLabel "ModellingLanguage"@en ;
: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_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Modeling_language"^^xsd:anyURI .


Expand Down Expand Up @@ -180,9 +176,9 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e
### https://w3id.org/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 ;
skos:example "SQL, SPARQL"@en ;
skos:prefLabel "QueryLanguage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A construction language used to make queries in databases and information systems."@en ;
skos:example "SQL, SPARQL"@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Query_language"^^xsd:anyURI .


Expand Down Expand Up @@ -212,10 +208,10 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e
### https://w3id.org/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 ;
skos:example ".ini files"@en ,
"Files in the standard .config directory on Unix systems."@en ;
skos:prefLabel "ConfigurationLanguage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A construction language used to write configuration files."@en ;
skos:example ".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 .


Expand All @@ -232,17 +228,17 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e
rdfs:subClassOf :EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ;
skos:altLabel "App"@en ,
"Application"@en ;
skos:example "Word processors, graphic image processing programs, database management systems, numerical simulation software and games."@en ;
skos:prefLabel "ApplicationProgram"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A program aimed to provide a specific high level function to the user, usually hiding lower level procedures."@en ;
skos:example "Word processors, graphic image processing programs, database management systems, numerical simulation software and games."@en .
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A program aimed to provide a specific high level function to the user, usually hiding lower level procedures."@en .


### https://w3id.org/emmo#EMMO_3c5b33a1_4f28_41f9_b725_1994df79bf55
:EMMO_3c5b33a1_4f28_41f9_b725_1994df79bf55 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_f84b1b92_1dc8_4146_99f0_b03cd53e455b ;
skos:example "Scripting file for the execution of modelling software such as LAMMPS, OpenFOAM, or for general purpose platforms such as MATLAB or Mathematica." ;
skos:prefLabel "ApplicationSpecificScript"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A scripting language developed specifically for an application, so that it's usage and interpretation is limited in this context." ;
skos:example "Scripting file for the execution of modelling software such as LAMMPS, OpenFOAM, or for general purpose platforms such as MATLAB or Mathematica." .
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A scripting language developed specifically for an application, so that it's usage and interpretation is limited in this context." .


### https://w3id.org/emmo#EMMO_4db96fb7_e9e0_466d_942b_f6f17bfdc145
Expand All @@ -264,19 +260,23 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e
: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 ;
skos:example "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 ;
skos:prefLabel "Command"@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 .


### https://w3id.org/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 :EMMO_a32021dc_58d8_454b_915d_3951b413b8b7
] ;
owl:someValuesFrom :EMMO_e7848014_ad79_422d_be02_74df892f7c11
[ owl:intersectionOf ( :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de
[ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9
] ;
owl:someValuesFrom :EMMO_e7848014_ad79_422d_be02_74df892f7c11
]
) ;
rdf:type owl:Class
] ;
skos:altLabel "Resource"@en ;
skos:prefLabel "SystemResource"@en ;
Expand All @@ -292,23 +292,23 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e
### https://w3id.org/emmo#EMMO_58b17cac_3125_4486_9b9c_8c45ac254040
:EMMO_58b17cac_3125_4486_9b9c_8c45ac254040 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_8681074a_e225_4e38_b586_e85b0f43ce38 ;
skos:example "An operating system. A graphic driver."@en ;
skos:prefLabel "SystemProgram"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "System program refers to operating systems and utility programs that manage computer resources at a low level enabling a computer to function."@en ;
skos:example "An operating system. A graphic driver."@en .
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "System program refers to operating systems and utility programs that manage computer resources at a low level enabling a computer to function."@en .


### https://w3id.org/emmo#EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b
:EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b rdf:type owl:Class ;
rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ,
:EMMO_c404e6d9_261d_4d2e_ab0d_ba4e05062647 ,
[ rdf:type owl:Restriction ;
owl:onProperty :EMMO_f68030be_94b8_4c61_a161_886468558054 ;
owl:onProperty :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155
] ;
skos:example "https://en.wiktionary.org/wiki/Ῥόδος"^^xsd:anyURI ;
skos:prefLabel "IRI"@en ;
: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 (Unicode/ISO 10646).."@en ;
skos:example "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 .

Expand Down Expand Up @@ -484,9 +484,9 @@ Here we explicitly include in the definition also all the data (e.g. source code
### https://w3id.org/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 ;
skos:example "CSS"@en ;
skos:prefLabel "StyleSheetLanguage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A computer language that expresses the presentation of structured documents."@en ;
skos:example "CSS"@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Style_sheet_language"^^xsd:anyURI .


Expand All @@ -499,9 +499,9 @@ Here we explicitly include in the definition also all the data (e.g. source code
### https://w3id.org/emmo#EMMO_af7b627d_6528_4fdb_97df_ba4579c4bb5d
:EMMO_af7b627d_6528_4fdb_97df_ba4579c4bb5d rdf:type owl:Class ;
rdfs:subClassOf :EMMO_19fe0747_6954_40cb_9f8f_b87498bc8e78 ;
skos:example "HTML"@en ;
skos:prefLabel "MarkupLanguage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A grammar for annotating a document in a way that is syntactically distinguishable from the text."@en ;
skos:example "HTML"@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Markup_language"^^xsd:anyURI .


Expand Down Expand Up @@ -537,10 +537,10 @@ Here we explicitly include in the definition also all the data (e.g. source code
### https://w3id.org/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 ;
skos:prefLabel "CommandLanguage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interpreted computer language for job control in computing."@en ;
skos:example """Unix shell.
Batch programming languages."""@en ;
skos:prefLabel "CommandLanguage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interpreted computer language for job control in computing."@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Command_language"^^xsd:anyURI .


Expand Down Expand Up @@ -571,10 +571,10 @@ 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 ;
skos:prefLabel "Path"@en ;
: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 ;
skos:example """/etc/fstab (UNIX-like path)
C:\\\\Users\\\\John\\\\Desktop (DOS-like path)"""@en .
C:\\\\Users\\\\John\\\\Desktop (DOS-like path)"""@en ;
skos:prefLabel "Path"@en ;
: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 .

[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_e94a9156_fb6c_4e16_88ee_829ac9933155 ;
Expand All @@ -587,10 +587,10 @@ C:\\\\Users\\\\John\\\\Desktop (DOS-like path)"""@en .
### https://w3id.org/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 ;
skos:example "Tritium, XSLT, XQuery, STX, FXT, XDuce, CDuce, HaXml, XMLambda, FleXML"@en ;
skos:prefLabel "TransformationLanguage"@en ;
: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 ;
skos:example "Tritium, XSLT, XQuery, STX, FXT, XDuce, CDuce, HaXml, XMLambda, FleXML"@en .
"https://en.wikipedia.org/wiki/Transformation_language"^^xsd:anyURI .


### https://w3id.org/emmo#EMMO_f42a0e95_c130_4a69_9660_6bfdbb897d4a
Expand All @@ -611,9 +611,9 @@ C:\\\\Users\\\\John\\\\Desktop (DOS-like path)"""@en .
### https://w3id.org/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 ;
skos:example "ACSL, VDM, LOTUS, MML, ..."@en ;
skos:prefLabel "SpecificationLanguage"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A language used to describe what a computer system should do."@en ;
skos:example "ACSL, VDM, LOTUS, MML, ..."@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Specification_language"^^xsd:anyURI .


Expand Down
Loading

0 comments on commit 3799f5d

Please sign in to comment.