Thanks all. I have found an extension of Jena <http://sourceforge.net/projects/jnomo/>that supports nonmonotonic reasoning.
Regards. On Sun, Sep 29, 2013 at 9:51 PM, Joshua TAYLOR <[email protected]>wrote: > On Sun, Sep 29, 2013 at 4:32 AM, Nasreddine Cheniki > <[email protected]> wrote: > > I want to use non-monotonic rules with Jena. Is it possible ? > > Didn't you ask this a while earlier, too? Yes, it is possible. The > documentation, Reasoners and rule engines: Jena inference support [1], > doesn't say too much about it, but you can write Builtins that are > non-monotonic. See, e.g., the Javadoc for BaseBuiltin [2]. There's a > wiki page (not from the Jena project, I believe) called Advanced Jena > Rules [3] that talks about using non-monotonic constructions, too. > > [1] http://jena.apache.org/documentation/inference/ > [2] > http://jena.apache.org/documentation/javadoc/jena/com/hp/hpl/jena/reasoner/rulesys/builtins/BaseBuiltin.html > [3] > http://hydrogen.informatik.tu-cottbus.de/wiki/index.php/Advanced_Jena_Rules > > > -- > Joshua Taylor, http://www.cs.rpi.edu/~tayloj/ >
