# baseURI: http://www.workingontologist.org/Examples/Chapter13/baseball

@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 baseball:        <http://www.workingontologist.org/Examples/Chapter13/baseball#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

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

baseball:AllStarBaseballPlayer rdfs:label "AllStarBaseballPlayer" ;
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Restriction ;
                owl:onProperty baseball:playsFor ;
                owl:someValuesFrom baseball:AllStarBaseballTeam
              ] .

baseball:AllStarBaseballTeam rdfs:label "AllStarBaseballTeam" ;
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (baseball:AllStarTeam baseball:BaseballTeam)
              ] .

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

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

baseball:BaseballPlayer rdfs:label "BaseballPlayer" ;
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Restriction ;
                owl:onProperty baseball:playsFor ;
                owl:someValuesFrom baseball:BaseballTeam
              ] .

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

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

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

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

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

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

baseball:CentralLeagueTeam rdfs:label "CentralLeagueTeam" ;
      a       owl:Class .

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

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

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

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

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

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

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

baseball:PacificLeagueTeam rdfs:label "PacificLeagueTeam" ;
      a       owl:Class .

baseball:Player rdfs:label "Player" ;
      a       owl:Class .

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

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

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

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

baseball:playsFor rdfs:label "plays for" ;
      a       owl:ObjectProperty ;
      rdfs:domain baseball:Player ;
      rdfs:range baseball:Team .