<?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 xsd		"http://www.w3.org/2001/XMLSchema">
  <!ENTITY service	"http://www.daml.org/services/daml-s/0.9/Service.daml">
  <!ENTITY grounding	"http://www.daml.org/services/daml-s/0.9/Grounding.daml">
  <!ENTITY ba_service	"http://www.daml.org/services/daml-s/0.9/BravoAirService.daml">
  <!ENTITY ba_process	"http://www.daml.org/services/daml-s/0.9/BravoAirProcess.daml">
  <!ENTITY BravoAirGroundingWSDL "http://www.daml.org/services/daml-s/0.9/BravoAirGrounding.wsdl">
  <!ENTITY DEFAULT "http://www.daml.org/services/daml-s/0.9/BravoAirGrounding.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:xsd=       "&xsd;#"
  xmlns:service=   "&service;#"
  xmlns:grounding= "&grounding;#"
  xmlns=           "&DEFAULT;#">
 
  <daml:Ontology rdf:about="">
    <daml:versionInfo>
      $Id: BravoAirGrounding.daml,v 1.13 2003/09/19 05:00:18 martin Exp $
    </daml:versionInfo>
    
    <rdfs:comment>
      DAML-S Coalition: BravoAir Example for DAML-S release 0.7 Grounding 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="&grounding;" />
    <daml:imports rdf:resource="&ba_service;" />
    <daml:imports rdf:resource="&ba_process;" />
  </daml:Ontology>

  
  <!-- ############################################################### -->
  <!-- # Instance Definition of BravoAir Reservation Agent Grounding # -->
  <!-- ############################################################### -->
  
  
  <!-- ############################################################### -->
  <!-- # service:ServiceGrounding                                    # -->
  
  
  <grounding:WsdlGrounding
    rdf:ID="Grounding_BravoAir_ReservationAgent">
    <service:supportedBy rdf:resource="&ba_service;#BravoAir_ReservationAgent"/>
    <!-- Collecton of all the groundings specifications -->
    <grounding:hasAtomicProcessGrounding rdf:resource="#WsdlGrounding_GetDesiredFlightDetails"/>
    <grounding:hasAtomicProcessGrounding rdf:resource="#WsdlGrounding_SelectAvailableFlight"/>
    <grounding:hasAtomicProcessGrounding rdf:resource="#WsdlGrounding_LogIn"/>
    <grounding:hasAtomicProcessGrounding rdf:resource="#WsdlGrounding_ConfirmReservation"/>
  </grounding:WsdlGrounding>
        
  
  <!-- ############################################################### -->
  <!-- # GetDesiredFlightDetails                                     # -->
  
      
  <grounding:WsdlAtomicProcessGrounding rdf:ID="WsdlGrounding_GetDesiredFlightDetails">
    <!-- Grounding for the Atomic Process GetDesiredFlightDetails -->
    <grounding:damlsProcess rdf:resource="&ba_process;#GetDesiredFlightDetails"/>
    <!-- Reference to the corresponding WSDL operation -->
    <grounding:wsdlOperation rdf:resource="#GetDesiredFlightDetails_operation"/>  
    
    <!-- Reference to the WSDL input message -->
    <grounding:wsdlInputMessage>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#GetDesiredFlightDetails_Input"/>
    </grounding:wsdlInputMessage>
    
    <!-- Mapping of DAML-S inputs to WSDL message parts -->
    <grounding:wsdlInputs rdf:parseType="daml:collection">
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#departureAirport_In"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#departureAirport"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#arrivalAirport_In"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#arrivalAirport"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#outboundDate_In"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#outboundDate"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#inboundDate_In"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#inboundDate"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#roundTrip_In"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#roundTrip"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
    </grounding:wsdlInputs>
    <grounding:wsdlReference>
     		<xsd:anyURI rdf:value="http://www.w3.org/TR/2001/NOTE-wsdl-20010315"/>
    </grounding:wsdlReference>
  </grounding:WsdlAtomicProcessGrounding>      
    
    
  <grounding:WsdlOperationRef rdf:ID="GetDesiredFlightDetails_operation">
    <rdfs:comment>
	A pointer to the WSDL operation used for GetDesiredFlightDetails
    </rdfs:comment>
    <!-- locate port type to be used -->
    <grounding:portType>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#GetDesiredFlightDetails_PortType"/>
    </grounding:portType>
    <!-- locate operation to be used -->
    <grounding:operation>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#GetDesiredFlightDetails_operation"/>
    </grounding:operation>
  </grounding:WsdlOperationRef>
  
      
  
  <!-- ############################################################### -->
  <!-- # SelectAvailableFlight                                       # --> 

  <grounding:WsdlAtomicProcessGrounding rdf:ID="WsdlGrounding_SelectAvailableFlight">
    <grounding:damlsProcess rdf:resource="&ba_process;#SelectAvailableFlight"/>
    
    <!-- Reference to the corresponding WSDL operation -->
    <grounding:wsdlOperation rdf:resource="#SelectAvailableFlight_operation"/>
    
    <!-- Reference to the WSDL input message -->
    <grounding:wsdlInputMessage>
      		<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#SelectAvailableFlight_Input"/>
    </grounding:wsdlInputMessage>
    
    <!-- Definition of parts of input message-->
    <grounding:wsdlInputs rdf:parseType="daml:collection">
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#preferredFlightItinerary_In"/>
        <grounding:wsdlMessagePart>
	  		<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#preferredFlightItinerary"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
    </grounding:wsdlInputs>
    
    <!-- Mapping of DAML-S outputs to WSDL message parts -->
    <grounding:wsdlOutputs rdf:parseType="daml:collection">
      <grounding:WsdlOutputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#availableFlightItineraryList_Out"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#availableFlightItineraryList"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlOutputMessageMap>
    </grounding:wsdlOutputs>
    
    <grounding:wsdlReference>
			<xsd:anyURI rdf:value="http://www.w3.org/TR/2001/NOTE-wsdl-20010315"/>
    </grounding:wsdlReference>
  </grounding:WsdlAtomicProcessGrounding>
    
    
  <grounding:WsdlOperationRef rdf:ID="SelectAvailableFlight_operation">
    <rdfs:comment>
	A pointer to the WSDL operation used for SelectAvailableFlight
    </rdfs:comment>
    <!-- locate port type to be used -->
    <grounding:portType>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#SelectAvailableFlight_PortType"/>
    </grounding:portType>
    <!-- locate operation to be used -->
    <grounding:operation>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#SelectAvailableFlight_operation"/>
    </grounding:operation>
  </grounding:WsdlOperationRef>
  

  
      
  
  <!-- ############################################################### -->
  <!-- #  LogIn                                                      # -->
  
      
  <grounding:WsdlAtomicProcessGrounding rdf:ID="WsdlGrounding_LogIn">
    <!-- Grounding for the Atomic Process LogIn -->
    <grounding:damlsProcess rdf:resource="&ba_process;#LogIn"/>
    
    <!-- Reference to the corresponding WSDL operation -->
    <grounding:wsdlOperation rdf:resource="#LogIn_operation"/>
    
    <!-- Reference to the WSDL input message -->
    <grounding:wsdlInputMessage>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#LogIn_Input"/>
    </grounding:wsdlInputMessage>
    
    <!-- Mapping of DAML-S inputs to WSDL message parts -->
    <grounding:wsdlInputs rdf:parseType="daml:collection">
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#acctName_In"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#acctName"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#password_In"/>
        <grounding:wsdlMessagePart>
	  		<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#password"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
    </grounding:wsdlInputs>
    
    <grounding:wsdlReference>
      		<xsd:anyURI rdf:value="http://www.w3.org/TR/2001/NOTE-wsdl-20010315"/>
    </grounding:wsdlReference>
  </grounding:WsdlAtomicProcessGrounding>
    
    
  <grounding:WsdlOperationRef rdf:ID="LogIn_operation">
    <rdfs:comment>
	A pointer to the WSDL operation used for SelectAvailableFlight
    </rdfs:comment>
    <!-- locate port type to be used -->
    <grounding:portType>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#LogIn_PortType"/>
    </grounding:portType>
    <!-- locate operation to be used -->
    <grounding:operation>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#LogIn_operation"/>
    </grounding:operation>
  </grounding:WsdlOperationRef>
  
      
  
  <!-- ############################################################### -->
  <!-- #  ConfirmReservation                                         # -->
  
      
  <grounding:WsdlAtomicProcessGrounding rdf:ID="WsdlGrounding_ConfirmReservation">
    <!-- Grounding for the Atomic Process ConfirmReservation -->
    <grounding:damlsProcess rdf:resource="&ba_process;#ConfirmReservation"/>
    
    <!-- Reference to the corresponding WSDL operation -->
    <grounding:wsdlOperation rdf:resource="#ConfirmReservation_operation"/>
    
    <!-- Reference to the WSDL input message -->
    <grounding:wsdlInputMessage>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#ConfirmReservation_Input"/>
    </grounding:wsdlInputMessage>
    
    <!-- Mapping of DAML-S inputs to WSDL message parts -->
    <grounding:wsdlInputs rdf:parseType="daml:collection">
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#reservationID_In"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#reservationID"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
      <grounding:WsdlInputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#confirm_In"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#confirm"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlInputMessageMap>
    </grounding:wsdlInputs>
    
    <!-- Mapping of DAML-S outputs to WSDL message parts -->
    <grounding:wsdlOutputs rdf:parseType="daml:collection">
      <grounding:WsdlOutputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#reservationID_Out"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#reservationID_Out"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlOutputMessageMap>
      <grounding:WsdlOutputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#preferredFlightItinerary_Out"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#preferredFlightItinerary"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlOutputMessageMap>
      <grounding:WsdlOutputMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#acctName_Out"/>
        <grounding:wsdlMessagePart>
			<xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#acctName"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlOutputMessageMap>
    </grounding:wsdlOutputs>
    
    <grounding:wsdlReference>
			<xsd:anyURI rdf:value="http://www.w3.org/TR/2001/NOTE-wsdl-20010315"/>
    </grounding:wsdlReference>
  </grounding:WsdlAtomicProcessGrounding>
    
    
  <grounding:WsdlOperationRef rdf:ID="ConfirmReservation_operation">
    <rdfs:comment>
	A pointer to the WSDL operation used for SelectAvailableFlight
    </rdfs:comment>
    <!-- locate port type to be used -->
    <grounding:portType>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#ConfirmReservation_PortType"/>
    </grounding:portType>
    <!-- locate operation to be used -->
    <grounding:operation>
      <xsd:anyURI rdf:value="&BravoAirGroundingWSDL;#ConfirmReservation_operation"/>
    </grounding:operation>
  </grounding:WsdlOperationRef>
  
  
</rdf:RDF>
  
    
    
