1. @prefix : . 2. @prefix owl: . 3. @prefix rdf: . 4. @prefix xml: . 5. @prefix xsd: . 6. @prefix rdfs: . 7. @prefix fhir: . 8. 9. ###################### Ontology ######################## 10. a owl:Ontology . 11. 12. fhir:AllergyIntolerance.status a owl:DatatypeProperty . 13. 14. fhir:datatypes.code a owl:Class . 15. 16. fhir:AllergyIntoleranceStatusConfirmed a owl:Class ; 17. owl:equivalentClass 18. [ owl:onProperty fhir:AllergyIntolerance.status ; 19. owl:hasValue "confirmed" ] ; 20. rdfs:subClassOf fhir:datatypes.code . 21. 22. ################### Instance Data ##################### 23. :confirmed1 fhir:AllergyIntolerance.status "confirmed" . 24. 25. _:confirmed2 fhir:AllergyIntolerance.status "confirmed" . 26. 27. ################## Desired Entailments #################### 28. 29. # :confirmed1 a fhir:AllergyIntoleranceStatusConfirmed . 30. 31. # _:confirmed2 a fhir:AllergyIntoleranceStatusConfirmed . 32. 33. ############## Propagating inference upward ############## 34. 35. fhir:ConfirmedUpward a owl:Class ; 36. owl:equivalentClass 37. [ owl:onProperty fhir:upward ; 38. owl:someValuesFrom fhir:AllergyIntoleranceStatusConfirmed ] . 39. 40. fhir:upward a owl:ObjectProperty . 41. 42. :up1 fhir:upward :confirmed1 . 43. :up2 fhir:upward _:confirmed2 . 44.