存在本体论中的 SHACL 验证：语义与重写技术
计算机科学中的逻辑
2026-01-21 v2 人工智能
摘要
SHACL 和 OWL 是两个流行的 W3C 标准，用于管理 RDF 数据。这两种语言共享许多特征，但存在一个根本区别：OWL 旨在从不完整数据中推断事实，遵循开放世界假设，而 SHACL 是一种约束语言，将数据视为完整并必须在封闭世界假设下进行验证。两种形式的组合非常有前景，但其语义差距在语义和计算方面都是主要挑战。本文提出了一种基于核心普遍模型的 SHACL 验证语义。我们提供了一种用于构造 Horn-ALCHIQ 描述逻辑本体上这些模型的技术。进而，我们使用该模型的有限表示开发了一种将本体中的 SHACL 验证归约为标准验证的重写技术。最后，我们研究了本体中的 SHACL 验证的复杂性，表明即使是非常简单的本体也使问题变为 EXPTIME 完整，而在数据复杂度下为 PTIME 完整。
引用
@article{arxiv.2507.12286,
title = {SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques},
author = {Anouk Oudshoorn and Magdalena Ortiz and Mantas Simkus},
journal= {arXiv preprint arXiv:2507.12286},
year = {2026}
}
备注
Published in AIJ