Moldovan Andrei + Zarnescu Andrei

README.md

@@ -3,5 +3,6 @@
 Main file: covid-19-ro.racer
 
 cases.racer - add cases in this file
+medical-myts -add here medical myths in description logic
 
 Don't forget to include the name of new individuals, concepts and roles in the signature of the ontology. 

cases.racer

@@ -19,7 +19,7 @@
 (related  case2 white has-race)
 
 (instance case3 (and Person (equal has-age 38)))
-(related  case3 hospitalized has-status)
+(related  case3 recovered has-status)
 (related  case3 female has-gender)
 (related  case3 Timis  has-detection-location)
 (related  case3 importedCase has-source-of-infection)
@@ -244,7 +244,42 @@
 (related  case35 Italy has-origin-of-infection)
 (related  case35 d15 has-confirmation-date)
 
-
+(instance case36 (and Person (equal has-age 56)))
+(related case36 hospitalized has-status)
+(related case36 male has-gender)
+(related case36 Bucuresti has-detection-location)
+(related case36 importedCase has-source-of-infection)
+(related case36 Israel has-origin-of-infection)
+(related case36 d15 has-confirmation-date)
+
+(instance case37 (and Person (equal has-age 47)))
+(related  case37 hospitalized has-status)
+(related  case37 male has-gender)
+(related  case37 Bucuresti has-detection-location)
+(related  case37 importedCase has-source-of-infection)
+(related  case37 Germany has-origin-of-infection)
+(related  case37 d15 has-confirmation-date)
+
+(instance case38 (and Person (equal has-age 54)))
+(related  case38 hospitalized has-status)
+(related  case38 female has-gender)
+(related  case38 Bucuresti has-detection-location)
+(related  case38 localTransmission has-source-of-infection)
+(related  case38 d15 has-confirmation-date)
+
+(instance case39 (and Person (equal has-age 52)))
+(related  case39 hospitalized has-status)
+(related  case39 male has-gender)
+(related  case39 Constanta has-detection-location)
+(related  case39 d15 has-confirmation-date)
+
+(instance case40 (and Person (equal has-age 22)))
+(related  case40 hospitalized has-status)
+(related  case40 male has-gender)
+(related  case40 Arad has-detection-location)
+(related  case40 importedCase has-source-of-infection)
+(related  case40 Italy has-origin-of-infection)
+(related  case40 d15 has-confirmation-date)
 
 (instance case45 (and Person (equal has-age 20)))
 (related  case45 hospitalized has-status)
@@ -254,7 +289,6 @@
 (related  case45 Italy has-origin-of-infection)
 (related  case45 d15 has-confirmation-date) 
 
-
 (instance case51 (and Person (equal has-age 21)))
 (related  case51 hospitalized has-status)
 (related  case51 male has-gender)
@@ -331,6 +365,40 @@
 (related  case92 UAE has-origin-of-infection)
 (related  case92 d17 has-confirmation-date) 
 
+(instance case93 (and Person (equal has-age 41)))
+(related case93 hospitalized has-status)
+(related case93 female has-gender)
+(related case93 Iasi has-detection-location)
+(related case93 importedCase has-source-of-infection)
+(related case93 France has-origin-of-infection)
+(related case93 d17 has-confirmation-date)
+
+(instance case94 (and Person (equal has-age 27)))
+(related  case94 hospitalized has-status)
+(related  case94 female has-gender)
+(related  case94 Dambovita has-detection-location)
+(related  case94 importedCase has-source-of-infection)
+(related  case94 Italy has-origin-of-infection)
+(related  case94 d17 has-confirmation-date)
+(related  case94 white has-race)
+
+(instance case95 (and Person (equal has-age 55)))
+(related  case95 hospitalized has-status)
+(related  case95 male has-gender)
+(related  case95 Dambovita has-detection-location)
+(related  case95 importedCase has-source-of-infection)
+(related  case95 Italy has-origin-of-infection)
+(related  case95 d17 has-confirmation-date)
+(related  case95 white has-race)
+
+(instance case97 (and Person (equal has-age 39)))
+(related  case97 hospitalized has-status)
+(related  case97 male has-gender)
+(related  case97 Dolj  has-detection-location)
+(related  case97 importedCase has-source-of-infection)
+(related  case97 Italy has-origin-of-infection)
+(related  case97 d18 has-confirmation-date)
+
 (instance case98 (and Person (equal has-age 53)))
 (related  case98 hospitalized has-status)
 (related  case98 female has-gender)
