# Saved by TopBraid on Fri Nov 21 23:53:14 PST 2008
# baseURI: http://www.workingontologist.org/Examples/Chapter10/ShakespearesChildren.owl
# imports: http://xmlns.com/foaf/spec/index.rdf

@prefix contact:  <http://www.w3.org/2000/10/swap/pim/contact#> .
@prefix wordnet:  <http://xmlns.com/wordnet/1.6/> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix daml:    <http://www.daml.org/2001/03/daml+oil#> .
@prefix :        <http://www.workingontologist.org/Examples/Chapter10/ShakespearesChildren.owl#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

<http://www.workingontologist.org/Examples/Chapter10/ShakespearesChildren.owl>
      a       owl:Ontology ;
      owl:imports <http://xmlns.com/foaf/spec/index.rdf> ;
      owl:versionInfo "Created with TopBraid Composer"^^xsd:string .

:ChildOfShakespeare
      a       owl:Class ;
      rdfs:label "Child of shakespeare"^^xsd:string ;
      rdfs:subClassOf foaf:Person ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:hasValue :Shakespeare ;
                owl:onProperty :hasParent
              ] ;
      owl:equivalentClass
              [ a       owl:Restriction ;
                owl:hasValue :Shakespeares_Children ;
                owl:onProperty :memberOf
              ] .

:Hamnet
      a       foaf:Person ;
      rdfs:label "Hamnet"^^xsd:string .

:Judith
      a       foaf:Person ;
      rdfs:label "Judith"^^xsd:string .

:Shakespeare
      a       foaf:Person .

:Shakespeares_Children
      a       foaf:Group ;
      rdfs:label "Shakespeares_Children"^^xsd:string ;
      foaf:member :Susanna , :Hamnet , :Judith ;
      foaf:membershipClass
              :ChildOfShakespeare .

:Susanna
      a       foaf:Person ;
      rdfs:label "Susanna"^^xsd:string .

:hasChild
      a       owl:ObjectProperty ;
      owl:inverseOf :hasParent .

:hasParent
      a       owl:ObjectProperty .

:memberOf
      a       owl:ObjectProperty ;
      rdfs:label "member of"^^xsd:string .

foaf:member
      owl:inverseOf :memberOf .

foaf:membershipClass
      a       owl:ObjectProperty .