Blank nodes and OWL reasoning example

[David Booth]

Attached.  For today's HCLS call.

@prefix : <http://BlankNodeTest/confirmed/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix fhir: <http://hl7.org/fhir/> .

###################### Ontology ########################
<http://BlankNodeTest/confirmed> a owl:Ontology .

fhir:AllergyIntolerance.status a owl:DatatypeProperty .

fhir:datatypes.code a owl:Class .

fhir:AllergyIntoleranceStatusConfirmed a owl:Class ;
  owl:equivalentClass 
        [ owl:onProperty fhir:AllergyIntolerance.status ; 
          owl:hasValue "confirmed" ] ;
  rdfs:subClassOf fhir:datatypes.code .

################### Instance Data #####################
:confirmed1 fhir:AllergyIntolerance.status "confirmed" .

_:confirmed2 fhir:AllergyIntolerance.status "confirmed" .

################## Desired Entailments ####################

# :confirmed1 a fhir:AllergyIntoleranceStatusConfirmed .

# _:confirmed2 a fhir:AllergyIntoleranceStatusConfirmed .

############## Propagating inference upward ##############

fhir:ConfirmedUpward a owl:Class ;
  owl:equivalentClass 
        [ owl:onProperty fhir:upward ; 
          owl:someValuesFrom fhir:AllergyIntoleranceStatusConfirmed ] .

fhir:upward a owl:ObjectProperty .

:up1 fhir:upward :confirmed1 .
:up2 fhir:upward _:confirmed2 .


 1. @prefix : <http://BlankNodeTest/confirmed/> .
 2. @prefix owl: <http://www.w3.org/2002/07/owl#> .
 3. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
 4. @prefix xml: <http://www.w3.org/XML/1998/namespace> .
 5. @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 6. @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
 7. @prefix fhir: <http://hl7.org/fhir/> .
 8. 
 9. ###################### Ontology ########################
10. <http://BlankNodeTest/confirmed> 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.