<?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-profile1.daml">
  <!ENTITY THIS "http://www.daml.org/services/daml-s/2001/05/AlphaAir-profile1.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: &DEFAULT;, v 1.0 2001/03/31 20:46:34 terryp Exp $
    </daml:versionInfo>
    <rdfs:comment>
      Profile Descriptions (adverts) 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 Reservation Agent Service ####### -->
  <!-- ################################################################### -->

  <service:Service rdf:ID="AlphaAir_ResevationAgent">
    <service:presents>
      <profile:Advertisement rdf:about="AlphaAir_ResevationAgent_Advertisement"/>
    </service:presents>
    <service:implements>
      <process:ProcessModel rdf:about="AlphaAir_ResevationAgent_ProcessModel"/>
    </service:implements>
  </service:Service>

  <!-- ################################################################### -->
  <!-- # Instance Definition of AlphaAir Reservation Agent Process Model # -->
  <!-- ################################################################### -->

  <process:ProcessModel rdf:ID="AlphaAir_ResevationAgent_ProcessModel">
    <service:topLevelEvent rdf:resource="&alphaair;#AlphaAir_Process" />
  </process:ProcessModel>

  <!-- ################################################################### -->
  <!-- # Instance Definition of AlphaAir Reservation Agent Properties #### -->
  <!-- ################################################################### -->

  <rdf:Property rdf:ID="in_AcctName">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&rdfs;#Literal"/>
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>
   
  <rdf:Property rdf:ID="in_Password">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&rdfs;#Literal"/>
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>
   
  <rdf:Property rdf:ID="Departure_Airport">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&airport;#AirportCodes"/>
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>
   
  <rdf:Property rdf:ID="Arrival_Airport">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&airport;#AirportCodes"/>
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="in_RoundTrip">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <!-- Boolean -->
    <rdfs:range rdf:resource="&daml;#Thing" />
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="in_Date">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&date;#Date"/>
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="out_Date">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&date;#Date"/>
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="out_FlightItinerary">
    <rdfs:subPropertyOf rdf:resource="&profile;#output" />
    <rdfs:range rdf:resource="&alphaair;#FlightItinerary"/>
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
  </rdf:Property>

  <rdf:Property rdf:ID="out_ReservationNumber">
    <rdfs:subPropertyOf rdf:resource="&profile;#output" />
    <rdfs:range rdf:resource="&alphaair;#ReservationNumber"/>
    <rdfs:domain rdf:resource="AlphaAir_ResevationAgent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

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

  <profile:Advertisement rdf:ID="AlphaAir_ResevationAgent_Advertisement">
    <profile:serviceName>AlphaAir_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:qualityRating>Ha ha ha - are you serious?</profile:qualityRating>

    <profile:providedBy>
      <profile:ServiceProvider rdf:ID="AlphaAir">
	<profile:name>AlphaAir</profile:name>
	<profile:phone rdf:ID="work">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.org/services/daml-s/2001/05/AlphaAir.html</profile:webURL>
      </profile:ServiceProvider>
    </profile:providedBy>

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

    <profile:communicationThru>KQML</profile:communicationThru>

  </profile:Advertisement>
</rdf:RDF>
