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/
