arXiv:2608. 14104v1 Announce Type: cross Abstract: The Shapes Constraint Language (SHACL) is a W3C recommendation to express syntactic constraints, called shapes, on RDF graphs.
By Anouk Oudshoorn, Piotr Gorczyca, D\"orthe Arndt
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:2606. 14309v1 Announce Type: cross Abstract: Property graphs may be constrained by schemas that inform both query engines and human users about the shape of valid data, enforcing a contract between data provider and consumer.
By Philipp Seifer, Daniel Hern\'andez, Ralf L\"ammel, Steffen Staab
arXiv:2607. 24551v1 Announce Type: new Abstract: Maintenance regulations are complex legal texts that are difficult to exploit when addressing a specific case and challenging to integrate into operational systems.
By G{\'e}nesis Montenegro (WIMMICS), Mokhtar Boumedyen Billami (WIMMICS), Catherine Faron (WIMMICS), Fabien Gandon (WIMMICS), Pierre Monnin (WIMMICS)
arXiv:2608. 06399v1 Announce Type: cross Abstract: Datalog rules are often used to define ontologies over Knowledge Graphs.
By Alex Ivliev, Markus Kr\"otzsch, Maximilian Marx
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