Prefiltering Strategy to Improve Performance of Semantic Web Service Discovery

Listing 5

Part of Web service instance specification dealing with the capability and the category of the provided service.

Web service

“Reserve a flight”

hasCategory → PlaneTransportation,

importsOntology →

    …/FlightInfo_ont.flr,

    …/Geographical_ont.flr,

hasCapability → ws_x

   hasPrecondition→

       (?ReqFlight

         startCity→?FromCity,

         endCity→?ToCity,

         departureDate→?DDate,

         returnDate→?RDate,

         numberPeople→?HNumber

              : RequestAirplainTicket

         ,

        ?SomeFlight

         departureDate→?DDate,

         returnDate→?RDate,

         fromAirport→?FromAirport,

         toAirport→?ToAirport,

         cost→?Cost

              :Flight 

         ,

        mult(?Cost, ?HNumber, ?TotalCost)),

   hasPostcondition→

        response

         departureDate→?DDate,

         returnDate→?RDate,

         fromAirport→?FromAirport,

         toAirport→?ToAirport,

         cost→?TotalCost

              :Response