为什么我在 protege4 中看不到查询结果？

Question

我知道这可能是一个愚蠢的问题，但我不知道答案:)

我正在使用protege4 我构建了我的本体，当我尝试从 protege4 中的 DL 查询点击使用 DL Query 时，它执行得很好并且我得到了结果。

但是，当我单击“添加到本体”以将我的查询添加到本体时，它会添加它但没有任何查询结果！！！为什么没有查询结果？怎么看？

谢谢

Answer 1

首先是一些术语：

• 每个OWL本体都是一组OWL公理。
• 每个 DL-Query 都是一个 OWL 类表达式。
• 每个DL-Query 结果都是一个OWL实体集。

您只能将公理添加到本体。您不能将类表达式或实体集添加到 OWL 本体。

“添加到本体”按钮似乎在查询（即类表达式）和命名类（由用户给出）的基础上创建了一个新的 EquivalentClasses-axiom，然后将这个公理断言到主动本体中，即

EquivalentClasses(new_name query)

（在我的 Protege 4 版本中，我并没有完全让它像这样工作，但这样的功能会很有意义。）

当前的 OWL2 规范没有说明如何在本体中存储类表达式和查询结果。从文件加载本体后，每次都必须从头开始指定和计算这些。