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

Question

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

我正在使用protege4，我构建了我的本体，当我试图从protege4中的DL查询tap使用DL查询时，它执行得很好，我得到了结果。

但是，当我单击"Add to ontology“将我的查询添加到本体时，它会添加查询，但没有任何查询结果！为什么没有查询结果？如何看待它呢？

谢谢

Answer 1

首先是一些术语：

查询每个OWL本体是一组OWL axioms.

• Every expression.

• Every DL- entities.

是一个OWL类查询DL-Query<>e215>是一组OWL本体

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

"Add to ontology“按钮似乎在查询(即类表达式)的基础上创建了一个新的EquivalentClasses-axiom和一个命名类(由用户给定)，然后将该公理断言到活动本体中。

EquivalentClasses(new_name query)

(我没有让它在我的Protege4版本中像这样工作，但这样的功能是有意义的。)

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