BravoAir-Profile.daml

<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE uridef[
  <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns">
  <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema">
  <!ENTITY daml "http://www.daml.org/2001/03/daml+oil">
  <!ENTITY service "http://www.daml.org/services/daml-s/2001/10/Service">
  <!ENTITY profile "http://www.daml.ri.cmu.edu/ont/DAML-S/Profile">
  <!ENTITY process "http://www.daml.org/services/daml-s/2001/10/Process">
  <!ENTITY ba_service "http://www.daml.org/services/daml-s/2001/10/BravoAir-Service.daml">
  <!ENTITY ba_process "http://www.daml.org/services/daml-s/2001/10/BravoAir-Process.daml">
  <!ENTITY country "http://www.daml.ri.cmu.edu/ont/Country.daml">
  <!ENTITY concepts "http://www.daml.ri.cmu.edu/ont/DAML-S/concepts.daml">
  <!ENTITY DEFAULT "http://www.daml.org/services/daml-s/2001/10/BravoAir-Profile.daml">
]>
 
<!--
This document uses entity types as a shorthand for URIs.
Download the source for a version with unexpanded entities.
  -->
 
<rdf:RDF
  xmlns:rdf=     "&rdf;#"
  xmlns:rdfs=    "&rdfs;#"
  xmlns:daml=    "&daml;#"
  xmlns:service= "&service;#"
  xmlns:process= "&process;#"
  xmlns:profile= "&profile;#"
  xmlns=         "&DEFAULT;#">
 
  <daml:Ontology about="">
    <daml:versionInfo>
      $Id: BravoAir-Profile.daml,v 1.3 2002/03/20 01:45:09 martin Exp $
    </daml:versionInfo>
    <rdfs:comment>
      DAML-S Coalition: BravoAir Example for DAML-S release 0.6, 15th Sept 2001
      Profile description
 
    </rdfs:comment>
    <daml:imports rdf:resource="&rdf;" />
    <daml:imports rdf:resource="&rdfs;" />
    <daml:imports rdf:resource="&daml;" />
    <daml:imports rdf:resource="&service;" />
    <daml:imports rdf:resource="&profile;" />
    <daml:imports rdf:resource="&process;" />
    <daml:imports rdf:resource="&ba_service;" />
    <daml:imports rdf:resource="&ba_process;" />
    <daml:imports rdf:resource="&country;" />
    <daml:imports rdf:resource="&concepts;" />
  </daml:Ontology>

  <!-- ################################################################### -->
  <!-- # Instance Definition of BravoAir Reservation Agent Advertisement # -->
  <!-- ################################################################### -->

  <service:ServiceProfile rdf:ID="Profile_BravoAir_ReservationAgent">
    <!-- reference to the service specification -->  
    <service:isPresentedBy rdf:resource="&ba_service;#BravoAir_ReservationAgent"/>
    <!-- reference to the process model specification -->  
    <profile:has_process rdf:resource="&ba_process;#BravoAir_Process"/>


    <profile:serviceName>BravoAir_ReservationAgent</profile:serviceName>
    <profile:textDescription>
        This agentified service provides flight reservations based on the
        specification of a flight request.  This typically involves a departure
        airport, an arrival airport, a departure date, and if a return trip is
        required, a return date.
        If the desired flight is available, an itinerary and reservation number
        will be returned.
    </profile:textDescription>

    <profile:providedBy>
      <profile:ServiceProvider rdf:ID="BravoAir">
        <profile:name>BravoAir</profile:name>
        <profile:phone>412 268 8780 </profile:phone>
        <profile:fax>412 268 5569 </profile:fax>
        <profile:email>Bravo@Bravoair.com</profile:email>
        <profile:physicalAddress>
              Airstrip 2,
              Teetering Cliff Hights,
              Florida 12321,
              USA
        </profile:physicalAddress>
        <profile:webURL> 
            http://www.daml.org/services/daml-s/2001/05/BravoAir.html 
        </profile:webURL>
      </profile:ServiceProvider>
    </profile:providedBy>

    <profile:geographicRadius rdf:resource="&country;#UnitedStates"/>
    <profile:qualityRating rdf:resource="&concepts;#qualityRatingGood"/>
    <!-- Descriptions of the parameters that will be used by IOPEs -->
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="DepartureAirport"> 
          <profile:parameterName> DepartureAirport </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#Airport"/>
          <profile:refersTo rdf:resource="&ba_process;#departureAirport_In"/>
        </profile:ParameterDescription>
      </profile:input> 
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="ArrivalAirport"> 
          <profile:parameterName> ArrivalAirport </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#Airport"/>
          <profile:refersTo rdf:resource="&ba_process;#arrivalAirport_In"/>
        </profile:ParameterDescription>
      </profile:input> 
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="DepartureDate"> 
          <profile:parameterName> DepartureDate </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#FlightDate"/>
          <profile:refersTo rdf:resource="&ba_process;#outboudDate_In"/>
        </profile:ParameterDescription>
      </profile:input>  
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="ArrivalDate"> 
          <profile:parameterName> ArrivalDate </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#FlightDate"/>
          <profile:refersTo rdf:resource="&ba_process;#inboundDate_In"/>
        </profile:ParameterDescription>
      </profile:input> 
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="RoundTrip"> 
          <profile:parameterName> RoundTrip </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#RoundTrip"/>
          <profile:refersTo rdf:resource="&ba_process;#RoundTrip"/>
        </profile:ParameterDescription>
      </profile:input> 
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="FlightItinerary">  
           <profile:parameterName> FlightItinerary </profile:parameterName>
           <profile:restrictedTo rdf:resource="&concepts;#FlightItinerary"/>
           <profile:refersTo rdf:resource="&ba_process;#roundTrip_In"/>
        </profile:ParameterDescription>
      </profile:input> 
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="AvailableFlights">  
          <profile:parameterName> AvailableFlights </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#FlihtItineraryList"/>
          <profile:refersTo rdf:resource="&ba_process;#FlightItinerary"/>
        </profile:ParameterDescription>
      </profile:input> 
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="LoginName">  
           <profile:parameterName> LoginName </profile:parameterName>
           <profile:restrictedTo rdf:resource="&concepts;#AcctName"/>
           <profile:refersTo rdf:resource="&ba_process;#acctName_Out"/>
        </profile:ParameterDescription>
      </profile:input> 
         
      <profile:input>
        <profile:ParameterDescription  rdf:ID="Password">  
          <profile:parameterName> Password </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#Password"/>
          <profile:refersTo rdf:resource="&ba_process;#password_In"/>
        </profile:ParameterDescription>
      </profile:input> 

      <profile:input>
        <profile:ParameterDescription  rdf:ID="confirmation">  
          <profile:parameterName> confirmation </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#Confirmation"/>
          <profile:refersTo rdf:resource="&ba_process;#Confirmation"/>
        </profile:ParameterDescription>
      </profile:input>

      <profile:input>
        <profile:ParameterDescription  rdf:ID="ReservationNumber">  
          <profile:parameterName> ReservationNumber </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#ReservationNumber"/>
          <profile:refersTo rdf:resource="&ba_process;#ReservationNumber"/>
        </profile:ParameterDescription>
      </profile:input>

      <profile:output>
        <profile:ParameterDescription  rdf:ID="ReservationNumber">  
          <profile:parameterName> FlightItinerary </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#FlightItineraryList"/> 
          <profile:refersTo rdf:resource="&ba_process;#FlightItineraryList"/>
        </profile:ParameterDescription>
      </profile:output> 

      <!-- The consequence of the reservation is that the traveler has
           a seat on the flight -->
      <profile:effect>
        <profile:ParameterDescription rdf:ID="HaveFlight">
          <profile:parameterName> HaveFlight </profile:parameterName>
          <profile:restrictedTo rdf:resource="&concepts;#HaveFlightSeat"/>
          <profile:refersTo rdf:resource="&ba_process;#HaveFlightSeat"/>
        </profile:ParameterDescription>
      </profile:effect> 

  </service:ServiceProfile>
</rdf:RDF>