/** * Buyer Goal Template 4 */ namespace <> dc:<> wsml:<> furn:<> swfmo:<> loc:<> goal <> nonFunctionalProperties dc:title hasValue "Buyer Goal Template 4" dc:creator hasValue "SWF Project" dc:subject hasValues {furn:furniture, swfmo:purchase, swfmo:privateSeller, swfmo:delivery} dc:description hasValue "Goal Template for buying one piece of furniture from a private seller" dc:publisher hasValue "SWF Project" dc:contributor hasValue "Michael Stollberg, Ioan Toma, Uwe Keller" dc:date hasValue "2004-09-20" dc:type hasValue <> dc:format hasValue "text/plain" dc:language hasValue "en-US" dc:relation hasValues { <>, <>, <>} dc:coverage hasValue "SWF virtual marketplace" dc:rights hasValue <> version hasValue "$Revision: 1.2 $" endNonFunctionalProperties importedOntologies{ <>, <>, <>} comment: no mediators are used postcondition axiom bgs4Postcondition nonFunctionalProperties dc:description hasValue "a contract of purchase for a specific piece of furniture with a private seller, payment by any payment method" endNonFunctionalProperties definedBy exists ?PCID(?PCID memberOf xsd:integer) and exists ?PurchaseItem(?PurchaseItem[ item hasValue ?PurchaseFurniture, provider hasValue ?PrivateSeller ] memberOf swfmo:product) and exists ?PurchaseFurniture(?PurchaseFurniture memberOf furn:furniture) and exists ?Buyer(?Buyer[ hasPaymentMethod hasValues {?BuyerPayment} ] memberOf swfmo:buyer) and exists ?BuyerPayment(?BuyerPayment memberOf swfmo:paymentMethod) and exists ?PrivateSeller(?PrivateSeller[ acceptsPaymentMethod hasValues {?SellerPayment} ] memberOf swfmo:privateSeller) and exists ?SellerPayment(?SellerPayment memberOf swfmo:paymentMethod) and exists ?Payment(?Payment memberOf swfmo:paymentMethod) and ((?Payment) implies ((?Payment memberOf ?BuyerPayment) and (?Payment memberOf ?SellerPayment))) and ?X[ purchaseContractID hasValue ?PCID, purchaseItem hasValue ?PurchaseItem, buyer hasValue ?Buyer, seller hasValue ?PrivateSeller, purchasePayment hasValue ?Payment ] memberOf swfmo:purchaseContract . effect axiom bgs4Effect nonFunctionalProperties dc:description hasValue "direct delivery of the purchased piece of furniture to a specific shipping address in Austria" endNonFunctionalProperties definedBy exists ?Item(?Item memberOf swfmo:product) and ?X[ deliveryItem hasValue ?Item ] memberOf swfmo:selfCollection .