[RIF] Completed Action 94: http://www.w3.org/2005/rules/wg/track/actions/94

Dear all,

As promised (a while ago, sorry for the delay), I drafted a page to 
clarify the different notions of "negation" at

http://www.w3.org/2005/rules/wg/wiki/negation

Thanks to Gerd, Michael, Jos who gave some comments to earlier versions,
admittedly, especially the part on non-monotonic negation might still 
need more work. The main focus in this first version was to clarify the 
differences classical-intuitionistic-strong negation.

comments welcome!

Axel

-- 
Dr. Axel Polleres
email: axel@polleres.net  url: http://www.polleres.net/