W3C home > Mailing lists > Public > public-rif-comments@w3.org > August 2010

Semantics of RIF-PRD

From: Jie Bao <baojie@gmail.com>
Date: Sun, 8 Aug 2010 20:07:42 -0400
Message-ID: <AANLkTim2kSkT7oS54MrYr--oMSiRszxu3n43=kXstzFx@mail.gmail.com>
To: Semantic Web at W3C <semantic-web@w3.org>
Cc: public-rif-comments@w3.org
Dear RIFers

There is a paper [FIT02] listed in the PRD spec but not explicitly
cited (an editorial mistake?). Is it the basis upon which the PRD
operational semantics is designed? If the PRD is syntactically
restricted to RIF-Core with negations (thus, no retraction or
modification actions), will the operational semantics match the
fixpoint semantics?

[FIT02] Fixpoint Semantics for Logic Programming: A Survey, Melvin
Fitting, Theoretical Computer Science. Vol. 278, no. 1-2, pp. 25-51. 6
May 2002.

Thanks in advance!

Jie

-----
Jie Bao
Tetherless World Constellation
Rensselaer Polytechnic Institute
baojie@cs.rpi.edu
http://www.cs.rpi.edu/~baojie
Received on Monday, 9 August 2010 00:08:46 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 August 2010 00:08:46 GMT