- From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
- Date: Mon, 24 Jul 2006 16:16:33 -0400
- To: "RIF WG" <public-rif-wg@w3.org>
Received on Monday, 24 July 2006 20:20:56 UTC
Hi RIF Colleagues, this is in response to my action item about Horn rule semantics based on the condition language, and useful for its extension to the Horn rule language: http://www.w3.org/2005/rules/wg/wiki/B._Extension%3A_RIF_Horn_Rule_Language Michael, Jeff, and I have almost finished work on this topic, and Michael plans to respond to his action item about this soon. Basically, we have specialized the notions of satisfaction of conditions to the existential-conjunctive bodies of Horn rules, introduced a compatible semantics for Horn rule heads, and then combined these for the semantics of Horn rules. Best, Harold
Received on Monday, 24 July 2006 20:20:56 UTC