@@ -375,6 +443,33 @@
 (related  case112 d18 has-confirmation-date)
 (related  case112 unknownForwardContact has-direct-contact)
 
+(instance case114 (and Person (equal has-age 38)))
+(related  case114 hospitalized has-status)
+(related  case114 female has-gender)
+(related  case114 Hunedoara  has-detection-location)
+(related  case114 Romania has-origin-of-infection)
+(related  case114 d18 has-confirmation-date)
+(related  case114 localTransmission has-source-of-infection)
+(related  case114 case26 has-direct-contact)
+
+(instance case115 (and Person (equal has-age 45)))
+(related  case115 hospitalized has-status)
+(related  case115 female has-gender)
+(related  case115 Hunedoara  has-detection-location)
+(related  case115 Romania has-origin-of-infection)
+(related  case115 d18 has-confirmation-date)
+(related  case115 localTransmission has-source-of-infection)
+(related  case115 case26 has-direct-contact)
+
+(instance case116 (and Person (equal has-age 60)))
+(related  case116 hospitalized has-status)
+(related  case116 male has-gender)
+(related  case116 Caraș  has-detection-location)
+(related  case116 importedCase has-source-of-infection)
+(related  case116 Italy has-origin-of-infection)
+(related  case116 d18 has-confirmation-date)
+(related  case116 unknownForwardContact has-direct-contact)
+
 (instance case119 (and Person (equal has-age 25)))
 (related  case119 hospitalized has-status)
 (related  case119 female has-gender)
@@ -383,6 +478,14 @@
 (related  case119 Germany has-origin-of-infection)
 (related  case119 d18 has-confirmation-date) 
 
+(instance case123 (and Person (equal has-age 24)))
+(related  case123 hospitalized has-status)
+(related  case123 male has-gender)
+(related  case123 Bucuresti has-detection-location)
+(related  case123 localTransmission has-source-of-infection)
+(related  case123 Romania has-origin-of-infection)
+(related  case123 case17 has-direct-contact) 
+
 (instance case120 (and Person (equal has-age 46)))
 (related  case120 hospitalized has-status)
 (related  case120 male has-gender)
@@ -401,24 +504,23 @@
 (related  case121 d18 has-confirmation-date) 
 (related  case121 unknownForwardContact has-direct-contact)
 
-
-(instance case122 (and Person (equal has-age 58)))
+(instance case 122 (and Person (equal has-age 58)))
 (related  case122 hospitalized has-status)
 (related  case122 female has-gender)
 (related  case122 Bucuresti  has-detection-location)
-(related  case122 localtransmission has-source-of-infection)
-(related  case122 N/A has-origin-of-infection)
+(related  case122 importedCase localTransmission)
+(related  case122 unknownOrigin has-origin-of-infection)
 (related  case122 d18 has-confirmation-date) 
