OWL2配置文件支持OWL变体？
OWL2配置文件支持OWL变体？
提问于 2013-11-27 14:36:51
这也许是个愚蠢的问题，但它已经困扰了我一段时间了。我知道OWL有三个变体(Full、Lite和DL)，更新的OWL2有三个配置文件(EL、QL和RL)。
现在我的问题是：-如果语义推理者支持OWL2，这是否意味着它也支持OWL完全？-如果推理者支持OWL2 EL，那么它支持OWL DL还是仅仅关注OWL2 EL配置文件的推理者？-继续上述问题，如果它支持OWL2 EL，这样的推理器可以用来推理正常的本体论吗？
在你的时间里
回答 1
Stack Overflow用户
回答已采纳
发布于 2013-11-27 21:45:43
没有推理者支持OWL2Full或OWL，因为它们是不可判定的--也就是说，没有任何推理器能够在这些语言上完成。OWL和OWL 2概要文件重叠到了一个点，但并不完全匹配-OWL2DL包含了比OWL更多的构造，并且有一些特性，比如在OWL中根本没有定义键。
支持OWL2EL的推理者可以在任何表现能力的本体论上使用，但它不会返回仅在OWL2DL中有效的推理--这意味着您仍将得到正确的答案，但它们将是不完整的wrt --您将从OWL2DL能力推理器获得的答案。支持表达式较少的概要文件的推理者可能比支持更有表现力的概要文件的推理者更快，因为推理的最坏情况复杂度较低--即对于OWL2EL，有多项式算法来计算推理。对于OWL2DL则不是这样。这并不意味着任何OWL2DL本体将比任何OWL2EL本体花费更多的时间进行推理，只意味着更简单的本体在其需求方面是更可预测的。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/20245247
复制相关文章
相似问题
腾讯云开发者
