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.