- From: Adrian Paschke <adrian.paschke@gmx.de>
- Date: Tue, 28 Apr 2009 13:24:01 +0200
- To: "'Sandro Hawke'" <sandro@w3.org>, "'Christian De Sainte Marie'" <csma@fr.ibm.com>
- Cc: <public-rif-wg@w3.org>
We discussed it in the last PRD telecon. The semantics of a generic "not" in case of PRD is clear since it used in a production rule set, i.e. it is inflationary not. Alternative we could introduce many different constructs for negations, but this might be counterproductive to the interchange purpose of RIF. I would propose that the intended semantics of a rule set such as stratified, well-founded, stable models, is denoted by a special label (e.g. an attribute or additional construct) for the rule set and not by different constructs for negations. Otherwise a simple (business) rule set cannot be interchanged between a WFS rule engine and a Stable rule engine without a translation. -Adrian -----Ursprüngliche Nachricht----- Von: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] Im Auftrag von Sandro Hawke Gesendet: Dienstag, 28. April 2009 13:00 An: Christian De Sainte Marie Cc: public-rif-wg@w3.org Betreff: Re: [Admin] Agenda for RIF telecon 28 April *ADDENDUM* > *PROPOSED:* The negation operator, in PRD, will be called: Not, which will > also be the tag of the corresponding XML element in the concrete syntax. Did I miss some background on this? Can whoever is proposing this, explain how it's different from the other kinds of negation (classical negation, unstratified naf, stable model naf, and well-founded naf, come to mind), and justify why this one should get the word "not"? (a pointer to an existing e-mail doing this would be fine.) -- Sandro > 6. AOB=20 > > [1]=20 > http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/att-0117/rif-meet= > ing-minutes-21-April-2009.html > > [2] http://www.w3.org/2005/rules/wg/meeting/2009-04-15=20 > http://www.w3.org/2005/rules/wg/meeting/2009-04-16=20 > http://www.w3.org/2005/rules/wg/meeting/2009-04-17=20 > [3] http://www.w3.org/2005/rules/wg/track/actions/open > [4] http://www.w3.org/2005/rules/wg/track/actions/pendingreview=20 > [5] http://www.w3.org/2005/rules/wiki/LastCallPlan > [6] http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/0109.html=20 > and folloing thread > > -------------------=20 > > *Detailed agenda*=20 > > Bridges: +1.617.761.6200 (US), +33 4 89 06 34 99 (F) or +44.117.370.6152=20 > (GB)=20 > Conference code: 74394# ('RIFWG')=20 > IRC Chat: irc:irc.w3.org (port 6665), #rif=20 > Web-based IRC (member-only): [http://www.w3.org/2001/01/cgi-irc]=20 > > *PLEASE POST REGRETS* TO [http://www.w3.org/2005/rules/wiki/TeleconRegrets > ]=20 > > Chair: Christian de Sainte Marie=20 > Scribe: Hassan A=EFt-Ka=E7i (alternate: Michael Kifer)=20 > See Scribes Ring [http://www.w3.org/2005/rules/wiki/ScribeRing]=20 > > Please note that RIF WG telecons are for attendance only by Working=20 > Group Participants and guests invited by the chairs.=20 > > 1. ADMIN (5 min)=20 > > - Roll call (please read before telecon the following)=20 > RIF Regrets Policy:=20 > [http://www.w3.org/2005/rules/wg/wiki/RegretsPolicy]=20 > Using Zakim:=20 > [http://www.w3.org/2005/rules/wg/wiki/UsingZakim]=20 > Telecon Etiquette:=20 > [http://www.w3.org/2005/rules/wg/wiki/TeleconEtiquette]=20 > Action/Issues Tracker:=20 > [http://www.w3.org/2005/rules/wg/track/]=20 > > - Agenda amendments=20 > > PROPOSED: accept minutes of telecon April 21 [1]=20 > > PROPOSED: accept minutes of F2F13 [2] > > 2. Liaison (5 min)=20 > > - Review active liaisons:=20 > PRR (OMG) - Paul Vincent=20 > OWL (W3C) - Sandro Hawke=20 > HCLS (W3C IG) - Adrian Paschke=20 > SPARQL (W3C) - Axel Polleres=20 > > 3. Action review (10 mn)=20 > > - Review actions due [3] and pending review [4]=20 > > 4. RIF and RDF lists (30 ln) > > - How to connect RIF and RDF lists, in RIF+RDF combinations [6] > > 5. ToDo before Last Calls=20 > > - Review ToDo list and open issues [5]=20 > > PROPOSED: The negation operator, in PRD, will be called: Not, which will=20 > also be the tag of the corresponding XML element in the concrete syntax. > > 6. AOB=20 > > - Next telecon: 5 May 2009=20 > ------------------------ > > ILOG, an IBM Company > 9 rue de Verdun > 94253 - Gentilly cedex - FRANCE > Tel. +33 1 49 08 35 00 > Fax +33 1 49 08 35 10 > > > Sauf indication contraire ci-dessus:/ Unless stated otherwise above: > Compagnie IBM France > Si=E8ge Social : Tour Descartes, 2, avenue Gambetta, La D=E9fense 5, 92400 = > > Courbevoie > RCS Nanterre 552 118 465 > Forme Sociale : S.A.S. > Capital Social : 609.751.783,30 ? > SIREN/SIRET : 552 118 465 02430 > > > --=_alternative 003BCED6C12575A6_= > Content-Type: text/html; charset="ISO-8859-1" > Content-Transfer-Encoding: quoted-printable > > > <br><tt><font size=3D2>All,</font></tt> > <br> > <br><tt><font size=3D2>I forgot to put the correspondence between RIF and > RDF lists on the agenda, per my action 796.</font></tt> > <br><tt><font size=3D2><br> > Here is the updated agenda:</font></tt> > <br> > <br><tt><font size=3D2>------------------------<br> > </font></tt><font size=3D3> </font> > <br><font size=3D2 face=3D"sans-serif">AGENDA Teleconference <br> > W3C Rules Interchange Format (RIF) Working Group <br> > 28 April 2009 <br> > <br> > 1600 UTC, 0800 (West US) 1100 (East US) 1600 (London) 1700 (Paris) <br> <br> > Duration: *90 min*<b><br> > <br> > *Agenda summary*</b> <br> > 1. Admin (5 mn) <br> > *PROPOSED:* accept minutes of telecon April 21 [1] <br> > *PROPOSED:* accept minutes of F2F13 [2]]<br> > 2. Liaison (5 mn) <br> > 3.Action review [3] [4] (10 mn) </font> > <br><font size=3D2 face=3D"sans-serif">4. RIF and RDF lists [6] (30 mn)<br> > 5. Review WIP to Last Call [5]<br> > *PROPOSED:* The negation operator, in PRD, will be called: Not, which will > also be the tag of the corresponding XML element in the concrete syntax. > <br> > 6. AOB <br> > <br> > [1] </font><a href=3D"http://lists.w3.org/Archives/Public/public-rif-wg/200= > 9Apr/att-0117/rif-meeting-minutes-21-April-2009.html"><font size=3D2 color= > =3Dblue face=3D"sans-serif"><u>http://lists.w3.org/Archives/Public/public-r= > if-wg/2009Apr/att-0117/rif-meeting-minutes-21-April-2009.html</u></font></a= > ><font size=3D2 face=3D"sans-serif"><br> > [2] </font><a href=3D"http://www.w3.org/2005/rules/wg/meeting/2009-04-15"><= > font size=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.org/2005/ru= > les/wg/meeting/2009-04-15</u></font></a><font size=3D3> > </font><font size=3D2 face=3D"sans-serif"><br> > </font><a href=3D"http://www.w3.org/2005/rules/wg/meet= > ing/2009-04-16"><font size=3D2 color=3Dblue face=3D"sans-serif"><u>http://w= > ww.w3.org/2005/rules/wg/meeting/2009-04-16</u></font></a><font size=3D3> > </font><font size=3D2 face=3D"sans-serif"><br> > </font><a href=3D"http://www.w3.org/2005/rules/wg/meet= > ing/2009-04-17"><font size=3D2 color=3Dblue face=3D"sans-serif"><u>http://w= > ww.w3.org/2005/rules/wg/meeting/2009-04-17</u></font></a><font size=3D2 fac= > e=3D"sans-serif"> > <br> > [3] </font><a href=3Dhttp://www.w3.org/2005/rules/wg/track/actions/open><fo= > nt size=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.org/2005/rule= > s/wg/track/actions/open</u></font></a><font size=3D2 face=3D"sans-serif"><b= > r> > [4] </font><a href=3Dhttp://www.w3.org/2005/rules/wg/track/actions/pendingr= > eview><font size=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.org/= > 2005/rules/wg/track/actions/pendingreview</u></font></a><font size=3D2 face= > =3D"sans-serif"> > <br> > [5] </font><a href=3Dhttp://www.w3.org/2005/rules/wiki/LastCallPlan><font s= > ize=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.org/2005/rules/wi= > ki/LastCallPlan</u></font></a> > <br><font size=3D2 face=3D"sans-serif">[6] </font><a href=3D"http://lists.w= > 3.org/Archives/Public/public-rif-wg/2009Apr/0109.html"><font size=3D2 face= > =3D"sans-serif">http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/0= > 109.html</font></a><font size=3D2 face=3D"sans-serif"> > and folloing thread<br> > <br> > ------------------- <b><br> > <br> > *Detailed agenda*</b> <br> > <br> > Bridges: +1.617.761.6200 (US), +33 4 89 06 34 99 (F) or +44.117.370.6152 > <br> > (GB) <br> > Conference code: 74394# ('RIFWG') <br> > IRC Chat: irc:irc.w3.org (port 6665), #rif <br> > Web-based IRC (member-only): [</font><a href=3D"http://www.w3.org/2001/01/c= > gi-irc"><font size=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.or= > g/2001/01/cgi-irc</u></font></a><font size=3D2 face=3D"sans-serif">] > <b><br> > <br> > *PLEASE POST REGRETS*</b> TO [</font><a href=3Dhttp://www.w3.org/2005/rules= > /wiki/TeleconRegrets><font size=3D2 color=3Dblue face=3D"sans-serif"><u>htt= > p://www.w3.org/2005/rules/wiki/TeleconRegrets</u></font></a><font size=3D2 = > face=3D"sans-serif">] > <br> > <br> > Chair: Christian de Sainte Marie <br> > Scribe: Hassan A=EFt-Ka=E7i (alternate: Michael Kifer) <br> > See Scribes Ring [</font><a href=3Dhttp://www.w3.org/2005/rules/wiki/Scribe= > Ring><font size=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.org/2= > 005/rules/wiki/ScribeRing</u></font></a><font size=3D2 face=3D"sans-serif">] > <br> > <br> > Please note that RIF WG telecons are for attendance only by Working <br> > Group Participants and guests invited by the chairs. <br> > <br> > 1. ADMIN (5 min) <br> > <br> > - Roll call (please read before telecon the following) <br> > RIF Regrets Policy: <br> > [</font><a href=3Dhttp://www.w3.org/2005/rules/wg/wiki/RegretsPolicy><font = > size=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.org/2005/rules/w= > g/wiki/RegretsPolicy</u></font></a><font size=3D2 face=3D"sans-serif">] > <br> > Using Zakim: <br> > [</font><a href=3Dhttp://www.w3.org/2005/rules/wg/wiki/UsingZakim><font siz= > e=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.org/2005/rules/wg/w= > iki/UsingZakim</u></font></a><font size=3D2 face=3D"sans-serif">] > <br> > Telecon Etiquette: <br> > [</font><a href=3Dhttp://www.w3.org/2005/rules/wg/wiki/TeleconEtiquette><fo= > nt size=3D2 color=3Dblue face=3D"sans-serif"><u>http://www.w3.org/2005/rule= > s/wg/wiki/TeleconEtiquette</u></font></a><font size=3D2 face=3D"sans-serif"= > >] > <br> > Action/Issues Tracker: <br> > [</font><a href=3Dhttp://www.w3.org/2005/rules/wg/track/><font size=3D2 col= > or=3Dblue face=3D"sans-serif"><u>http://www.w3.org/2005/rules/wg/track/</u>= > </font></a><font size=3D2 face=3D"sans-serif">] > <br> > <br> > - Agenda amendments <br> > <br> > PROPOSED: accept minutes of telecon April 21 [1] </font><font size=3D3><br> > </font><font size=3D2 face=3D"sans-serif"><br> > PROPOSED: accept minutes of F2F13 [2]<br> > <br> > 2. Liaison (5 min) <br> > <br> > - Review active liaisons: <br> > PRR (OMG) - Paul Vincent <br> > OWL (W3C) - Sandro Hawke <br> > HCLS (W3C IG) - Adrian Paschke <br> > SPARQL (W3C) - Axel Polleres <br> > <br> > 3. Action review (10 mn) <br> > <br> > - Review actions due [3] and pending review [4] </font> > <br> > <br><font size=3D2 face=3D"sans-serif">4. RIF and RDF lists (30 ln)</font> > <br> > <br><font size=3D2 face=3D"sans-serif">- How to connect RIF and RDF lists, > in RIF+RDF combinations [6]<br> > <br> > 5. ToDo before Last Calls</font><font size=3D3> <br> > </font><font size=3D2 face=3D"sans-serif"><br> > - Review ToDo list and open issues [5]</font><font size=3D3> <br> > </font><font size=3D2 face=3D"sans-serif"><br> > PROPOSED: The negation operator, in PRD, will be called: Not, which will > also be the tag of the corresponding XML element in the concrete syntax.<br> > <br> > 6. AOB <br> > <br> > - Next telecon: 5 May 2009 </font><tt><font size=3D2><br> > ------------------------</font></tt> > <br><font size=3D2 face=3D"sans-serif"><br> > ILOG, an IBM Company<br> > 9 rue de Verdun<br> > 94253 - Gentilly cedex - FRANCE<br> > Tel. +33 1 49 08 35 00<br> > Fax +33 1 49 08 35 10<br> > <br> > <br> > Sauf indication contraire ci-dessus:/ Unless stated otherwise above:<br> > Compagnie IBM France<br> > Si=E8ge Social : Tour Descartes, 2, avenue Gambetta, La D=E9fense 5, 92400 > Courbevoie<br> > RCS Nanterre 552 118 465<br> > Forme Sociale : S.A.S.<br> > Capital Social : 609.751.783,30 €<br> > SIREN/SIRET : 552 118 465 02430<br> > <br> > </font> > --=_alternative 003BCED6C12575A6_=--
Received on Tuesday, 28 April 2009 11:24:42 UTC