描述逻辑程序是一种强大的形式主义，用于将规则与本体结合。现有的描述逻辑程序的强支持语义确保没有答案集依赖于循环依赖关系。大多数流行的逻辑编程语义都具有这种强支持性。
我们认识到当前描述逻辑程序强支持语义的两个局限性：在一致性问题上的计算复杂性增加，以及缺乏还原变换的特征。
在这项工作中，我们提出了一种新的语义，该语义比当前的语义更严格地评估本体原子。这保持了其一致性问题的复杂性为 NP-完全，而不是将其提高到多项式层次的第二层。
此外，我们识别出一种描述逻辑程序的句法类，在该类中，我们的新语义与当前语义等价。我们使用不动点算子和基于还原的变换来表征我们的语义。
我们新的语义是当前强支持语义的严格子集，因此它保持了先前的强支持性概念，同时引入了自己的更严格概念。由于与逻辑编程的相似性，我们更倾向于使用这种新的强支持性概念。
博主点评： 本文提出的新语义通过严格评估本体原子，确保一致性问题的复杂度维持在 NP-完全，展现了描述逻辑程序在逻辑编程领域的进一步发展。新的强支持性概念与现有语义的兼容性为未来研究提供了更广阔的视角。