Response to RG2

From RIF
Revision as of 14:56, 25 August 2009 by ChrisWelty (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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 ...