W3C home > Mailing lists > Public > public-rif-wg@w3.org > July 2006

[RIF] Horn rule semantics based on the condition language

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Mon, 24 Jul 2006 16:16:33 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E92DD69C@nrccenexb1.nrc.ca>
To: "RIF WG" <public-rif-wg@w3.org>
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:

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.

Received on Monday, 24 July 2006 20:20:56 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:39 UTC