0

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

  1. 有什么办法可以在 Protege 中做到这一点?
  2. 如果没有,你有什么建议吗?

非常感谢您提前。

4

1 回答 1

1

是的,Protege 正是这样做的。如果您A \sqsubseteq B在 Protege 中创建类B作为 class 的子类A。学习如何使用 Protege 的一个很好的资源是比萨教程。在我的博客上,我有一个从描述逻辑到曼彻斯特语法的映射,这是 Protege 中用来指定公理的语法。见这里。另请参阅面向对象的数学形式化,以逐步解释 DL 如何与面向对象相关,这有助于对描述逻辑有基本的了解。

于 2019-12-11T11:24:53.683 回答