W3C home > Mailing lists > Public > semantic-web@w3.org > August 2015

Re: Which reasoners support WRL?

From: Axel Polleres <droxel@gmail.com>
Date: Tue, 25 Aug 2015 10:06:32 +0100
Cc: semantic-web <semantic-web@w3.org>, Dörthe Arndt <dorthe.arndt@ugent.be>
Message-Id: <893D8DAE-8297-454F-A5B9-F9923EA950CE@gmail.com>
To: Ruben Verborgh <ruben.verborgh@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.


> 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

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:43:02 UTC