owl - 在 Protege 上创建的本体是 OWL FULL 还是 OWL DL？

Question

我对 Protege 上的本体有疑问。当我们在 Protege 上创建一个带有推理规则的本体时，这个本体是在 OWL FULL 中还是在 OWL DL 中？

Answer 1

Protégé 是一个本体编辑器，可以编辑任何遵循OWL 2 结构规范的本体。如果您使用的 Protégé 没有任何附加插件，则生成的本体遵循此规范。但是，有些本体在结构上是一致的，但不是 OWL 2 DL 本体。例如，使用 Protégé，您可以定义一个属性链公理，该公理具有作为链的一部分的非自反属性，这是 OWL 2 DL 配置文件不允许的。

此外，Protégé 具有允许您定义规则的插件，例如 SWRL。如果您将 SWRL 规则添加到您的本体，它可能会在 OWL 2 DL 之外。但是，有一些 OWL 2 DL 推理器也能够处理 SWRL 规则（有一些限制），如 HermiT 或 Pellet。如果您的规则不在 SWRL 中，例如 SPIN 规则或 RIF 规则，那么本体可能不在 OWL 2 DL 中，我不知道 OWL 2 DL 推理器如何支持这一点。

无论如何，进入 OWL 2 DL 不一定是必须的，这取决于您想要实现的目标。OWL 2 DL 之外的本体有很多用例。