/** * Seller Goal Template 1 */ namespace <> dc:<> wsml:<> furn:<> swfmo:<> loc:<> goal <> nonFunctionalProperties dc:title hasValue "Seller Goal Template 1" dc:creator hasValue "SWF Project" dc:subject hasValues {swfmo:seller, swfmo:purchaseContract, furn:furniture, swfmo:dropShip} dc:description hasValue "Goal Template for selling one piece of furniture" 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.3 $" endNonFunctionalProperties importedOntologies { <>, <>, <>} postcondition axiom sgs1Postcondition nonFunctionalProperties dc:description hasValue "a contract of purchase for a seller for a specific piece of furniture, payment by creditcard" endNonFunctionalProperties definedBy exists ?PCID(?PCID memberOf xsd:integer) and exists ?PurchaseItem(?PurchaseItem[ item hasValue ?PurchaseFurniture, provider hasValue ?Seller ] memberOf swfmo:product) and exists ?PurchaseFurniture(?PurchaseFurniture memberOf furn:furniture) and exists ?Seller(?Seller[ contactAddress hasValue ?Address, acceptsPaymentMethod hasValues {?Payment} ] memberOf swfmo:seller) and exists ?Address(?Address[ city.inCountry hasValue austria ] memberOf loc:address) and exists ?Payment(?Payment memberOf swfmo:paymentMethod) and ?X[ purchaseContractID hasValue ?PCID, purchaseItem hasValue ?PurchaseItem, seller hasValue ?Seller, purchasePayment hasValue ?Payment ] memberOf swfmo:purchaseContract . effect axiom sgs1Effect 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 exists ?Seller(?Seller[ contactAddress hasValue ?ContactAddress ] memberOf swfmo:seller) and exists ?ContactAddress(?ContactAddress[ city.inCountry hasValue austria ] memberOf loc:address) and exists ?Buyer(Buyer[ shipToAddress hasValue ?BuyerAddress ] memberOf swfmo:buyer) and exists ?BuyerAddress(?BuyerAddress[ city.inCountry hasValue austria ] memberOf loc:address) and exists ?Carrier(?Carrier[ deliverCoverage hasValue austria ] memberOf swfmo:dropShipCarrier) and (?X[ deliveryItem hasValue ?Item, sender hasValue ?Seller, receiver hasValue ?Buyer, carrier hasValue ?Carrier ] memberOf swfmo:dropShip ) or (?X[ deliveryItem hasValue ?Item ] memberOf swfmo:selfCollection) .