Existential rules and negation

Dear all,

Some time ago we discussed the problems which can arise when we combine existential rules with negation as failure (see also here: https://github.com/w3c/N3/issues/96 and https://github.com/josd/eye/issues/25#issuecomment-985040093) and I promised to share a paper, so here is the link: https://arxiv.org/pdf/2112.07376.pdf


The paper explains us, that the common chase strategies for existential rules are oder dependent when combined with negation as failure. Since N3 has both, existential rules (rules with blanks in the consequence) and  (scoped) negation as failure (directly, but also through built-in predicates like for example log:notEqualTo), this result is also relevant for us.

Kind regards,
Dörthe