<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:process="http://www.daml.org/services/owl-s/1.1/Process.owl#"
    xmlns="http://127.0.0.1/services/1.1/BookNonMedicalFlight_service.owls"
    xmlns:service="http://www.daml.org/services/owl-s/1.1/Service.owl#"
    xmlns:list="http://www.daml.org/services/owl-s/1.1/generic/ObjectList.owl#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:profile="http://www.daml.org/services/owl-s/1.1/Profile.owl#"
    xmlns:swrl="http://www.w3.org/2003/11/swrl#"
    xmlns:grounding="http://www.daml.org/services/owl-s/1.1/Grounding.owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:expression="http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
	xmlns:expr 		= "http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#"
    xmlns:pddlexpr  = "http://127.0.0.1/ontology/PDDLExpression.owl#"
  xml:base="http://127.0.0.1/services/1.1/BookNonMedicalFlight_service.owls">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="http://127.0.0.1/ontology/Profile.owl"/>
    <owl:imports rdf:resource="http://127.0.0.1/ontology/Service.owl"/>
    <owl:imports rdf:resource="http://127.0.0.1/ontology/Process.owl"/>
    <owl:imports rdf:resource="http://127.0.0.1/ontology/NonMedicalFlightCompanyOntology.owl"/>
    <owl:imports rdf:resource="http://127.0.0.1/ontology/Grounding.owl"/>
	<owl:imports rdf:resource="http://127.0.0.1/ontology/Expression.owl" />
    <owl:imports rdf:resource="http://127.0.0.1/ontology/PDDLExpression.owl" />
	<owl:imports rdf:resource="http://127.0.0.1/ontology/TravelMessageOntology.owl" />
	<owl:imports rdf:resource="http://127.0.0.1/ontology/Mid-level-ontology.owl"/>
  </owl:Ontology>
  <service:Service rdf:ID="BookNonMedicalFlightService">
    <service:presents>
      <profile:Profile rdf:ID="BookNonMedicalFlightProfile"/>
    </service:presents>
    <service:describedBy>
      <process:AtomicProcess rdf:ID="BookNonMedicalFlightProcess"/>
    </service:describedBy>
    <service:supports>
      <grounding:WsdlGrounding rdf:ID="BookNonMedicalFlightGrounding"/>
    </service:supports>
  </service:Service>
  <profile:Profile rdf:about="#BookNonMedicalFlightProfile">
    <service:presentedBy rdf:resource="#BookNonMedicalFlightService"/>
    <profile:serviceName>BookNonMedicalFlight</profile:serviceName>
    <profile:textDescription>This service lets the customer book a flight. A flight number and an account is required.</profile:textDescription>
    <profile:hasInput>
      <process:Input rdf:ID="BookNonMedicalFlight_Account">
        <rdfs:label>BookNonMedicalFlight_Account</rdfs:label>
        <process:parameterType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/ontology/NonMedicalFlightCompanyOntology.owl#Account</process:parameterType>
      </process:Input>
    </profile:hasInput>
	<profile:hasLocal>
      <process:Local rdf:ID="BookNonMedicalFlight_User">
        <rdfs:label>BookNonMedicalFlight_User</rdfs:label>
        <process:parameterType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/ontology/books.owl#User</process:parameterType>
      </process:Local>
    </profile:hasLocal>
    <profile:hasInput>
      <process:Input rdf:ID="BookNonMedicalFlight_FlightNumber">
        <rdfs:label>BookNonMedicalFlight_FlightNumber</rdfs:label>
        <process:parameterType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/ontology/NonMedicalFlightCompanyOntology.owl#FlightNumber</process:parameterType>
      </process:Input>
    </profile:hasInput>
    <profile:hasOutput>
      <process:Output rdf:ID="BookNonMedicalFlight_SeatNumber">
        <rdfs:label>BookNonMedicalFlight_SeatNumber</rdfs:label>
        <process:parameterType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/ontology/NonMedicalFlightCompanyOntology.owl#SeatNumber</process:parameterType>
      </process:Output>
    </profile:hasOutput>
    <profile:hasOutput>
      <process:Output rdf:ID="BookNonMedicalFlight_AirportGate">
        <rdfs:label>BookNonMedicalFlight_AirportGate</rdfs:label>
        <process:parameterType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/ontology/NonMedicalFlightCompanyOntology.owl#AirportGate</process:parameterType>
      </process:Output>
    </profile:hasOutput>
    <profile:hasOutput>
      <process:Output rdf:ID="BookNonMedicalFlight_BookingNumber">
        <rdfs:label>BookNonMedicalFlight_BookingNumber</rdfs:label>
        <process:parameterType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/ontology/NonMedicalFlightCompanyOntology.owl#BookingNumber</process:parameterType>
      </process:Output>
    </profile:hasOutput>
  </profile:Profile>
  <process:AtomicProcess rdf:about="#BookNonMedicalFlightProcess">
    <rdfs:label>BookNonMedicalFlightProcess</rdfs:label>
    <service:describes rdf:resource="#BookNonMedicalFlightService"/>
    <process:hasInput rdf:resource="#BookNonMedicalFlight_Account"/>
    <process:hasInput rdf:resource="#BookNonMedicalFlight_FlightNumber"/>
	<process:hasLocal rdf:resource="#BookNonMedicalFlight_User"/>
    <process:hasOutput rdf:resource="#BookNonMedicalFlight_SeatNumber"/>
    <process:hasOutput rdf:resource="#BookNonMedicalFlight_AirportGate"/>
    <process:hasOutput rdf:resource="#BookNonMedicalFlight_BookingNumber"/>
	<process:hasPrecondition>
          <pddlexpr:PDDL-Expression>
            <expr:expressionBody rdf:datatype="http://www.w3.org/2001/XMLSchema#string">
		        (http://127.0.0.1/ontology/Mid-level-ontology.owl#accountHolder ?http://127.0.0.1/services/1.1/BookNonMedicalFlight_service.owls#BookNonMedicalFlight_User ?http://127.0.0.1/services/1.1/BookNonMedicalFlight_service.owls#BookNonMedicalFlight_Account))
			</expr:expressionBody>
          </pddlexpr:PDDL-Expression>
    </process:hasPrecondition>
	<process:hasResult>
          <process:Result>
            <process:hasEffect>
              <pddlexpr:PDDL-Expression>
                <expr:expressionBody rdf:datatype="http://www.w3.org/2001/XMLSchema#string">
				(http://127.0.0.1/ontology/TravelMessageOntology.owl#Booking ?http://127.0.0.1/services/1.1/BookNonMedicalFlight_service.owls#BookNonMedicalFlight_SeatNumber)     
				</expr:expressionBody>
              </pddlexpr:PDDL-Expression>
            </process:hasEffect>
          </process:Result>
	</process:hasResult>
  </process:AtomicProcess>
  <grounding:WsdlGrounding rdf:about="#BookNonMedicalFlightGrounding">
    <service:supportedBy rdf:resource="#BookNonMedicalFlightService"/>
    <grounding:hasAtomicProcessGrounding>
      <grounding:WsdlAtomicProcessGrounding rdf:ID="BookNonMedicalFlightAtomicProcessGrounding"/>
    </grounding:hasAtomicProcessGrounding>
  </grounding:WsdlGrounding>
  <grounding:WsdlAtomicProcessGrounding rdf:about="#BookNonMedicalFlightAtomicProcessGrounding">
    <grounding:wsdlOutputMessage rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
    >http://127.0.0.1/wsdl/Booknonmedicalflight#getBookNonMedicalFlight_SeatNumberBookNonMedicalFlight_AirportGateBookNonMedicalFlight_BookingNumberResponse</grounding:wsdlOutputMessage>
    <grounding:wsdlDocument rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
    >http://127.0.0.1/wsdl/Booknonmedicalflight.wsdl</grounding:wsdlDocument>
    <grounding:wsdlInput>
      <grounding:WsdlInputMessageMap>
        <grounding:owlsParameter rdf:resource="#BookNonMedicalFlight_Account"/>
        <grounding:wsdlMessagePart rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Booknonmedicalflight#BookNonMedicalFlight_Account</grounding:wsdlMessagePart>
        <grounding:xsltTransformationString>None (XSL)</grounding:xsltTransformationString>
      </grounding:WsdlInputMessageMap>
    </grounding:wsdlInput>
    <grounding:wsdlInput>
      <grounding:WsdlInputMessageMap>
        <grounding:owlsParameter rdf:resource="#BookNonMedicalFlight_FlightNumber"/>
        <grounding:wsdlMessagePart rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Booknonmedicalflight#BookNonMedicalFlight_FlightNumber</grounding:wsdlMessagePart>
        <grounding:xsltTransformationString>None (XSL)</grounding:xsltTransformationString>
      </grounding:WsdlInputMessageMap>
    </grounding:wsdlInput>
    <grounding:wsdlOutput>
      <grounding:WsdlOutputMessageMap>
        <grounding:owlsParameter rdf:resource="#BookNonMedicalFlight_BookingNumber"/>
        <grounding:wsdlMessagePart rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Booknonmedicalflight#BookNonMedicalFlight_BookingNumber</grounding:wsdlMessagePart>
        <grounding:xsltTransformationString>None (XSL)</grounding:xsltTransformationString>
      </grounding:WsdlOutputMessageMap>
    </grounding:wsdlOutput>
    <grounding:wsdlInputMessage rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
    >http://127.0.0.1/wsdl/Booknonmedicalflight#getBookNonMedicalFlight_SeatNumberBookNonMedicalFlight_AirportGateBookNonMedicalFlight_BookingNumberRequest</grounding:wsdlInputMessage>
    <grounding:owlsProcess rdf:resource="#BookNonMedicalFlightProcess"/>
    <grounding:wsdlOutput>
      <grounding:WsdlOutputMessageMap>
        <grounding:owlsParameter rdf:resource="#BookNonMedicalFlight_AirportGate"/>
        <grounding:wsdlMessagePart rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Booknonmedicalflight#BookNonMedicalFlight_AirportGate</grounding:wsdlMessagePart>
        <grounding:xsltTransformationString>None (XSL)</grounding:xsltTransformationString>
      </grounding:WsdlOutputMessageMap>
    </grounding:wsdlOutput>
    <grounding:wsdlOutput>
      <grounding:WsdlOutputMessageMap>
        <grounding:owlsParameter rdf:resource="#BookNonMedicalFlight_SeatNumber"/>
        <grounding:wsdlMessagePart rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Booknonmedicalflight#BookNonMedicalFlight_SeatNumber</grounding:wsdlMessagePart>
        <grounding:xsltTransformationString>None (XSL)</grounding:xsltTransformationString>
      </grounding:WsdlOutputMessageMap>
    </grounding:wsdlOutput>
    <grounding:wsdlOperation>
      <grounding:WsdlOperationRef>
        <grounding:operation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Booknonmedicalflight#getBookNonMedicalFlight_SeatNumberBookNonMedicalFlight_AirportGateBookNonMedicalFlight_BookingNumber</grounding:operation>
        <grounding:portType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Booknonmedicalflight#BooknonmedicalflightSoap</grounding:portType>
      </grounding:WsdlOperationRef>
    </grounding:wsdlOperation>
  </grounding:WsdlAtomicProcessGrounding>
  <owl:Class rdf:about="/ontology/NonMedicalFlightCompanyOntology.owl#FlightNumber"/>
  <owl:Class rdf:about="/ontology/NonMedicalFlightCompanyOntology.owl#BookingNumber"/>
  <owl:Class rdf:about="/ontology/NonMedicalFlightCompanyOntology.owl#Account"/>
  <owl:Class rdf:about="/ontology/NonMedicalFlightCompanyOntology.owl#SeatNumber"/>
  <owl:Class rdf:about="/ontology/NonMedicalFlightCompanyOntology.owl#AirportGate"/>
</rdf:RDF>
