Skip to content

Commit

Permalink
Multiperspectives as OWL 2 RL
Browse files Browse the repository at this point in the history
  • Loading branch information
@emanueleghedini
emanueleghedini committed Jun 13, 2024
1 parent e10e800 commit 4fbbeb6
Show file tree
Hide file tree
Showing 4 changed files with 33 additions and 25 deletions.
3 changes: 2 additions & 1 deletion multiperspective/multiperspective.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@
<https://w3id.org/emmo/1.0.0-rc1/multiperspective/persholistic> ,
<https://w3id.org/emmo/1.0.0-rc1/multiperspective/properties> ,
<https://w3id.org/emmo/1.0.0-rc1/multiperspective/symbolic> ,
<https://w3id.org/emmo/1.0.0-rc1/multiperspective/dataset> .
<https://w3id.org/emmo/1.0.0-rc1/multiperspective/dataset> ,
<https://w3id.org/emmo/1.0.0-rc1/multiperspective/workflow> .

### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
3 changes: 2 additions & 1 deletion multiperspective/persholistic.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,8 @@
<https://w3id.org/emmo/multiperspective/persholistic> rdf:type owl:Ontology ;
owl:versionIRI <https://w3id.org/emmo/1.0.0-rc1/multiperspective/persholistic> ;
owl:imports <https://w3id.org/emmo/1.0.0-rc1/perspectives/holistic> ,
<https://w3id.org/emmo/1.0.0-rc1/perspectives/persistence> ;
<https://w3id.org/emmo/1.0.0-rc1/perspectives/persistence> ,
<https://w3id.org/emmo/1.0.0-rc1/perspectives/structural> ;
dcterms:abstract ""@en ;
dcterms:contributor <https://orcid.org/0000-0003-0514-9229> ,
<https://orcid.org/0000-0003-4065-9742> ,
Expand Down
15 changes: 8 additions & 7 deletions multiperspective/symbolic.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -90,13 +90,14 @@ rdf:JSON rdf:type rdfs:Datatype .
# Classes
#################################################################

### http://w3id.org/emmo#EMMO_1141d225_fe90_4230_82c6_31cab6a4e3fe
<http://w3id.org/emmo#EMMO_1141d225_fe90_4230_82c6_31cab6a4e3fe> rdf:type owl:Class ;
rdfs:subClassOf :EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ;
skos:prefLabel "SymbolicByStructure"@en .


