<?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/2000/10/XMLSchema">
  <!ENTITY service	"http://www.daml.org/services/daml-s/0.7/Service.daml">
  <!ENTITY grounding	"http://www.daml.org/services/daml-s/0.7/Grounding.daml">
  <!ENTITY ba_service	"http://www.daml.org/services/daml-s/0.7/BravoAirService.daml">
  <!ENTITY ba_process	"http://www.daml.org/services/daml-s/0.7/BravoAirProcess.daml">
  <!ENTITY BravoAirGroundingWSDL "http://www.daml.org/services/daml-s/0.7/BravoAirGrounding.wsdl">
  <!ENTITY DEFAULT "http://www.daml.org/services/daml-s/0.7/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 about="">
    <daml:versionInfo>
      $Id: BravoAirGrounding.daml,v 1.8 2003/01/10 01:23:22 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>
      <xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#GetDesiredFlightDetails_operation"/>
    </grounding:wsdlOperation>
    
    <!-- Reference to the WSDL input message -->
    <grounding:wsdlInputMessage>
      <xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#GetDesiredFlightDetails_Input"/>
    </grounding:wsdlInputMessage>
    
    <!-- Mapping of DAML-S inputs to WSDL message parts -->
    <grounding:wsdlInputMessageParts rdf:parseType="daml:collection">
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#departureAirport_In"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#departureAirport"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#arrivalAirport_In"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#arrivalAirport"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#outboundDate_In"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#outboundDate"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#inboundDate_In"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#inboundDate"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#roundTrip_In"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#roundTrip"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
    </grounding:wsdlInputMessageParts>
    <grounding:wsdlReference>
     		<xsd:uriReference rdf:value="http://www.w3.org/TR/2001/NOTE-wsdl-20010315"/>
    </grounding:wsdlReference>
  </grounding:WsdlAtomicProcessGrounding>  
  
      
  
  <!-- ############################################################### -->
  <!-- # SelectAvailableFlight                                       # --> 

  <grounding:WsdlAtomicProcessGrounding rdf:ID="WsdlGrounding_SelectAvailableFlight">
    <grounding:damlsProcess rdf:resource="&ba_process;#SelectAvailableFlight"/>
    
    <!-- Reference to the corresponding WSDL operation -->
    <grounding:wsdlOperation>
      		<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#SelectAvailableFlight_operation"/>
    </grounding:wsdlOperation>
    
    <!-- Reference to the WSDL input message -->
    <grounding:wsdlInputMessage>
      		<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#SelectAvailableFlight_Input"/>
    </grounding:wsdlInputMessage>
    
    <!-- Definition of parts of input message-->
    <grounding:wsdlInputMessageParts rdf:parseType="daml:collection">
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#preferredFlightItinerary_In"/>
        <grounding:wsdlMessagePart>
	  		<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#preferredFlightItinerary"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
    </grounding:wsdlInputMessageParts>
    
    <!-- Mapping of DAML-S outputs to WSDL message parts -->
    <grounding:wsdlOutputMessageParts rdf:parseType="daml:collection">
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#availableFilghtItineraryList_Out"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#availableFilghtItineraryList"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
    </grounding:wsdlOutputMessageParts>
    
    <grounding:wsdlReference>
			<xsd:uriReference rdf:value="http://www.w3.org/TR/2001/NOTE-wsdl-20010315"/>
    </grounding:wsdlReference>
  </grounding:WsdlAtomicProcessGrounding>
  

  
      
  
  <!-- ############################################################### -->
  <!-- #  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>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#LogIn_operation"/>
    </grounding:wsdlOperation>
    
    <!-- Reference to the WSDL input message -->
    <grounding:wsdlInputMessage>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#LogIn_Input"/>
    </grounding:wsdlInputMessage>
    
    <!-- Mapping of DAML-S inputs to WSDL message parts -->
    <grounding:wsdlInputMessageParts rdf:parseType="daml:collection">
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#acctName_In"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#acctName"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#password_In"/>
        <grounding:wsdlMessagePart>
	  		<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#password"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
    </grounding:wsdlInputMessageParts>
    
    <grounding:wsdlReference>
      		<xsd:uriReference rdf:value="http://www.w3.org/TR/2001/NOTE-wsdl-20010315"/>
    </grounding:wsdlReference>
  </grounding:WsdlAtomicProcessGrounding>
  
      
  
  <!-- ############################################################### -->
  <!-- #  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>
      		<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#ConfirmReservation_operation"/>
    </grounding:wsdlOperation>
    
    <!-- Reference to the WSDL input message -->
    <grounding:wsdlInputMessage>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#ConfirmReservation_Input"/>
    </grounding:wsdlInputMessage>
    
    <!-- Mapping of DAML-S inputs to WSDL message parts -->
    <grounding:wsdlInputMessageParts rdf:parseType="daml:collection">
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#reservationID_In"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#reservationID"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#confirm_In"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#confirm"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
    </grounding:wsdlInputMessageParts>
    
    <!-- Mapping of DAML-S outputs to WSDL message parts -->
    <grounding:wsdlOutputMessageParts rdf:parseType="daml:collection">
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#reservationID_Out"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#reservationID_Out"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#preferredFlightItinerary_Out"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#preferredFlightItinerary"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
      <grounding:WsdlMessageMap>
        <grounding:damlsParameter rdf:resource="&ba_process;#acctName_Out"/>
        <grounding:wsdlMessagePart>
			<xsd:uriReference rdf:value="&BravoAirGroundingWSDL;#acctName"/>
        </grounding:wsdlMessagePart>
      </grounding:WsdlMessageMap>
    </grounding:wsdlOutputMessageParts>
    
    <grounding:wsdlReference>
			<xsd:uriReference rdf:value="http://www.w3.org/TR/2001/NOTE-wsdl-20010315"/>
    </grounding:wsdlReference>
  </grounding:WsdlAtomicProcessGrounding>
  
  
</rdf:RDF>
  
    
    
