ODRL 的命中语义与基于知识的约束冲突检测
摘要
ODRL 的六个集合运算符 -- isA、isPartOf、hasPart、isAnyOf、isAllOf、isNoneOf -- 依赖于外部域知识，而 W3C 规范未对其进行规定。缺乏此知识时，跨数据空间的策略比较默认为 Unknown。我们提出一种命中语义，将每个 ODRL 约束映射到满足其约束的知识库概念集合。冲突检测简化为命中语义的交集运算，采用三值判断 -- Conflict、Compatible 或 Unknown --，在知识不完整的情况下保持判定的可靠性。该框架覆盖所有三种 ODRL 组合模式（and、or、xone），以及实践中出现的三种语义领域：分类（类归谱）、泛函（部分-整体包含）和名词（同一性）。对于跨数据空间的互操作性，我们定义了知识库之间的顺序保持对齐，并证明了两个保证：冲突在不同知识库标准之间被保留，未映射概念优雅地退化为 Unknown，而不会导致错误的冲突。运行时可靠性定理确保设计时判断在所有执行上下文中都成立。该编码保持在第一阶逻辑的可判定 EPR 片段内。我们用 154 个基准测试进行了验证，涵盖六个知识库族（GeoNames、ISO 3166、W3C DPV、一个源自 GDPR 的分类法、BCP 47 和 ISO 639-3）以及四个针对对抗边缘情况的结构知识库。Vampire 定理证明器和 Z3 SMT 求解器在所有 154 个判断上保持一致。一个关键发现是，排他组合（xone）需要严格强于联合或析取的知识库公理：在开放世界语义下，即使正面证据看起来只满足一个分支，也会阻止排他性。
引用
@article{arxiv.2602.19883,
title = {Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection},
author = {Daham Mustafa and Diego Collarana and Yixin Peng and Rafiqul Haque and Christoph Lange-Bever and Christoph Quix and Stephan Decker},
journal= {arXiv preprint arXiv:2602.19883},
year = {2026}
}
备注
17 pages, 6 tables. Working draft. Supplementary material (154 TPTP/SMT-LIB benchmarks, Isabelle/HOL theory file) will be made available at https://github.com/Daham-Mustaf/odrl-benchmark upon publication