- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Tue, 19 Sep 2006 12:15:07 -0400
- To: "Peter F. Patel-Schneider" <pfps@inf.unibz.it>
- Cc: public-rif-wg@w3.org
ok, thank you. got it finally -- done. > > I have read over the revised semantics for positive conditions. > http://www.w3.org/2005/rules/wg/wiki/A.1_Basis%3A_Positive_Conditions > In general it is fine. > > I have a few suggestions on wording changes, given below: > > 1/ At the core of the definition of a semantic structure is the idea > that an > interpretation provides a truth value for a formula. > > I don't think that I should be used here. > > 2/ D a non-empty set (of domain elements), > Con the set of syntax elements recognized by the Con / entity > production, > Var the set of syntax elements recognized by the Var / ?name production, > Fun the set of syntax elements recognized by the Fun production, > Rel the set of syntax elements recognized by the Rel production. > > 3/ Clean up the definition of I* to something like > > I*=<IC,IV*,IF,IR> where IV* is the same as IV except possibly on > the variables v1,...,vn > > >
Received on Tuesday, 19 September 2006 16:15:19 UTC