1

I'm analyzing some ontologies with the pellet reasoner, but I'm getting some strange results. When I perform the "pellet info" method on an ontology, and compare the OWL Profile to the DL Expressivity, I sometimes get ontologies that have different expressivities bu the same profile. That seems at least plausible, but then I am also finding ontologies with the same expressivity but different OWL Profiles. How is this possible, since the profile is a mark of the ontology's expressivity and reducibility in the first place?

4

1 回答 1

2

如果您正在考虑比较 OWL2（基于SROIQ）下的本体，例如，作为子语言的配置文件，例如 OWL-EL（基于EL++），那么可以想象，本体可以具有相同的表现力和不同的“配置文件”，如果你认为完整的 OWL2 是一个“配置文件”并且表现力是 DL 表现力，因为 SROIQ 包含 EL++。

但是，如果按配置文件严格指三个不同的OWL2 配置文件之一；OWL2-EL、OWL2-QL和OWL2-RL，那么具有不同 OWL2 配置文件的两个本体仍然可能确实具有相同的表达性（至少，DL 表达性），因为这些配置文件由可能具有一些描述逻辑的描述逻辑支撑相交的表现力。

例如，OWL2-EL profile（基于EL++）和 OWL2-QL profile（基于DL-Lite）中的本体，这两种描述逻辑都可以表达如下内容：

  • 概念包含公理
  • 针对概念和角色的实例断言
  • 现有财产限制
  • 连词概念表达

因此，任何一个配置文件（EL、QL）中的本体都仅限于使用两者共有的 DL 构造，因此将具有相同的 DL 表达性。

于 2010-09-08T07:14:49.473 回答