AW: [Admin] Agenda for RIF telecon 28 April *ADDENDUM*

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>
> &nbsp; &nbsp; &nbsp; </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>
> &nbsp; &nbsp; &nbsp; </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 &#8364;<br>
> SIREN/SIRET : 552 118 465 02430<br>
> <br>
> </font>
> --=_alternative 003BCED6C12575A6_=--

Received on Tuesday, 28 April 2009 11:24:42 UTC