在 Protege 上创建的 ontology 是 ontology OWL FULL 还是 OWL DL？
An ontology created on Protege, is an ontology OWL FULL or OWL DL?
我对 Protege 上的本体有疑问。
当我们在 Protege 上创建一个带有推理规则的 ontology 时，这个 ontology 会在 OWL FULL 中还是在 OWL DL 中？
Protégé 是一个 ontology 编辑器，可以编辑 OWL 2 Structural Specification 之后的任何 ontology。如果您使用的 Protégé 没有任何附加插件，那么生成的 ontology 将遵循此规范。然而，有些本体在结构上是一致的，但不是 OWL 2 DL 本体。例如，使用 Protégé，您可以定义一个 属性 链公理，它有一个非自反 属性 作为链的一部分，这是 OWL 2 DL 配置文件所不允许的。
此外，Protégé 拥有允许您定义规则的插件，例如 SWRL。如果您将 SWRL 规则添加到 ontology，它可能会在 OWL 2 DL 之外。然而，有 OWL 2 个 DL 推理器也能够处理 SWRL 规则（有一些限制），如 HermiT 或 Pellet。如果您的规则不在 SWRL 中，例如 SPIN 规则或 RIF 规则，那么 ontology 可能不会在 OWL 2 DL 中，我不知道 [=22= 如何支持它] 2个DL推理机。
无论如何，在OWL 2 DL中不一定是必须的，这取决于你想要达到的目标。 OWL 2 DL.
之外的本体有很多用例
我对 Protege 上的本体有疑问。 当我们在 Protege 上创建一个带有推理规则的 ontology 时，这个 ontology 会在 OWL FULL 中还是在 OWL DL 中？
Protégé 是一个 ontology 编辑器，可以编辑 OWL 2 Structural Specification 之后的任何 ontology。如果您使用的 Protégé 没有任何附加插件，那么生成的 ontology 将遵循此规范。然而，有些本体在结构上是一致的，但不是 OWL 2 DL 本体。例如，使用 Protégé，您可以定义一个 属性 链公理，它有一个非自反 属性 作为链的一部分，这是 OWL 2 DL 配置文件所不允许的。
此外，Protégé 拥有允许您定义规则的插件，例如 SWRL。如果您将 SWRL 规则添加到 ontology，它可能会在 OWL 2 DL 之外。然而，有 OWL 2 个 DL 推理器也能够处理 SWRL 规则（有一些限制），如 HermiT 或 Pellet。如果您的规则不在 SWRL 中，例如 SPIN 规则或 RIF 规则，那么 ontology 可能不会在 OWL 2 DL 中，我不知道 [=22= 如何支持它] 2个DL推理机。
无论如何，在OWL 2 DL中不一定是必须的，这取决于你想要达到的目标。 OWL 2 DL.
之外的本体有很多用例