在 OWL 2 的规范中，key axioms 部分指出：
关键公理的语义是特定的，因为这些公理仅适用于通过名称明确引入本体的个体，而不适用于未命名的个体（即存在量化暗示其存在的个体）。这使得关键公理等效于 DL 安全规则的变体。因此，关键公理通常不会影响基于类的推理，例如包含层次结构的计算，但它们会在回答有关个人的查询方面发挥作用。
然后它继续展示一组公理的示例，这些公理显然需要一个结论，但由于该规则，规范无法识别。
这个决定背后的原因是什么？
【问题讨论】：
标签： owl semantic-web description-logic
在第二节中给出了解释。 3.1.4 在OWL 2: The Next Step for OWL:
但是，使用键扩展基于 DL 的语言（例如 OWL 2） 理论和实际问题[23]。因此，工作 集团已决定包括一个更受限制的密钥变体， 在实践中可能有用并且相对容易实施， 通常称为简易键。
因此他们使用了一种受限形式的键，称为简易键，它有一些限制，但不会增加最坏情况下的推理复杂性：
因此，简易键的主要缺点是它们只能产生 关于显式数据的后果，因此主要与 查询回答，而键 [23] 的一般变体也可以 影响类之间的包容层次。的主要好处 简单的关键是，将它们添加到 OWL 2 不会增加最坏情况 推理的复杂性，以及在现有的 reasoners 相对简单。
【讨论】：
简而言之，获得有利的计算复杂度。
虽然表达能力强，但 OWL 2 不能表达任意规则。例如，具有两个变量的规则头不能表示为子类公理，或者包含类表达式的规则体不能用子属性公理来描述。为了扩展 OWL 2 的表达能力，可以使用 SWRL 规则；但是，这些可能会使本体无法确定。将 SWRL 规则限制为已知个体，以便每个变量都出现在规则主体中的非 DL 原子中，即采用 DL 安全规则，产生了一种非常有表现力但可判定的形式。
【讨论】：