Re: Support of disjunctive rule heads

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

Rolf,

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.

-The RIF WG

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