From: Automatic diagnosis of COVID-19 infection based on ontology reasoning
Number | Category | Name | SWRL Rules |
---|---|---|---|
1 | Social_Network | Parents_Relationship1 | Person(?y)^hasParent(?x,?y)^hasSpouse(?y,?z)- > hasParent(?x,?z) |
2 | Parents_Relationship2 | hasParent(?x,?y)^hasSibling(?x,?z)- > hasParent(?z,?y) | |
3 | Father_Relationship1 | hasParents(?x, ?y) ^ Male(?y)—> hasFather(?x, ?y) | |
4 | Father_Relationship2 | hasFather(?x,?y)^hasSpouse(?x,?z)—> hasFather(?z, ?y) | |
5 | Father_Relationship3 | hasSibling(?x,?y)^hasFather(?x,?z)- > hasFather(?y,?z) | |
6 | Mother_Relationship1 | hasParents(?x, ?y) ^ Female(?y)—> hasMother(?x, ?y) | |
7 | Mother_Relationship2 | hasMother(?x,?y)^hasSpouse(?x,?z)—> hasMother(?z, ?y) | |
8 | Mother_Relationship3 | hasSibling(?x,?y)^ hasMother (?x,?z)- > hasMother (?y,?z) | |
9 | Children_Relationship1 | hasChildren(?x,?y)^hasSpouse(?y,?z)- > hasChildren(?x,?z) | |
10 | Children_Relationship2 | hasChildren(?x,?y)^hasSpouse(?x,?z)- > hasChildren(?z,?y) | |
11 | Son_Relationship1 | Person(?x) ^ hasChildren(?x, ?y) ^ Male(?y)—> hasSon(?x, ?y) | |
12 | Son_Relationship2 | hasChildren(?x,?y)^Male(?y)^hasSpouse(?x,?z)- > hasSon(?z,?y) | |
13 | Daughter_Relationship1 | Person(?x)^hasChildren(?x,?y)^Female(?y)- > hasDaughter(?x, ?y) | |
14 | Daughter_Relationship2 | hasChildren(?x,?y)^Female(?y)^hasSpouse(?x,?z)- > hasDaughter (?z,?y) | |
15 | Brother_Relationship | Person(?x)^hasSibling(?x,?y)^Male(?y)- > hasBrother(?x, ?y) | |
16 | Sisters_Relationship | Person(?x)^hasSibling(?x,?y)^Female(?y)- > hasSister(?x, ?y) | |
17 | Aunt_Relationship | Person(?x)^hasParents(?x,?y)^hasSister(?y,?z)- > hasAunt(?x, ?z) | |
18 | Uncle_Relationship | Person(?x)^hasParents(?x,?y)^hasBrother(?y,?z)- > hasUncle(?x, ?z) | |
19 | Nephew_Relationship1 | hasAunt(?x, ?y) ^ Male(?x)—> hasNephew(?y, ?x) | |
20 | Nephew_Relationship2 | hasUncle(?x, ?y) ^ Male(?x)—> hasNephew(?y, ?x) | |
21 | Nephew_Relationship3 | hasSibling(?x,?y)^hasSon(?y,?z)- > hasNephew(?x, ?z) | |
22 | Niece_Relationship1 | hasUncle(?x, ?y) ^ Female(?x)—> hasNiece(?y, ?x) | |
23 | Niece_Relationship2 | hasAunt(?x, ?y) ^ Female(?x)—> hasNiece(?y, ?x) | |
24 | Niece_Relationship3 | hasSibling(?x,?y)^hasDaughter(?y,?z)- > hasNiece(?x, ?z) | |
26 | Epidemiological_History | Contact_History1 | contact_with(?x,?y)^Fever_Symptom(?y)- > Contact_with_Patients_with_Fever_Symptom(?x) |
27 | Contact_History2 | contact_with(?x,?y)^Respiratory_Symptom(?y)- > Contact_with_Patients_with_Respiratory_Symptom(?x) | |
28 | Contact_History3 | contact_with(?x,?y)^Nucleic_Acid_Positive(?y)- > Contact_with_Patients_with_Positive_Nucleic_acid_test(?x) | |
29 | Contact_History4 | hasSpouse(?x,?y)- > contact_with(?x,?y) | |
30 | Contact_History5 | hasChild(?x,?y)- > contact_with(?x,?y) | |
31 | Contact_History6 | hasSibling(?x,?y)- > contact_with(?x,?y) | |
32 | Contact_History7 | hasParent(?x,?y)- > contact_with(?x,?y) | |
33 | Residential_History_in_High_risk_areas | Person(?x)^residence(?x,?y)^high_risk_area(?y)- > Residential_History_in_High_risk_area(?x) | |
34 | Travel_History_in_High_risk_areas | Person(?x)^pass_by(?x,?y)^high_risk_area(?y)- > Travel_History_in_High_risk_area(?x) |