# baseURI: http://www.workingontologist.org/Examples/Chapter9/Family9

@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix family:    <http://www.workingontologist.org/Examples/Chapter6/Family#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

<http://www.workingontologist.org/Examples/Chapter9/Family9>
      a       owl:Ontology .





family:Man a owl:Class ; rdfs:label "Man" .
family:Woman a owl:Class ; rdfs:label "Woman" .

family:isFatherOf a rdf:Property ; owl:inverseOf family:hasFather ; rdfs:label "is father of" ; rdfs:subPropertyOf family:isParentOf .
family:isMotherOf a rdf:Property ; owl:inverseOf family:hasMother ; rdfs:label "is mother of" ; rdfs:subPropertyOf family:isParentOf .
family:isDaughterOf a rdf:Property ; owl:inverseOf family:hasDaughter ; rdfs:label "is daughter of" ; rdfs:subPropertyOf family:isParentOf .
family:isParentOf a rdf:Property ; owl:inverseOf family:hasParent ; rdfs:label "is parent of" .
family:isSonOf a rdf:Property ; owl:inverseOf family:hasSon ; rdfs:label "is son of" ; rdfs:subPropertyOf family:isParentOf .

family:hasFather rdfs:subPropertyOf family:hasParent .
family:hasMother  rdfs:subPropertyOf family:hasParent .
family:hasSon  rdfs:subPropertyOf family:hasParent .
family:hasDaughter  rdfs:subPropertyOf family:hasParent .