OWL2配置文件支持OWL变种？

这可能是一个愚蠢的问题，但它一直困扰着我。我知道OWL有三种变体（Full，Lite和DL），而新版的OWL2有三种变体（EL，QL和RL）。OWL2配置文件支持OWL变种？

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

THX您的时间

来源

2013-11-27 Tom

这可能是更多关于主题http://answers.semanticweb.com。 Stack Overflow可能太广泛了，因为当他们说支持不同的配置文件时，不同的reasoners意味着什么可能意味着不同的事情。一个支持OWL DL的推理器显然会使用OWL DL子集的功能，但这并不意味着它必须实现专门针对OWL DL子集的更高效的算法。 –

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

支持OWL 2 EL的推理器可用于任何表达性的本体，但它不会返回仅在OWL 2 DL内有效的推理 - 这意味着您仍然可以得到正确的答案，但它们会不完整的关于你从OWL 2 DL能力推理者那里得到的答案。由于推理的潜在最坏情况复杂度较低，即对于OWL 2 EL，存在用于计算推断的多项式算法，所以支持较不表达的简档的reasoners可能比支持更具表达性的简档更快。对于OWL 2 DL来说这不是真的。这并不意味着任何OWL 2 DL本体将比任何OWL 2 EL本体需要更多时间来推理，只是简单的本体在其需求方面更具可预测性。

来源

2013-11-27 21:45:43 Ignazio

OWL2配置文件支持OWL变种？

回答

相关问题