OWL2配置文件支持OWL变体？

Question

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

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

你的时间

Answer 1

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

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