我一直在研究Protege中的Ontology。
我开始时的表现力很高，在Protege中被归类为“DL Expressivity： SROIF（D）”。
如果我是正确的，字母表示-in order-使用：Transitivity，Role chains，Nominals，InverseOf，Functional，D代表数据类型。不幸的是，这样的表现力应该是NExpTime-complete，我需要一些东西计算的重量较轻。
因此，我尝试重新构建我的本体，目的是保持在OWL2 EL配置文件中（应该存在PTime决策程序）。现在我有“DL表达性： SRO（D）”，因为我使用的是传递性，角色链（没有递归定义）和Nominals，但没有反向或功能对象属性。
我的问题是：
是否真的是OWL2 EL配置文件中的DL Expressivity SRO（D）？
Protege中提供的表达性与OWL2建议之间的对应关系对我来说并不清楚。此外，它似乎与我在这里获得的信息相矛盾：http://www.cs.man.ac.uk/~ezolin/dl/。
根据OWL2 EL配置文件，SubObjectPropertyOf语句中应允许角色链。我正在使用形式为 o b - ＆gt; c的简单角色链（没有形式为 o b - ＆gt; b或 o b - ＆gt; a）。但是根据一般知识，应该避免角色链。
我在OWL，OWL2，描述逻辑，Reasoners以及reasoners的一些基准和评估等方面进行了广泛的阅读，但我找不到任何明确解释这方面问题的“最终”资源。
第二个问题：
OWL2 EL配置文件还有其他“变体”（例如，可以使用的运算符组合略有不同）仍然是PTime吗？我在哪里可以找到这项研究？
答案 0 :(得分：1)
SRO（D）是否属于OWL 2 EL配置文件？
不。 OWL 2 EL基于EL ++，其中不包括以下内容
OWL 2 EL的PTime变体？
EL有多种扩展，其推理是PTime。有关EL ++的文章，请参见EL++和EL++ update。要查看EL变体，请参见例如EL tractable extensions。