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

Re: Support of disjunctive rule heads

From: Chris Welty <cawelty@gmail.com>
Date: Fri, 28 Aug 2009 09:42:32 -0400
Message-ID: <4A97DEC8.5020506@gmail.com>
To: Rolf Gruetter <rolf.gruetter@wsl.ch>
CC: public-rif-comments@w3.org

Thanks for the feedback.

While the RIF WG has no specific plans to create new dialects, we do seek 
"implementations" of FLD in the form of new dialect definitions that use it. A 
dialect that supports disjucntion in rule conclusions should be quite easy to 
define with FLD.


Rolf Gruetter wrote:
 > Dear RIF WG,
 > At WSL, we have recently been doing tests with SWRL/OWL DL for combined
 > rule-based/terminological reasoning. Thereby, a limitation was the
 > missing support of disjunctive rule heads in (a decidable fragment of)
 > SWRL. As far as I understand, RIF-FLD will overcome this shortcoming
 > (thanks to the FAQ section if I understand well!). RIF's OWL
 > compatibility is important to us as well. Anyway, I am looking forward
 > to the first RIF implementations ...
Received on Friday, 28 August 2009 13:43:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:06:59 UTC