W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2008

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

From: Rule Interchange Format Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Fri, 20 Jun 2008 16:08:16 +0000 (GMT)
To: public-rif-wg@w3.org
Message-Id: <20080620160816.3ADEFC6DAE@barney.w3.org>


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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:49 GMT