- From: Sandro Hawke <sandro@w3.org>
- Date: Tue, 28 Apr 2009 07:00:29 -0400
- To: Christian De Sainte Marie <csma@fr.ibm.com>
- cc: public-rif-wg@w3.org
> *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:00:39 UTC