- From: Axel Polleres <droxel@gmail.com>
- Date: Tue, 25 Aug 2015 10:06:32 +0100
- To: Ruben Verborgh <ruben.verborgh@ugent.be>
- Cc: semantic-web <semantic-web@w3.org>, Dörthe Arndt <dorthe.arndt@ugent.be>
Dear Ruben, AFAIR, there was a reasoner developed in DERI Innsbruck back at that time, that supported WRL. It was called MINS and was based on SILRI, there is still a Webpage: http://tools.sti-innsbruck.at/mins/ but I think it is no longer developed further. In principle, as the idea of WRL was based on the well-founded semantics for Logic programs, any solver that supports that would be a potential WRL reasoner. AFAIK, e.g. XSB supports well-founded semantics, so does Flora-2, which is based on XSB. HTH, Axel > On 25 Aug 2015, at 09:32, Ruben Verborgh <ruben.verborgh@ugent.be> wrote: > > Dear all, > > Are there reasoners that support the Web Rule Language (WRL)? > > I haven't been able to find any, > but given the existence of a member submission (http://www.w3.org/Submission/WRL/), > I assume there must at least exist prototypes somewhere. > > Could anybody point me in the right direction? > > Thanks, > > Ruben
Received on Tuesday, 25 August 2015 09:07:06 UTC