3

我一直在 Protege 中研究本体。

我从一个在 Protege 中被归类为“DL 表现力：SROIF(D) ”的高表现力开始。
如果我是正确的，这些字母表示 - 按顺序 - 使用：传递性、角色链、名词性、InverseOf、功能性，而 D 代表数据类型。不幸的是，这种表达性应该是 NExpTime 完整的，我需要一些东西计算量较小。

因此，我尝试重新构造我的本体，以保持在 OWL2 EL 配置文件中（应该存在 PTime 决策程序）。现在我有了“DL 表达性：SRO(D) ”，因为我正在使用传递性、角色链（没有递归定义）和标称，但没有反向或功能对象属性。

我的问题是：

它真的是 OWL2 EL Profile 中的 DL Expressivity SRO(D) 吗？

我不清楚 Protege 中给出的表达能力与 OWL2 建议之间的对应关系。此外，它似乎与我在这里得到的信息相冲突：http ://www.cs.man.ac.uk/~ezolin/dl/ 。

根据 OWL2 EL Profile，在 SubObjectPropertyOf 语句中应该允许角色链。而且我正在使用 a o b -> c 形式的简单角色链（没有 a o b -> b 或 a o b -> a 形式）。但根据常识，应该避免角色链。

我广泛阅读了关于 OWL、OWL2、描述逻辑、推理器以及推理器的一些基准和评估等内容，但我找不到任何明确解开这方面的“最终”资源。

第二个问题：

OWL2 EL Profile 是否还有任何其他“变体”（例如，可以使用的运算符组合略有不同）仍然是 PTime？我在哪里可以找到这些研究？

4

1 回答 1

1

SRO(D) 是否属于 OWL 2 EL 配置文件？

不会。OWL 2 EL 基于 EL++，不包括以下内容

  • 完全否定
  • 普遍量化
  • 析取

SRO(D) 扩展了 ALC，由于 ALC 包含上述所有内容，因此 SRO(D) 将不在 OWL 2 EL 范围内。

OWL 2 EL 的 PTime 变体？

EL 有各种扩展，其中的推理是 PTime。有关 EL++ 的论文，请参阅EL++和EL++ 更新。要查看 EL 变体，请参见例如EL 易处理的扩展。

于 2018-08-09T16:55:33.150 回答