Fig. 4From: Automatic diagnosis of COVID-19 infection based on ontology reasoningTwo ways to indicate that someone has a travel history in a high-risk area: a directly assign the data property A1 to 1. Arrow ① means that Person_no.1 will then automatically be an instance of the class “Travel_History_in_High_risk_area”. b Use object property and SWRL rules. The fact that Person_no.2 passed by Wuhan and rule (3) made him an instance of the class “Travel_History_in_High_risk_area.” (Arrow ②). Arrow ③ means that the equivalent condition will then set the data property A1 to 1Back to article page