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.

Summary generated by The Flow from the publisher's feed. 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)
arXiv AI
Jun 16

VeriGraph: Towards Verifiable Data-Analytic Agents

arXiv:2606. 16603v1 Announce Type: cross Abstract: LLM-based agents have demonstrated strong capabilities in data-intensive analytical tasks, yet their outputs are rarely verifiable: a reliance on linear text trajectories makes their reasoning difficult to audit.

By Jiajie Jin, Zhao Yang, Wenle Liao, Yuyang Hu, Guanting Dong, Xiaoxi Li, Yutao Zhu, Zhicheng Dou