-(related  case122 NurseatDimitrieGerotaEmergencyHospital.Contactofcase#30,whowasacontactofcase#17. has-direct-contact)
+(related  case122 case17 has-direct-contact)
 
-(instance case123 (and Person (equal has-age 24)))
+(instance case 123 (and Person (equal has-age 24)))
 (related  case123 hospitalized has-status)
 (related  case123 male has-gender)
 (related  case123 Bucuresti  has-detection-location)
-(related  case123 localtransmission has-source-of-infection)
-(related  case123 N/A has-origin-of-infection)
+(related  case123 importedCase localTransmission)
+(related  case123 unknownOrigin has-origin-of-infection)
 (related  case123 d18 has-confirmation-date) 
-(related  case123 Contactofcase#17. has-direct-contact)
+(related  case123 case17 has-direct-contact)
 
 (instance case243 (and Person (equal has-age 36)))
 (related  case243 hospitalized has-status)
@@ -438,10 +540,42 @@
 (related  case301 Romania has-origin-of-infection)
 (related  case301 d18 has-confirmation-date)
 
+(instance case302 (and Person (equal has-age 29)))
+(related  case302 hospitalized has-status)
+(related  case302 female has-gender)
+(related  case302 Timisoara has-detection-location)
+(related  case302 importedCase has-source-of-infection)
+(related  case302 Greece has-origin-of-infection)
+(related  case302 d24 has-confirmation-date)
+(related  case302 white has-race)
+(related  case302 unknownForwardContact has-direct-contact)
+
 (instance case308 (and Person (equal has-age 46)))
 (related  case308 hospitalized has-status)
 (related  case308 male has-gender)
 (related  case308 Arges has-detection-location)
 (related  case308 importedCase has-source-of-infection)
 (related  case308 Italy has-origin-of-infection)
 (related  case308 d20 has-confirmation-date)
+
+(instance case350 (and Person (equal has-age 46)))
+(related  case350 hospitalized has-status)
+(related  case350 female has-gender)
+(related  case350 white has-race)
+(related  case350 Cluj has-detection-location)
+(related  case350 importedCase has-source-of-infection)
+(related  case350 Austria has-origin-of-infection)
+(related  case350 d20 has-confirmation-date) 
+(related  case350 unknownForwardContact has-direct-contact)
+
+(instance case351 (and Person (equal has-age 57)))
+(related  case351 hospitalized has-status)
+(related  case351 male has-gender)
+(related  case351 white has-race) 
+(related  case351 Suceava has-detection-location)
+(related  case351 importedCase has-source-of-infection)
+(related  case351 France has-origin-of-infection)
+(related  case351 d21 has-confirmation-date) 
+(related  case351 unknownForwardContact has-direct-contact)
+
+

covid-19-ro.racer

@@ -13,6 +13,7 @@
                              MedicalMyth DeceptionLIterature UrbanLegend MedicalMyth-COVID-19
                              Uncertainty Certainty
                              Motivation CommunicationChannel Object Content Evidence
+							 MisleadingTip Chemical Vitamin COVID-19 Disease Drug Virus
                             )
            :roles  ((has-direct-contact        :domain Person           :range Person :parent has-contact)
                     (has-contact               :domain Person           :range Person :transitive t)
@@ -40,6 +41,9 @@
                     (has-evidence                 :range Evidence)
                     (located-in :domain Location :range Location :transitive t)
                     (kills :parents fights-against)
+					(complications)
+                    (prevents :domain Drug    :range Disease :inverse prevented-by)
+                    (causes   :inverse caused-by)
                     )
 
            :features (has-gender :inverse inv-has-gender)
@@ -50,25 +54,37 @@
                         (real has-confidence)
                         (string has-string)
                        )