### https://w3id.org/emmo#EMMO_057e7d57_aff0_49de_911a_8861d85cef40
:EMMO_057e7d57_aff0_49de_911a_8861d85cef40 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:unionOf ( :EMMO_89a0c87c_0804_4013_937a_6fe234d9499c
:EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527
)
] ;
rdfs:subClassOf :EMMO_be8592a7_68d1_4a06_ad23_82f2b56ef926 ;
skos:example """fe780
emmo
Expand Down Expand Up @@ -375,7 +376,7 @@ If an 'interpreter' skilled in english language is involved in a 'semiotic' proc

### https://w3id.org/emmo#EMMO_89a0c87c_0804_4013_937a_6fe234d9499c
:EMMO_89a0c87c_0804_4013_937a_6fe234d9499c rdf:type owl:Class ;
rdfs:subClassOf :EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ,
rdfs:subClassOf <http://w3id.org/emmo#EMMO_1141d225_fe90_4230_82c6_31cab6a4e3fe> ,
[ rdf:type owl:Restriction ;
owl:onProperty :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
owl:someValuesFrom :EMMO_057e7d57_aff0_49de_911a_8861d85cef40
Expand Down Expand Up @@ -426,7 +427,7 @@ The tiles of an n-dimensional array are (n-1) dimensional arrays. The tiles of a

### https://w3id.org/emmo#EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527
:EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_057e7d57_aff0_49de_911a_8861d85cef40 ;
rdfs:subClassOf <http://w3id.org/emmo#EMMO_1141d225_fe90_4230_82c6_31cab6a4e3fe> ;
skos:altLabel "AlphabeticEntity"@en ;
skos:example "The class of letter \"A\" is the symbol as idea and the letter A that you see on the screen is the mark that can be represented by an individual belonging to \"A\"."@en ;
skos:prefLabel "Symbol"@en ;
Expand Down
37 changes: 21 additions & 16 deletions multiperspective/workflow.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -62,17 +62,30 @@ Workflows may also be extended reductionistically into serial and parallel workf
# Classes
#################################################################

### http://w3id.org/emmo#EMMO_180bd73b_0c5d_4b1f_ba12_4309c5a50d49
<http://w3id.org/emmo#EMMO_180bd73b_0c5d_4b1f_ba12_4309c5a50d49> rdf:type owl:Class ;
rdfs:subClassOf <http://w3id.org/emmo#EMMO_5e38e44b_a0d1_4afc_a876_95095c0a589f> ,
:EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ;
skos:prefLabel "StepByPosition"@en .


### http://w3id.org/emmo#EMMO_1a6ddb13_49ff_4305_97a1_d1458d51c066
<http://w3id.org/emmo#EMMO_1a6ddb13_49ff_4305_97a1_d1458d51c066> rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ;
skos:prefLabel "StepByFlow"@en .


### https://w3id.org/emmo#EMMO_2666a7e3_2ad4_49a0_899e_329607231f4b
:EMMO_2666a7e3_2ad4_49a0_899e_329607231f4b rdf:type owl:Class ;
rdfs:subClassOf :EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b ,
:EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ;
rdfs:subClassOf <http://w3id.org/emmo#EMMO_1a6ddb13_49ff_4305_97a1_d1458d51c066> ,
:EMMO_504ad89e_dd4a_4fa6_aeb6_15c8ce0cde9b ;
skos:prefLabel "SerialStep"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A step that is a temporal tile of a workflow."@en .


### https://w3id.org/emmo#EMMO_322ce14e_9ede_4841_ad70_302b4d6c5f28
:EMMO_322ce14e_9ede_4841_ad70_302b4d6c5f28 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ,
rdfs:subClassOf <http://w3id.org/emmo#EMMO_180bd73b_0c5d_4b1f_ba12_4309c5a50d49> ,
:EMMO_caa63d00_80b1_4408_ac1b_cd0d23b0ec50 ;
skos:prefLabel "InternalStep"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A generic step in a workflow, that is not the begin or the end."@en .
Expand All @@ -97,6 +110,7 @@ It means that you can declare that e.g. tightening a bolt is a task of building
:EMMO_57ba1bf0_4314_432c_a9bb_6a6720c8dab5 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c ,
:EMMO_92829beb_6ed4_4c88_bbd5_3bc7403e2895 ;
owl:disjointWith :EMMO_5848e476_2768_4988_98f9_9053c532307b ;
skos:prefLabel "SerialWorkflow"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A workflow whose tasks are tiles of a sequence."@en .

Expand All @@ -115,9 +129,6 @@ It means that you can declare that e.g. tightening a bolt is a task of building
owl:onProperty :EMMO_8e52c42b_e879_4473_9fa1_4b23428b392b ;
owl:someValuesFrom :EMMO_4299e344_a321_4ef2_a744_bacfcce80afc
] ;
owl:disjointUnionOf ( :EMMO_57ba1bf0_4314_432c_a9bb_6a6720c8dab5
:EMMO_5848e476_2768_4988_98f9_9053c532307b
) ;
skos:prefLabel "Workflow"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A procedure that has at least two procedures (tasks) as proper parts."@en .

Expand All @@ -133,7 +144,7 @@ It means that you can declare that e.g. tightening a bolt is a task of building

### https://w3id.org/emmo#EMMO_8a2a1cbc_dfc3_4e6c_b337_00ee56fd438a
:EMMO_8a2a1cbc_dfc3_4e6c_b337_00ee56fd438a rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ,
rdfs:subClassOf <http://w3id.org/emmo#EMMO_180bd73b_0c5d_4b1f_ba12_4309c5a50d49> ,
:EMMO_edf72228_e040_4edc_8b46_78b2a47c72d7 ;
skos:prefLabel "EndStep"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The final step of a workflow."@en ;
Expand All @@ -142,21 +153,15 @@ It means that you can declare that e.g. tightening a bolt is a task of building

### https://w3id.org/emmo#EMMO_9ac10a20_63d0_4bbd_a5d3_f00a0ad4682c
:EMMO_9ac10a20_63d0_4bbd_a5d3_f00a0ad4682c rdf:type owl:Class ;
rdfs:subClassOf :EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c ,
:EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ;
rdfs:subClassOf <http://w3id.org/emmo#EMMO_1a6ddb13_49ff_4305_97a1_d1458d51c066> ,
:EMMO_64963ed6_39c9_4258_85e0_6466c4b5420c ;
skos:example "Jacobi method numerical step, involving the multiplication between a matrix A and a vector x, whose result is used to update the vector x."@en ;
skos:prefLabel "IterativeStep"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A workflow whose output can be used as input for another workflow of the same type, iteratively, within the framework of a larger workflow."@en .


### https://w3id.org/emmo#EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3
:EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:unionOf ( :EMMO_322ce14e_9ede_4841_ad70_302b4d6c5f28
:EMMO_8a2a1cbc_dfc3_4e6c_b337_00ee56fd438a
:EMMO_b941e455_2cb1_4c11_93e3_17caa06086b4
)
] ;
rdfs:subClassOf :EMMO_4299e344_a321_4ef2_a744_bacfcce80afc ,
:EMMO_9953c19f_ee33_4af8_be5e_dbf6d1e33581 ;
skos:prefLabel "Step"@en ;
Expand All @@ -166,7 +171,7 @@ It means that you can declare that e.g. tightening a bolt is a task of building

### https://w3id.org/emmo#EMMO_b941e455_2cb1_4c11_93e3_17caa06086b4
:EMMO_b941e455_2cb1_4c11_93e3_17caa06086b4 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9f6ec830_c59f_46aa_8a22_945ba20b6ea3 ,
rdfs:subClassOf <http://w3id.org/emmo#EMMO_180bd73b_0c5d_4b1f_ba12_4309c5a50d49> ,
:EMMO_fa595892_070d_455e_9459_06c97179c080 ;
skos:prefLabel "BeginStep"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An initial step of a workflow."@en ;
Expand Down

0 comments on commit 4fbbeb6

Please sign in to comment.