DL表达率与蛋白质对OWL 2剖面的比较

Question

我一直在做一个本体的研究。

我以一种被归类为"DL表现力：SROIF(D)“的高表现力开始。

如果我是对的，字母表示-in顺序--使用:传递性、角色链、名词、InverseOf、函数式，D代表数据Types.Unfortunately，这种表现力应该是NExpTime-完全的，我需要一些不那么繁重的计算。

因此，我试图重新构造我的本体，目的是保持在OWL2 EL配置文件中( PTime决策过程应该存在)。现在我有了"DL表示性：SRO(D)“，因为我使用的是传递性、角色链(没有递归定义)和法线，但没有逆或函数对象属性。

我的问题是：

真的是OWL2 EL配置文件中的DL表达率SRO(D)吗？

在我看来，在Protege中给出的表现力和OWL2建议之间的对应是不清楚的。而且，它似乎与我在这里获得的信息相冲突：http://www.cs.man.ac.uk/~ezolin/dl/。

根据OWL2 EL概要文件，SubObjectPropertyOf语句中应该允许角色链。我使用了表单o b -> c的简单角色链(不包括表单o b -> b或oE 216bE 117->E 218 a)。但根据一般知识，应避免角色链。

我广泛地阅读了OWL，OWL2，Description Logics，原因，以及一些基准和推理评估等等，但是我找不到任何“最终”资源来明确地解开这个方面。

第二个问题：

是否还有其他OWL2 EL配置文件的“变体”(例如，可以使用的操作符的稍微不同的组合)仍然是PTime？我在哪里能找到这些研究呢？

Answer 1

：SRO(D)是否落在OWL 2 EL剖面中？

不是的。OWL2EL是基于EL++的，它不包括以下内容

• 全否定
• 通用量化
• 分离

SRO(D)扩展了ALC，由于ALC包括上述所有内容，SRO(D)将不属于OWL 2 EL。

OWL 2 EL的PTime变体

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