-           :individuals (case0 case1 case2 case3 case4 case5 case6 case7 case8 case9 case10 case11 case12 
-                         case13 case14 case15 case16 case17 case18 case19 case20 case21 case22 case23 case24 case25 
-                         case26 case27 case29  case31 case32 case35 case45 case51 case52 case76 case84 case86 
-                         case89 case90 case91 case92 case98 case99 case109 case111 case112 case119 case120 case121 case243 case301 case308
+           :individuals (case0 case1 case2 case3 case4 case5 case6 case7 case8 case9 
+                         case10 case11 case12 case13 case14 case15 case16 case17 case18 case19 
+                         case20 case21 case22 case23 case24 case25 case26 case27 case29 
+                         case31 case32 case35 case36 case37 case38 case39
+                         case40 case45 
+                         case51 case52 
+                         case76 
+                         case84 case86 case89 
+                         case90 case91 case92 case93 case94 case95 case97 case98 case99 
+                         case109 
+                         case111 case112 case114 case115 case116 case119 
+                         case120 case121 
+			 case243 
+                         case301 case302 case308
                          male female 
                          white black mongolyan american malayan
                          recovered hospitalized quarantine selfIsolation dead 
                          localTransmission importedCase
                          unknownSourceContact unknownForwardContact
                          unknownOrigin
-                         Gorj Maramures Timis Cluj Hunedoara Mures Brasov Buzau Satu-Mare Suceava 
-                         Constanta Olt Bihor Neamt Ilfov Arad Iasi Bacau Covasna Arges       ;counties        
-                         Lugoj Timisoara Bucuresti                                       ;cities                                  
-                         Italy Romania Israel Germany Spain Norway USA UK UAE Iran Poland
+                         Dambovita Gorj Maramures Timis Cluj Hunedoara Mures Brasov Buzau Satu-Mare Suceava 
+                         Constanta Olt Bihor Neamt Ilfov Arad Iasi Bacau Covasna Arges Dolj      
+                         Lugoj Timisoara Bucuresti                                                                        
+                         Italy Romania Israel Germany Spain Norway USA UK UAE Iran Poland France Greece
                          d1 d2 d3 d4 d5 d6 d7 d8 d9 d10 d11 d12 d13 d14 d15 d16 d17 d18 d19 d20 d21 d22 d23 d24 d25 d26 d27 
-                         d28 d29 d30 d31 d32 d33 d34 d35
+                         d28 d29 d30 d31 d32 d33 d34 d35 d36 d37 d38 d39 d40 d41 d42 d43 d44 d45 d46 d47 d48 d49 d50 d51 d52
+                         d52 d52 d53 d54 d55 d56 d57 d58 d59 d60 d61 d62 d63 d64 d65
                          SARS-CoV-2 MERS-CoV SARS-CoV
-                         m1 m2 m3 m4 m5 m6 m7 m8 m9 m10 m11 m12 m13 m14 m15 m16 m17 m18 m19 m20 m21 m22 m23 m24 m25 m26 m28 m29 m30 
+                         m1 m2 m3 m4 m5 m6 m7 m8 m9 m10 m11 m12 m13 m14 m15 m16 m17 m18 m19 m20 m21 m22 m23 m24 m25 m26 m27 m28 m29 m30 m44 
                          forstitia
+						 m27 m31 bleach zink
                          )
 )  
 
@@ -182,19 +198,20 @@
 (instance m12 (and Falsification (string= has-string "Spraying alcohol or chlorine all over your body kills the new coronavirus")))
 (instance m13 (and Falsification (string= has-string "Vaccines against pneumonia protect you against the new coronavirus")))
 (instance m14 (and Falsification (string= has-string "Antibiotics effective in preventing and treating the new coronavirus")))
-(instance m15 (and Falsification (string= has-string "a")))
-(instance m16 (and Falsification (string= has-string "a")))
-(instance m17 (and Falsification (string= has-string "a")))
-(instance m18 (and Falsification (string= has-string "a")))
+(instance m15 (and Falsification (string= has-string "High dose of Vitamin C heals COVID-19")))
+(instance m16 (and Falsification (string= has-string "In Summer the virus will dissapear because it is very warm")))
+(instance m17 (and Falsification (string= has-string "The pets transmit the virus to humans")))
+(instance m18 (and Falsification (string= has-string "Vaccines against pneumonia protect against the new coronavirus.")))
 (instance m19 (and Falsification (string= has-string "a")))
 (instance m20 (and Falsification (string= has-string "a")))
 (instance m21 (and Falsification (string= has-string "a")))
 (instance m22 (and Falsification (string= has-string "a")))
 (instance m23 (and Falsification (string= has-string "a")))
-(instance m24 (and Falsification (string= has-string "a")))
+(instance m24 (and Falsification (string= has-string "Taking homeopathic medicine helps prevent the effects of the new coronavirus")))
 (instance m25 (and Falsification (string= has-string "a")))
