# 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 .

:poor_health
      a       :Health_Value .

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

<>    a       owl:Ontology .

:Self_standing_entity
      a       owl:Class .

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

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

:John
      a       :Person ;
      :has_health_status :good_health .

:good_health
      a       :Health_Value .

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

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

:medium_health
      a       :Health_Value .

:Health_Value
      a       owl:Class ;
      rdfs:subClassOf :Modifier ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:oneOf (:good_health :medium_health :poor_health)
              ] .