- From: Jie Bao <baojie@gmail.com>
- Date: Sun, 8 Aug 2010 20:07:42 -0400
- 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 UTC