SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
在本体存在的情况下SHACL验证的语义与重写技术
AI总结 本文提出了一种基于核心普遍模型的SHACL验证语义，利用描述逻辑Horn-ALCHIQ构建本体模型，并通过重写技术将本体存在下的SHACL验证转化为标准验证，证明其复杂性为EXPTIME完全问题。
Comments Published in AIJ
Journal ref Volume 352, 2026, 104483
