Clément Sipieter [6π]

Hi Alan, yes, I think I can do that. We already have a method to preprocess equality in ConjunctiveQuery (in EqualityUtils.java), so it's quite easy to rewrite rule to erase...

Hi Alan, Sorry for not replying sooner. My previous example are not correct to explain the problem because we can deduce that ```? :- s(X)``` is true. Indeed, in a...

Hi csavelief, not yet but an extension had been developed for stratified negation. it is accessible here: https://github.com/arthur-boixel/graal-stratified-negation Does that meet your needs?

I just tried, the set of rules and the set of facts must be in two separate files. ```java -jar graal-stratified-negation.jar -f rules.dlp -c facts.dlp``` Here the output of your...

The tool seems to correctly compute the rule set stratification but does not apply the rules correctly… You can look at ASP tools (Answer Set Programming) for tools that manage...

We are interested by any use cases of Graal, can you tell us more about yours? Do you use forward or backward chaining? Do you use the rule set analyzer...

Hi, indeed "full" negation (ASP) increases the queries complexity however stratified one does not. If you want to manage "full" negation, you have to reason with multiple possible worlds but...

Hi, do you use the last version 1.3.1 ? There is such a bug in the 1.3.0. Clément

I think not, just more time…

Hi Harold, Can you send me the initial data ? Thanks