OWL2 配置文件是否支持 OWL 变体？答案

【问题标题】：OWL2 profiles support OWL variants?OWL2 配置文件是否支持 OWL 变体？
【发布时间】：2013-11-27 14:36:51
【问题描述】：

这可能是一个愚蠢的问题，但它一直困扰着我很长一段时间。我知道 OWL 具有三种变体（Full、Lite 和 DL），而较新的 OWL2 具有三种配置文件（EL、QL 和 RL）。

现在我的问题： - 如果语义推理器支持 OWL2，是否意味着它也支持 OWL Full？ - 如果推理器支持 OWL2 EL，那么它是否支持 OWL DL，或者它只是一个仅关注 OWL2 EL 配置文件的推理器？ - 继续上面的问题，如果它支持OWL2 EL，那么这样的推理器可以用于对正常本体进行推理吗？

谢谢你的时间

【问题讨论】：

这可能是answers.semanticweb.com 的更多主题。对于 Stack Overflow 而言，它可能过于宽泛，因为当不同的推理者说他们支持不同的配置文件时，他们的意思可能意味着不同的东西。一个支持 OWL DL 的推理器显然会使用作为 OWL DL 子集的东西，但这并不意味着它一定会实现专门针对 OWL DL 子集的更有效的算法。

标签： owl

【解决方案1】：

没有支持 OWL 2 Full 或 OWL Full 的推理器，因为它们是不可判定的 - 即，在这些语言上没有一个推理器是完整的。 OWL 和 OWL 2 配置文件重叠到一个点，但不完全匹配 - OWL 2 DL 包含比 OWL DL 更多的构造，并且有一些功能，如键，在 OWL 中根本没有定义。

支持 OWL 2 EL 的推理器可用于任何表达性的本体，但它不会返回仅在 OWL 2 DL 中有效的推理 - 这意味着您仍然会得到正确的答案，但它们将是不完整的wrt 你会从一个支持 OWL 2 DL 的推理器那里得到答案。支持表达性较差的配置文件的推理器可能比支持表达性更强的配置文件的推理器更快，因为推理的底层最坏情况复杂度较低 - 即，对于 OWL 2 EL，有多项式算法来计算推理。对于 OWL 2 DL，情况并非如此。这并不意味着任何 OWL 2 DL 本体比任何 OWL 2 EL 本体都需要更多时间来推理，只是更简单的本体在其要求方面更可预测。

【讨论】：