# baseURI: http://www.workingontologist.org/Examples/Chapter10/baseball.owl

@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@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/baseball.owl#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

<http://www.workingontologist.org/Examples/Chapter10/baseball.owl>
      a       owl:Ontology ;
      owl:versionInfo "Created with TopBraid Composer"^^xsd:string .

:AllStarBaseballPlayer
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Restriction ;
                owl:onProperty :playsFor ;
                owl:someValuesFrom :AllStarBaseballTeam
              ] .

:AllStarBaseballTeam
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (:AllStarTeam :BaseballTeam)
              ] .

:AllStarPlayer
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf ([ a       owl:Restriction ;
                            owl:onProperty :playsFor ;
                            owl:someValuesFrom :AllStarTeam
                          ] :Player)
              ] .

:AllStarTeam
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty :hires ;
                owl:someValuesFrom :AllStarPlayer
              ] .

:BaseballPlayer
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Restriction ;
                owl:onProperty :playsFor ;
                owl:someValuesFrom :BaseballTeam
              ] .

:BaseballTeam
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty :hires ;
                owl:someValuesFrom :BaseballPlayer
              ] .

:BayStars
      a       :CentralLeagueTeam ;
      rdfs:label "Bay Stars"^^xsd:string .

:BlueWave
      a       :PacificLeagueTeam ;
      rdfs:label "Blue Wave"^^xsd:string .

:Buffaloes
      a       :PacificLeagueTeam ;
      rdfs:label "Buffaloes"^^xsd:string .

:Carp
      a       :CentralLeagueTeam ;
      rdfs:label "Carp"^^xsd:string .

:CarpPlayer
      a       owl:Class ;
      rdfs:label "Carp player"^^xsd:string ;
      owl:equivalentClass
              [ a       owl:Restriction ;
                owl:hasValue :Carp ;
                owl:onProperty :playsFor
              ] .

:CentralLeagueTeam
      a       owl:Class .

:Dragons
      a       :CentralLeagueTeam ;
      rdfs:label "Dragons"^^xsd:string .

:Fighters
      a       :PacificLeagueTeam ;
      rdfs:label "Fighters"^^xsd:string .

:Giants
      a       :CentralLeagueTeam ;
      rdfs:label "Giants"^^xsd:string .

:Hawks
      a       :PacificLeagueTeam ;
      rdfs:label "Hawks"^^xsd:string .

:JballTeam
      a       owl:Class ;
      rdfs:subClassOf :BaseballTeam ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:unionOf (:CentralLeagueTeam :PacificLeagueTeam)
              ] .

:Lions
      a       :PacificLeagueTeam ;
      rdfs:label "Lions"^^xsd:string .

:Marines
      a       :PacificLeagueTeam ;
      rdfs:label "Marines"^^xsd:string .

:PacificLeagueTeam
      a       owl:Class .

:Player
      a       owl:Class .

:Swallows
      a       :CentralLeagueTeam ;
      rdfs:label "Swallows"^^xsd:string .

:Team
      a       owl:Class ;
      rdfs:subClassOf owl:Thing ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:minCardinality "1"^^xsd:int ;
                owl:onProperty :hires
              ] .

:Tigers
      a       :CentralLeagueTeam ;
      rdfs:label "Tigers"^^xsd:string .

:hires
      a       owl:ObjectProperty ;
      rdfs:label "hires"^^xsd:string ;
      owl:inverseOf :playsFor .

:playsFor
      a       owl:ObjectProperty ;
      rdfs:domain :Player ;
      rdfs:range :Team .