<?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-profile2.daml">
  <!ENTITY THIS "http://www.daml.org/services/daml-s/2001/05/AlphaAir-profile2.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:airport= "&airport;#"
  xmlns:alphaair= "&alphaair;#"
  xmlns=        "&DEFAULT;#">
 
  <daml:Ontology about="">
    <daml:versionInfo>
      $Id: AlphaAir-profile2.daml,v 1.1 2001/05/31 22:28:28 kmbarber Exp $
    </daml:versionInfo>
    <rdfs:comment>
      Service Descriptions (including advertisements) for AlphaAir.com
 
    </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>

  <!-- ########################################################################### -->
  <!-- # Instance Definition of AlphaAir Airways Reservation Agent Service ####### -->
  <!-- ########################################################################### -->

  <!--
	Note that this advertisement differs from AlphaAir-1.daml,
	as the process model definition and profile are embedded within
	the service description
    -->

  <service:Service rdf:ID="AlphaAir_RoundTripResevationAgent">
    <service:presents>
      <profile:Advertisement rdf:ID="AlphaAir_RoundTripResevationAgent_Advertisement">
	<profile:serviceName>AlphaAir_RoundTripReservationAgent</profile:serviceName>
	<profile:textDescription>
	  This agentified service provides roundtrip flight reservations based on the
	  specification of a flight request.  This typically involves a departure
	  airport, an arrival airport, a departure date, and a return date.
	  In addition, it assumes that an account exists, and so requires an account
	  name and password.

	  If the desired flight is available, an itinerary and reservation number
	  will be returned.
	</profile:textDescription>
	<profile:qualityRating>reasonable</profile:qualityRating>

	<profile:providedBy>
	  <profile:ServiceProvider rdf:ID="AlphaAir">
	    <profile:name>AlphaAir Airways</profile:name>
	    <profile:phone>412 268 8780 </profile:phone>
	    <profile:fax>412 268 5569 </profile:fax>
	    <profile:email>alpha@alphaair.com</profile:email>
	    <profile:physicalAddress>
	      Airstrip 1,
	      Teetering Cliff Hights,
	      Florida 12321,
	      USA
	    </profile:physicalAddress>
	    <profile:webURL>http://www.daml.ri.cmu.edu/services/alphaair.html</profile:webURL>
	  </profile:ServiceProvider>
	</profile:providedBy>

	<profile:geographicRadius>USA</profile:geographicRadius>

	<profile:communicationThru>SOAP</profile:communicationThru>

	<!-- Preconditions -->
	<alphaair:creditExistsPrecondition />
	<alphaair:acceptableCreditCard />

	<!-- here we specify another input, but bind its value -->
	<alphaair:roundTrip>true</alphaair:roundTrip>

	<!-- Inputs -->
	<alphaair:acctName />
	<alphaair:password />
	<alphaair:departureAirport />
	<alphaair:arrivalAirport />
	<alphaair:outboundDate />
	<alphaair:inboundDate />

	<!-- Outputs -->
	<alphaair:flightItinerary />
	<alphaair:reservationNumber />

      </profile:Advertisement>
    </service:presents>
    <service:implements>
      <process:ProcessModel>
	<service:topLevelEvent rdf:resource="&alphaair;#AlphaAir_Process" />
      </process:ProcessModel>
    </service:implements>
  </service:Service>
</rdf:RDF>

