<?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/05/Service">
  <!ENTITY process "http://www.daml.org/services/daml-s/2001/05/Process">
  <!ENTITY profile "http://www.daml.org/services/daml-s/2001/05/Profile">
  <!ENTITY date "http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Date.daml">
  <!ENTITY time "http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Time.daml">
  <!ENTITY airport "http://www.daml.ri.cmu.edu/ont/AirportCodes.daml">
  <!ENTITY alphaair "http://www.daml.org/services/daml-s/2001/05/AlphaAir-process.daml">
  <!ENTITY DEFAULT "http://www.daml.org/services/daml-s/2001/05/AlphaAir-request1.daml">
  <!ENTITY THIS "http://www.daml.org/services/daml-s/2001/05/AlphaAir-request1.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:date=    "&date;#"
  xmlns:airport= "&airport;#"
  xmlns:alphaair= "&alphaair;#"
  xmlns=        "&DEFAULT;#">
 
  <daml:Ontology about="">
    <daml:versionInfo>
      $Id: AlphaAir-request1.daml,v 1.1 2001/05/31 22:28:28 kmbarber Exp $
    </daml:versionInfo>
    <rdfs:comment>
      Request for Airline Services
      This should match an advertisement for AlphaAir.
 
    </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="&process;" />
    <daml:imports rdf:resource="&profile;" />
  </daml:Ontology>


  <!-- ############################################################################ -->
  <!-- # Local definitions of concepts - these could be found in other ontologies # -->
  <!-- ############################################################################ -->

<!-- Would this match the property &alphaair;#DepartureAirport ??? -->

<rdf:Property rdf:ID="start">
  <rdfs:subPropertyOf rdf:resource="&profile;#input" />
  <rdfs:range rdf:resource="&airport;#AirportCodes"/>
</rdf:Property>

<!-- One expects this to match! -->

<rdf:Property rdf:ID="destination">
  <daml:samePropertyAs rdf:resource="&alphaair;#ArrivalAirport" />
  <rdfs:range rdf:resource="&airport;#AirportCodes"/>
</rdf:Property>

<rdf:Property rdf:ID="leavingDate">
  <rdfs:subPropertyOf rdf:resource="&profile;#input" />
  <rdfs:range rdf:resource="&date;#Date"/>
</rdf:Property>

<!-- This does not state that this is the same property as the alphaair
     property reservationnumber, but does contain the same range.  Should
     this match?
     -->
<rdf:Property rdf:ID="resNum">
  <rdfs:subPropertyOf rdf:resource="&profile;#output" />
  <rdfs:range rdf:resource="&alphaair;#ReservationNumber"/>
</rdf:Property>                                                                               

  <!-- ##################################################################### -->
  <!-- # Instance Definition of a Request for an Airline Reservation Agent # -->
  <!-- ##################################################################### -->

  <profile:Request rdf:ID="My_Airline_Request">
    <profile:textDescription>
      A request for an airline that can provide a reservation number based
      on a specification of a start and destination airport (in this case
      Pittsburgh [PIT] to San Francisco [SFO]) for leaving early on the morning
      of June 1st 2001.  No return flight is necessary
    </profile:textDescription>

    <profile:requestedBy>
      <profile:Service_Requester rdf:ID="Me">
	<profile:name>Terry Payne</profile:name>
	<profile:phone>412 512 6641 </profile:phone>
	<profile:email>terryp@cs.cmu.edu</profile:email>
	<profile:physicalAddress>
	  5000 Forbes Avenue
	  Pittsburgh
	  PA, 15232
	  USA
	</profile:physicalAddress>
	<profile:webURL>http://www.cs.cmu.edu/~terryp/index.html</profile:webURL>
      </profile:Service_Requester>
    </profile:requestedBy>

    <!-- Inputs -->
    <start rdf:resource="&airport;#PIT" />
    <destination rdf:resource="&airport;#SFO" />
    <leavingDate>
      <date:Date>
        <date:day>1</date:day>
        <date:month>6</date:month>
        <date:year>2001</date:year>
      </date:Date>
    </leavingDate>

    <!-- Outputs -->
    <resNum />

  </profile:Request>
</rdf:RDF>
