咨询OWL类公理重复变量限制的权威参考资料

• OWL 2 Web Ontology Language Direct Semantics（W3C推荐标准）
  作为OWL的核心官方规范，它明确了OWL的语义约束。其中类表达式的语法限制部分会说明：OWL是一阶逻辑的可判定子集，允许重复变量的类公理（比如理发师悖论中的类定义）会引入不可判定性，因此被纳入禁止范畴。

• OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax（W3C推荐标准）
  这份文档聚焦OWL的语法结构，详细规定了各类公理的合法形式，直接明确类公理中的变量必须唯一，不允许重复绑定，对应你提到的限制规则。

• 《OWL 2 Web Ontology Language Guide: A Guide to OWL 2》（W3C官方指南）
  官方推出的入门进阶指南，会结合类似理发师悖论的场景，以实例化方式解释这类构造被禁止的原因，以及对本体推理的实际影响。

• 《Foundations of Semantic Web Technologies》（语义网技术基础）
  经典专业教材，从描述逻辑的底层逻辑出发，分析OWL作为描述逻辑扩展子集的特性，解释为保证推理的可判定性，描述逻辑（进而OWL）不支持类表达式中的重复变量构造，书中包含详细的逻辑推导和理论说明。

内容的提问来源于stack exchange，提问作者Boris