9

我在许多本体上使用了颗粒推理器，并在 IRI 列表（在本例中为 URL）上运行了 info 方法。我感兴趣的两个指标是 DL Expressivity 和 OWL Profile。

我得到的 OWL 配置文件范围包括“OWL 2”、“OWL 2 DL”、“OWL 2 EL”、“OWL 2 QL”、“OWL 2 RL”。什么时候说“OWL 2”，这是否意味着本体已满 OWL 2？所有其他变体都是 DL 吗？我找到了描述不同配置文件的规范（尤其是表 10）[作为新用户，我不能发布多个超链接；认为即将到来的一个比两个更重要]，但到目前为止，我还无法为自己回答这个问题。

至于“DL Expressivity”，顾名思义就是所有的Expressivity代码（如ALCH、ALCH(D)）都是DL。我发现了这个高度学术目录，可以说，代码及其复杂性方面的技术含义，但我需要知道如何通过观察表达性来判断，至少一般来说，本体是 DL 还是 Full。任何解释这些事情的帮助或链接将不胜感激。

如果有帮助，我还应该为我正在尝试使用这些东西做些什么提供一些背景信息。我只是从“pellet info”数据中构建一个表，其中包含本体 ID 号（来自 url 列表）、每个的表达性和 OWL 配置文件，并且还说明了该本体是完整的、DL 还是 Lite。

4

2 回答 2

19

如果告诉您（Pellet？）一个本体是“OWL2”，而它可以以其他方式说明诸如 EL、QL 或 RL 之类的配置文件之一，那么它所报告的本体可能包括位于每个的表达性之外的构造的配置文件，但在其他情况下包含在 OWL2 规范中。

据我了解，每个配置文件都基于针对不同目的的不同描述逻辑 (DL)：

  • OWL2 (DL)基于描述逻辑SROIQ，面向在语言中具有高度表达性的本体。在这种语言中，推理任务可能相对昂贵。
  • OWL2-EL基于EL++，面向 TBox 中的可扩展推理（即，用于大多数推理任务的多项式时间推理，例如分类）。
  • OWL2-QL基于DL-Lite，它面向 ABox 中的可扩展查询回答（在处理大量实例数据和相对简单的 TBox 时）。
  • OWL2-RL基于描述逻辑程序 (DLP)，它的表达能力是 OWL2 DL（可以使用逻辑程序处理的片段）的子集。

据我所知，您链接到的目录是最新的，但是如果您不熟悉逻辑并且可以识别每种语言所涵盖的结构，则有点难以使用。W3C OWL2 配置文件页面总结了每个配置文件在 OWL 语法中的语言表达能力。您可以参考这个来确定每个 OWL2 语言配置文件的相交表达性，而不必解释它们的语义（就 DL 而言，除非您对描述逻辑感到满意，否则很难掌握，并且在 OWL2 的情况下-RL，描述逻辑程序）。

最后，请注意 Full、DL 和 Lite 的 OWL1“配置文件”分别对应于其他描述逻辑：

  • OWL1 DL对应于描述逻辑SHOIN。
  • OWL1 Lite对应描述逻辑SHIF。
  • OWL1 Full对应于至少超集 SHOIN 的不可判定逻辑（不过，我不太确定这到底是什么！:-)
于 2010-09-10T09:52:03.260 回答
2

Full、DL 和 Lite 是 OWL 的三种变体（风格），每一种都构成了表达性和计算复杂性之间的不同折衷。OWL Full 提供了最大的表现力和句法自由度，但没有计算保证。OWL Full 的语义是 RDFS 和 OWL DL（基于 RDF 的语义）的混合。OWL DL 是 OWL Full 的受限版本。OWL DL 提供了非常高的表达性、计算完整性（所有结论都保证是可计算的）和可判定性（所有计算都可以在有限时间内完成）。虽然 OWL DL 包含所有 OWL 语言构造函数，但它们只能在某些限制下使用。例如，OWL DL 编号限制可能不会分配给传递属性。OWL Lite 是 OWL DL 的子集，旨在轻松实现。OWL Lite 的适用性有限，因为它只适用于分类层次和简单的约束。OWL 和 OWL 2 都提供这三种口味。

EL、QL、RL是三种OWL Profile，每一种都在表达能力和推理复杂度之间提供了不同的平衡，从而为不同的实现场景提供了更多的选择。EL 配置文件旨在处理具有大量属性和/或类的本体，QL 配置文件针对具有非常大的实例数据量和查询回答优先级的应用程序，而 RL 配置文件旨在用于需要的应用程序具有相对高表达性的可扩展推理。

DL 表达性是指在 OWL 的逻辑基础中可用的一组数学构造函数，即与您正在谈论的 OWL 风格/配置文件或本体相对应的描述逻辑 (DL)。

非常简单地说，ALC 描述逻辑支持原子和复杂概念否定、概念交叉、普遍限制和有限存在量化。通过将 ALC 和传递性角色（即 S）扩展为角色层次结构（H）、反向角色（I）、功能属性（F）和数据类型（D），我们得到了 SHIF(D) 描述逻辑，大致对应于猫头鹰精简版。通过将名义（O）和基数限制（N）添加到SHIF（D），我们得到SHOIN（D），即OWL DL的描述逻辑。用复杂的角色包含公理、反身和反反身角色、不对称角色、不相交角色、通用角色、自我构造、否定角色断言和限定数量限制扩展 SHOIN(D)，得到非常富有表现力但可判定的 SROIQ(D) 描述逻辑，这在很大程度上对应于 OWL 2 DL。

虽然 OWL Full 和 OWL DL 支持同一组构造函数，但是 OWL Full 对这些构造函数的使用没有限制（例如，对传递属性的使用没有限制），这使得 OWL Full 是不可判定的，而 OWL DL 是可判定的。

于 2017-11-03T05:25:24.140 回答