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

Question

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

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

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

由于

Answer 1

首先是一些术语：

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

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

“Add to ontology”按钮似乎在查询（即类表达式）和命名类（由用户给出）的基础上创建一个新的 EquivalentClasses -axiom，然后将这个公理置于活跃的本体论中，即

EquivalentClasses(new_name query)

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

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