如何使用 Protege 从本体生成描述逻辑中的公理？

【问题标题】：How to generate axioms in Description Logic from ontologies using Protege?如何使用 Protege 从本体生成描述逻辑中的公理？
【发布时间】：2019-12-11 08:10:05
【问题描述】：

我刚刚开始阅读有关创建本体和使用 Protege 的内容。我想做的一件事是给定一个本体，我想以描述逻辑格式表达从本体生成的公理。我的问题如下：

在 Protege 中有什么方法可以做到吗？
如果没有，您有什么建议吗？

非常感谢您。

【问题讨论】：

标签： ontology protege description-logic

【解决方案1】：

是的，Protege 正是这样做的。如果您在 Protege 中使用A \sqsubseteq B，您将创建类B 作为类A 的子类。 pizza tutorial 是学习如何使用 Protege 的好资源。在我的博客上，我有一个从描述逻辑到曼彻斯特语法的映射，这是 Protege 中用来指定公理的语法。见here。另请参阅 the mathematical formalization of object orientation，了解有关 DL 如何与面向对象相关的逐步说明，这有助于对描述逻辑有基本的了解。

【讨论】：

以编程方式，这可以使用 DL 文档格式来完成 - 一种用于 HTML 输出，一种用于 utf8。还有一个 LaTeX 选项。