【发布时间】：2018-06-04 18:16:25
【问题描述】：
我一直在 Protege 中研究本体。
我从 Protege 中归类为“DL 表现力：SROIF(D)”的高表现力开始。
如果我是正确的，这些字母表示 - 按顺序 - 使用：传递性，角色链，名义，InverseOf，功能，D代表数据类型。不幸的是，这种表达性应该是NExpTime-complete，我需要一些东西计算量较小。
因此，我尝试重新构造我的本体，以保持在 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？我在哪里可以找到这些研究？
【问题讨论】：
-
为了您的信息，Protégé 不提供非常精确的片段。作为其局限性的一个例子，Protégé 使用的表达性分类器只查看在所有类和属性表达式中使用的特征，无论你发生在概念包含的左侧还是右侧。这排除了检测 OWL 2 QL 或 OWL 2 RL 本体的可能性。对于 OWL 2 EL，问题在于 Protégé 认为最简单的片段是 ALC，其中包含 EL 中不允许的功能。
标签： owl ontology protege protege4 description-logic