我一直在寻找为什么OWL Full无法确定的原因,但是我还没有找到一个易于理解的示例来使我理解它。
我发现有陈述解释这是由于“封闭性”引起的,并且还与OWL Full可以同时具有作为属性的类和也作为个人的类这一事实有关。
但是我不理解这些陈述之间的关系。
semantic-web owl description-logic decidable
decidable ×1
description-logic ×1
owl ×1
semantic-web ×1