Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Goal description
I want to have my package shipped from CA, USA to Tunis, Africa size (7/6/4), weight 1 lbs, the cheaper the better.
wsmlVariant
_"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
goal GoalA1
capability GoalA1Capability postcondition definedBy ( ?x[sop#price hasValue ?price] memberOf sop#PriceQuoteResp and sop#isShipped(shipmentOrderReq) ).
interface GoalA1Interface choreography GoalA1Choreography stateSignature GoalA1StateSignature
in sop#ShipmentOrderReq out sop#ShipmentOrderResp
transitionRules GoalA1TransitionRules
forall {?request} with (?request memberOf sop#ShipmentOrderReq) do add(_#1 memberOf sop#ShipmentOrderResp) endForall
|
ontology GoalRequest
instance shipmentOrderReq memberOf sop#ShipmentOrderReq sop#from hasValue soi#MoonContactInfo sop#shipmentDate hasValue soi#shipmentDate1 sop#package hasValue package sop#to hasValue soi#SzyslakContactInfo
instance package memberOf so#Package so#quantity hasValue 1 so#length hasValue 7.0 so#width hasValue 6.0 so#height hasValue 4.0 so#weight hasValue 1.0
instance shipmentDate1 memberOf so#ShipmentDate so#earliest hasValue "2009-01-21T13:00:00.046Z" so#latest hasValue "2009-01-22T13:00:00.046Z" |