Stratified Negation in RDF Rules: A Correct Approach

Nils KüchenmeisterNils Küchenmeister, Alex IvlievAlex Ivliev, Dörthe ArndtDörthe Arndt, Markus KrötzschMarkus Krötzsch

Download

Nils Küchenmeister, Alex Ivliev, Dörthe Arndt, Markus Krötzsch
Stratified Negation in RDF Rules: A Correct Approach
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), to appear. Springer

Details
Bibtex

KurzfassungAbstract
Combining RDF rule languages, such as N3 or SHACL Rules, with default negation is challenging. Existing methods to stratify negation often fail for RDF rules, since individual triples do not carry enough information to meaningfully restrict potential dependencies. Blank nodes in rule heads further complicate the matter, since the order of rule applications may determine whether new values are created, which in turn can change the applicability of rules with negation. To solve these open problems, we propose chain stratification as a robust new condition that guarantees a well-behaved semantics for RDF rules with negation, and existential rules in general. Our condition combines an elaborate analysis of potential multistep derivations with a mechanism for using integrity constraints to discard impossible cases. Applying rules in any order that respects chain stratification is guaranteed to derive an RDF graph that is unique, lean, and justified under the usual negation-as-failure semantics. To show the practicality, we also provide a prototype implementation.
Weitere Informationen unter:Further Information: Link
Projekt:Project: CPEC, CeTI, SECAI, ScaDS.AI
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer.

@inproceedings{KIAK2026,
  author    = {Nils K{\"{u}}chenmeister and Alex Ivliev and D{\"{o}}rthe Arndt
               and Markus Kr{\"{o}}tzsch},
  title     = {Stratified Negation in {RDF} Rules: A Correct Approach},
  editor    = {Manolis Koubarakis and Maria-Esther Vidal and Axel Polleres and
               Marieke van Erp and Ernesto Jimenez Ruiz and Oshani Seneviratne
               and Lora Aroyo and Gianluca Demartini and Reham Alharbi and
               Roberto Barile and Claudia {d'Amato} and Valentina Tamma},
  booktitle = {Proceedings of the 25th International Semantic Web Conference
               (ISWC 2026)},
  publisher = {Springer},
  year      = {2026}
}