在Protege上创建的本体是一个本体OWL FULL还是OWL DL？

Question

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

Answer 1

Protégé是一个本体编辑器，可以编辑OWL 2 Structural Specification之后的任何本体。如果您在没有任何其他插件的情况下使用Protégé，则生成的本体遵循此规范。但是，存在结构上符合但不是OWL 2 DL本体的本体。例如，使用Protégé，您可以定义一个属性链公理，该公理链具有反自转属性作为链的一部分，OWL 2 DL配置文件不允许这样做。

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

在任何情况下，在OWL 2 DL中都不一定是必须的，这取决于你想要达到的目标。 OWL 2 DL之外的本体有许多用例。