arXiv AI By Nils K\"uchenmeister, Alex Ivliev, D\"orthe Arndt, Markus Kr\"otzsch

Stratified Negation in RDF Rules: A Correct Approach (Extended Version)

Read the original on arXiv AI →

arXiv:2607. 28778v1 Announce Type: cross Abstract: Combining RDF rule languages, such as N3 or SHACL Rules, with default negation is challenging.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
Jul 24

Hybrid MKNF with Classical Negation in the Rule Component

arXiv:2607. 21202v1 Announce Type: cross Abstract: Hybrid MKNF knowledge bases under the well-founded semantics integrate Description Logics with Logic Programming.

By Arun Raveendran Nair Sheela (Universit\'e Clermont Auvergne, LIMOS Laboratory, Thales), Christophe Rey (Universit\'e Clermont Auvergne, LIMOS, CNRS, France), Florence De Grancey (Thales)