ISSUE-66 (Semantics of actions): Operational semantics of actions as covered by PRD? [PRD ]

ISSUE-66 (Semantics of actions): Operational semantics of actions as covered by PRD? [PRD ]

http://www.w3.org/2005/rules/wg/track/issues/

Raised by: Christian de Sainte Marie
On product: PRD 

- What should is the intended semantics of the actions covered by PRD?
- What when the intended action is the creation or the deletion of an individual (object): is that part of the semantics of Assert/Retract? How?
- If (when) PRD covers some kind of Modify action, how should the intended semantics differ from Retract+Assert?
- Any kind of Execute action is, by definition, opaque: how should its semantics be specified, esp. wrt possible side effects on the state of facts wrt which the semantics of a PR system is specified in PRD?
- etc...

Received on Friday, 20 June 2008 16:08:49 UTC