# Base: file:/C:/Program%20Files/Protege_2.1_beta/projects-2004-03-05/Value-Sets/
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix :        <> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

:Modifier
      a       owl:Class .

:Person
      a       owl:Class ;
      rdfs:subClassOf :Self_standing_entity .

:Poor_health_value
      a       owl:Class ;
      rdfs:subClassOf :Health_Value ;
      owl:disjointWith :Medium_health_value , :Good_health_value .

<>    a       owl:Ontology .

:Self_standing_entity
      a       owl:Class .

<http://a.com/ontology>
      a       owl:Ontology .

:johns_health
      a       :Good_health_value .

:has_health_status
      a       owl:ObjectProperty , owl:FunctionalProperty ;
      rdfs:domain :Person ;
      rdfs:range :Health_Value .

:John
      a       :Person ;
      :has_health_status :johns_health .

:Medium_health_value
      a       owl:Class ;
      rdfs:subClassOf :Health_Value ;
      owl:disjointWith :Good_health_value , :Poor_health_value .

:Healthy_person
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (:Person [ a       owl:Restriction ;
                            owl:onProperty :has_health_status ;
                            owl:someValuesFrom :Good_health_value
                          ])
              ] .

<file:/C:/Program%20Files/Protege_2.1_beta/projects-2004-03-05/Value-Sets/value-partitions-variant-1.n3>
      a       owl:Ontology .

:Good_health_value
      a       owl:Class ;
      rdfs:subClassOf :Health_Value ;
      owl:disjointWith :Medium_health_value , :Poor_health_value .

:Health_Value
      a       owl:Class ;
      rdfs:subClassOf :Modifier ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:unionOf (:Poor_health_value :Medium_health_value :Good_health_value)
              ] .