From b8a8452e1c861d341feeb8457bb391574bc295a8 Mon Sep 17 00:00:00 2001
From: Emanuele Ghedini <emanuele.ghedini@gmail.com>
Date: Thu, 16 May 2024 23:05:47 +0200
Subject: [PATCH] Solved failing import of computerscience module

---
 disciplines/computerscience.ttl | 23 +++++++++++++----------
 disciplines/models.ttl          |  4 ----
 2 files changed, 13 insertions(+), 14 deletions(-)

diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl
index aaba2b9c..b4481d56 100644
--- a/disciplines/computerscience.ttl
+++ b/disciplines/computerscience.ttl
@@ -10,8 +10,8 @@
 
 <https://w3id.org/emmo/disciplines/computerscience> rdf:type owl:Ontology ;
                                                      owl:versionIRI <https://w3id.org/emmo/1.0.0-rc1/disciplines/computerscience> ;
-                                                     owl:imports <https://w3id.org/emmo/1.0.0-rc1/disciplines/models> ,
-                                                                 <https://w3id.org/emmo/1.0.0-rc1/multiperspective/symbolic> ,
+                                                     owl:imports <https://w3id.org/emmo/1.0.0-rc1/multiperspective/symbolic> ,
+                                                                 <https://w3id.org/emmo/1.0.0-rc1/multiperspective/workflow> ,
                                                                  <https://w3id.org/emmo/1.0.0-rc1/perspectives/semiotics> ;
                                                      dcterms:abstract "Key concepts from the domain of computer science."@en ;
                                                      dcterms:creator "Emanuele Ghedini, University of Bologna, IT" ,
@@ -30,9 +30,12 @@
 #    Annotation properties
 #################################################################
 
+###  http://www.w3.org/2002/07/owl#qualifiedCardinality
+owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
+
+
 ###  https://w3id.org/emmo#EMMO_faf79f53_749d_40b2_807c_d34244c192f4
-:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdf:type owl:AnnotationProperty ;
-                                           rdfs:domain :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a .
+:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdf:type owl:AnnotationProperty .
 
 
 #################################################################
@@ -83,6 +86,11 @@ rdf:JSON rdf:type rdfs:Datatype .
                                            skos:prefLabel "hasURNValue"@en .
 
 
+###  https://w3id.org/emmo#EMMO_faf79f53_749d_40b2_807c_d34244c192f4
+:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdf:type owl:DatatypeProperty ;
+                                           rdfs:domain :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a .
+
+
 #################################################################
 #    Classes
 #################################################################
@@ -98,12 +106,7 @@ rdf:JSON rdf:type rdfs:Datatype .
 
 ###  https://w3id.org/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
-                                                           ] ;
+                                           rdfs:subClassOf :EMMO_18c4634c_b821_49a3_beff_5eb7515ffc40 ;
                                            skos:prefLabel "SimulationLanguage"@en ;
                                            :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 .
diff --git a/disciplines/models.ttl b/disciplines/models.ttl
index 3317b997..445f287b 100644
--- a/disciplines/models.ttl
+++ b/disciplines/models.ttl
@@ -128,10 +128,6 @@ The Navier-Stokes equation."""@en ;
                                            :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 'process' that is recognized by physical sciences and is categorized accordingly."@en .
 
 
-###  https://w3id.org/emmo#EMMO_3b031fa9_8623_4ea5_8b57_bcafb70c5c8b
-:EMMO_3b031fa9_8623_4ea5_8b57_bcafb70c5c8b rdf:type owl:Class .
-
-
 ###  https://w3id.org/emmo#EMMO_4456a5d2_16a6_4ee1_9a8e_5c75956b28ea
 :EMMO_4456a5d2_16a6_4ee1_9a8e_5c75956b28ea rdf:type owl:Class ;
                                            skos:prefLabel "ContinuumModel"@en ;