Research Article

Prefiltering Strategy to Improve Performance of Semantic Web Service Discovery

Listing 4

Part of goal instance specification dealing with the capability desired and the category of the desired service.
Goal Instance
“Book a flight from Berlin to Istanbul”
hasCategory → AirTransportation,
requestsCapabilitygoal_1
   hasPrecondition
      reqFlight
          originateCity → berlin,
          terminalCity → istanbul,
          departureDate → ?DDate,
          returnDate → ?RDate,
          numberPeople → 2
             :RequestTicket
        ,
   hasPostcondition
       (?BookTicket
          departureDate → ?DDate,
          returnDate → ?RDate
          fromAirport → ?FromAirport,
          toAirport → ?ToAirport,
          cost → ?TotalCost
             ]:Response
        ,
      is_equal(?ToAirport, Sabiha_Gokcen),
      less(?TotalCost, 500)
       ),
   optimization
      optObj[optCost → ?TotalCost]
              ]