/** * Seller Goal Instance 2 * * this is the goal instance to provide product information; it is unclear who is the owner of this: * - if it is a single seller, then each seller needs such a Goal Instance with status open all the time * - it could be the Marketplace Owner, with a permanent Goal to provide product information to the buyers * * for the SWF prototype, Goal Instance are modelled as WSMO Goals, * and managed as 'Active WSMO Goals' in the system * * * the owner of a Goal Instance is defined in the corresponding FRED Goal Instance * the same holds for the status information * * Goal Instances do not import ontologies or use mediators; * all domain terminology is inherited from the Goal Template * Goal Instance notions only refine (= no extensions) Goal Template notions */ namespace <> dc:<> wsml:<> swfmo:<> kb:<> goal <> nonFunctionalProperties dc:title hasValue "Seller Goal Instance 2" dc:creator hasValue "SWF Project" dc:subject hasValues {swfmo:seller, swfmo:product, furn:furniture} dc:description hasValue "Goal Instance from Buyer Seller Template 2 for providing product information about all products available in the marketplace that have a specific type of furniture as sell item." dc:publisher hasValue "SWF Project" dc:contributor hasValue "Michael Stollberg, Ioan Toma, Uwe Keller" dc:date hasValue "2004-09-30" dc:type hasValue <> comment: for the prototype, Goal Instances are described as WSMO Goals dc:format hasValue "text/plain" dc:language hasValue "en-US" dc:relation hasValues {<>} comment: the value of the is specified as the Goal Template that the Goal Instance is a instance of dc:coverage hasValue "SWF virtual marketplace" dc:rights hasValue <> version hasValue "$Revision: 1.2 $" endNonFunctionalProperties /** * the notions of submission are now incorporated in the postcondontion and effects submission sgi2Submission nonFunctionalProperties dc:description hasValue "the information to be submitted as input to a service are: [1] a type of furniture product information is required for, [2] the buyer who is requesting information, [3] the seller of type of sellers that product infomration is requested for" endNonFunctionalProperties definedBy instance FurnitureSearched memberOf furn:furniture instance aSeller memberOf swfmo:seller */ postcondition axiom sgi2Postcondition nonFunctionalProperties dc:description hasValue "a contract of purchase for the Buyer for a specific piece of furniture, payment by creditcard" endNonFunctionalProperties definedBy exists ?FurnitureSearched(?FurnitureSearched memberOf furn:furniture) and exists ?Seller(?Seller memberOf swfmo:seller) and ?X[ item hasValue ?FurnitureSearched, provider hasValue ?Seller ] memberOf swfmo:product . effect axiom sgi2Effect nonFunctionalProperties dc:description hasValue "direct delivery of the purchased piece of furniture to a specific shipping address in Austria" endNonFunctionalProperties definedBy ?X . comment: means there isnt an effect