You are viewing a plain text version of this content. The canonical link for it is here.

Posted to users@jena.apache.org by Gray Mail <lb...@gmail.com> on 2013/07/03 16:51:42 UTC

Modal logic reasoning

Hi everyone,

Is the general purpose rule engine suitable to infer rules using modal
logic ?

Thanks,
LB

Re: Modal logic reasoning

Posted by Dave Reynolds <da...@gmail.com>.

On 03/07/13 15:51, Gray Mail wrote:
> Hi everyone,
>
> Is the general purpose rule engine suitable to infer rules using modal
> logic ?

The rules engine is a pretty basic datalog style rules engine, with no 
particular support for things like modal logic. So probably not a good fit.

Dave