Support of disjunctive rule heads

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

Rolf

---

Rolf Grütter, DVM, MBA
Swiss Federal Research Institute WSL
An Institute of the ETH Domain
Land Resource Assessment
Geographic Information Science
Zürcherstrasse 111
CH-8903 Birmensdorf
Switzerland

Phone: +41 (0)44 739 25 09
E-mail: rolf.gruetter@wsl.ch

Received on Tuesday, 18 August 2009 11:24:54 UTC