如何使用 Protege 从本体中生成描述逻辑中的公理？
How to generate axioms in Description Logic from ontologies using Protege?
我刚刚开始阅读有关创建本体和使用 Protege 的内容。我想做的一件事是给定一个 ontology 我想以描述逻辑格式表达从 ontology 生成的公理。我的问题如下：
- 在 Protege 中有什么方法可以做到吗？
- 如果没有，你有什么建议吗？
非常感谢您。
是的，Protege 正是这样做的。如果您在 Protege 中 A \sqsubseteq B，您会创建 class B 作为 class A 的子 class。 pizza tutorial. On my blog I have a mapping from Description Logics to Manchester Syntax, which is the syntax used in Protege to specify axiom. See here. Also see the mathematical formalization of object orientation 是学习如何使用 Protege 的一个很好的资源，它提供了一些关于 DL 如何与面向对象相关的分步说明，这有助于对描述逻辑有一个基本的了解。
我刚刚开始阅读有关创建本体和使用 Protege 的内容。我想做的一件事是给定一个 ontology 我想以描述逻辑格式表达从 ontology 生成的公理。我的问题如下：
- 在 Protege 中有什么方法可以做到吗？
- 如果没有，你有什么建议吗？
非常感谢您。
是的，Protege 正是这样做的。如果您在 Protege 中 A \sqsubseteq B，您会创建 class B 作为 class A 的子 class。 pizza tutorial. On my blog I have a mapping from Description Logics to Manchester Syntax, which is the syntax used in Protege to specify axiom. See here. Also see the mathematical formalization of object orientation 是学习如何使用 Protege 的一个很好的资源，它提供了一些关于 DL 如何与面向对象相关的分步说明，这有助于对描述逻辑有一个基本的了解。