-
-
+(instance m26 (and Falsification (string= has-string "If you cannot hold your breath for more than 50 seconds, you might have covid-19.")))
+(instance m27 (and Falsification (string= has-string "Drinking alcohol prevents COVID-19")))
+(instance m44 (and Falsification (string= has-string "Vaccines against flu protect against the new coronavirus.")))
 
 ;Rules box
 (define-rule (?x localTransmission has-source-of-infection)

dates.racer

@@ -33,3 +33,34 @@
 (instance d33 (and Date (equal has-Day 29) (equal has-Month 3)))
 (instance d34 (and Date (equal has-Day 30) (equal has-Month 3)))
 (instance d35 (and Date (equal has-Day 31) (equal has-Month 3)))
+(instance d36 (and Date (equal has-Day 1)  (equal has-Month 4)))
+(instance d37 (and Date (equal has-Day 2)  (equal has-Month 4)))
+(instance d38 (and Date (equal has-Day 3)  (equal has-Month 4)))
+(instance d39 (and Date (equal has-Day 4)  (equal has-Month 4)))
+(instance d40 (and Date (equal has-Day 5)  (equal has-Month 4)))
+(instance d41 (and Date (equal has-Day 6)  (equal has-Month 4)))
+(instance d42 (and Date (equal has-Day 7)  (equal has-Month 4)))
+(instance d43 (and Date (equal has-Day 8)  (equal has-Month 4)))
+(instance d44 (and Date (equal has-Day 9)  (equal has-Month 4)))
+(instance d45 (and Date (equal has-Day 10) (equal has-Month 4)))
+(instance d46 (and Date (equal has-Day 11) (equal has-Month 4)))
+(instance d47 (and Date (equal has-Day 12) (equal has-Month 4)))
+(instance d48 (and Date (equal has-Day 13) (equal has-Month 4)))
+(instance d49 (and Date (equal has-Day 14) (equal has-Month 4)))
+(instance d50 (and Date (equal has-Day 15) (equal has-Month 4)))
+(instance d51 (and Date (equal has-Day 16) (equal has-Month 4)))
+(instance d52 (and Date (equal has-Day 17) (equal has-Month 4)))
+(instance d53 (and Date (equal has-Day 18) (equal has-Month 4)))
+(instance d54 (and Date (equal has-Day 19) (equal has-Month 4)))
+(instance d55 (and Date (equal has-Day 20) (equal has-Month 4)))
+(instance d56 (and Date (equal has-Day 21) (equal has-Month 4)))
+(instance d57 (and Date (equal has-Day 22) (equal has-Month 4)))
+(instance d58 (and Date (equal has-Day 23) (equal has-Month 4)))
+(instance d59 (and Date (equal has-Day 24) (equal has-Month 4)))
+(instance d60 (and Date (equal has-Day 25) (equal has-Month 4)))
+(instance d61 (and Date (equal has-Day 26) (equal has-Month 4)))
+(instance d62 (and Date (equal has-Day 27) (equal has-Month 4)))
+(instance d63 (and Date (equal has-Day 28) (equal has-Month 4)))
+(instance d64 (and Date (equal has-Day 29) (equal has-Month 4)))
+(instance d65 (and Date (equal has-Day 30) (equal has-Month 4)))
+

geo.racer

@@ -1,8 +1,33 @@
 (instance Bucuresti City)
+(instance Timisoara City)
+(instance Lugoj City)
+(instance Bacau City)
+(instance Brasov City)
+
 (instance Ilfov County)
+(instance Gorj County)
+(instance Maramures County)
+(instance Timis County)
+(instance Suceava County)
+(instance Olt County)
+(instance Hunedoara County)
+(instance Mures County)
+(instance Buzau County)
+(instance Iasi County)
+(instance Covasna County)
+(instance Satu-Mare County)
+(instance Cluj County)
+(instance Brasov County)
+(instance Bihor County)
+(instance Neamt County)
+(instance Bacau County)
+(instance Constanta County)
+(instance Maramures County)
+(instance Maramures County)
 
 (related Ilfov Romania located-in)
-
+(related Brasov Brasov located-in)
+(related Bacau Bacau located-in)
 (related Bucuresti Ilfov located-in)
 (related Timisoara Timis located-in) 
 (related Lugoj Timis located-in)