<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:timeinterval="http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#"
    xmlns:timeindexedsituation="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:cpannotationschema="http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#"
    xmlns="http://www.ontology.se/examples/TheaterFestival.owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xml:base="http://www.ontology.se/examples/TheaterFestival.owl">
  <owl:Ontology rdf:about="">
    <cpannotationschema:hasIntent rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >To model a theater festival, occuring at a certain time and place, with its associated plays. </cpannotationschema:hasIntent>
    <cpannotationschema:coversRequirements rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >What plays could be seen during a certain theatre festival?</cpannotationschema:coversRequirements>
    <cpannotationschema:coversRequirements rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Where did a certain festival take place?</cpannotationschema:coversRequirements>
    <cpannotationschema:coversRequirements rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >When did a certain theatre festival take place?</cpannotationschema:coversRequirements>
    <owl:imports rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl"/>
    <owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Created with TopBraid Composer</owl:versionInfo>
  </owl:Ontology>
  <owl:Class rdf:ID="TheaterFestival">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A set of plays performed during a short time in the same place.</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
        >1</owl:minCardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasPlay"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="Play"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasPlay"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="Place"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasLocation"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime"/>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#TimeInterval"/>
        <owl:onProperty rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Theater festival</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#TimeIndexedSituation"/>
  </owl:Class>
  <owl:Class rdf:about="#Place">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >The location of something.</rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >place</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  </owl:Class>
  <owl:Class rdf:about="#Play">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A literary work intended for performance in a theater.</rdfs:comment>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >play</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="isPlayOf">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A relation to a theater fetival where this play is shown.</rdfs:comment>
    <rdfs:range rdf:resource="#TheaterFestival"/>
    <rdfs:domain rdf:resource="#Play"/>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:about="#hasPlay"/>
    </owl:inverseOf>
    <rdfs:subPropertyOf rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#hasTimeIndexedSetting"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >is play of</rdfs:label>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#hasLocation">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A relation to the location of this festival.</rdfs:comment>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:ID="isLocationOf"/>
    </owl:inverseOf>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >has location</rdfs:label>
    <rdfs:subPropertyOf rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#forEntity"/>
    <rdfs:domain rdf:resource="#TheaterFestival"/>
    <rdfs:range rdf:resource="#Place"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#hasPlay">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A relation to the plays of this festival.</rdfs:comment>
    <rdfs:range rdf:resource="#Play"/>
    <rdfs:domain rdf:resource="#TheaterFestival"/>
    <rdfs:subPropertyOf rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#forEntity"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >has play</rdfs:label>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#isLocationOf">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A relation to a festival that takes place in this place.</rdfs:comment>
    <rdfs:range rdf:resource="#TheaterFestival"/>
    <rdfs:domain rdf:resource="#Place"/>
    <rdfs:subPropertyOf rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#hasTimeIndexedSetting"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >is location of</rdfs:label>
  </owl:ObjectProperty>
  <TheaterFestival rdf:ID="RomaLovesShakespeare">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Roma Loves Shakespeare</rdfs:label>
    <hasPlay>
      <Play rdf:ID="TheMerchantOfVenice">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >The merchant of Venice</rdfs:label>
      </Play>
    </hasPlay>
    <hasLocation>
      <Place rdf:ID="Rome">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >Rome</rdfs:label>
      </Place>
    </hasLocation>
    <timeindexedsituation:atTime>
      <timeinterval:TimeInterval rdf:ID="TimeRomaLovesShakespeare">
        <timeinterval:hasIntervalEndDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >2010-06-12</timeinterval:hasIntervalEndDate>
        <timeinterval:hasIntervalStartDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >2010-06-10</timeinterval:hasIntervalStartDate>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >time of Roma Loves Shakespeare</rdfs:label>
      </timeinterval:TimeInterval>
    </timeindexedsituation:atTime>
  </TheaterFestival>
</rdf:RDF>

<!-- Created with TopBraid Composer -->
