为什么我在protege4中看不到查询结果?
我知道这可能是一个愚蠢的问题,但我不知道答案:)
我正在使用 protege4 我构建了我的本体,当我尝试从 protege4 中的 DL 查询水龙头使用 DL 查询时,它执行得很好并且得到了结果。
但是,当我单击“添加到本体”将我的查询添加到本体时,它会添加它,但没有任何查询结果! 为什么没有查询结果? 以及如何看到它?
谢谢
I knew this might be a stupid question but I don't know the answer :)
I am using protege4 I built my ontology and when I tried to use DL Query from the DL query tap in protege4 it executes fine and I get results.
However, when I click "Add to ontology" to add my query to the ontology it adds it but without any query results!!! Why are there no query results? and how to see it?
Thanks
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
发布评论
评论(1)
首先是一些术语:
您只能将公理添加到本体中。 您无法将类表达式或实体集添加到 OWL 本体中。
“添加到本体”按钮似乎在查询(即类表达式)和命名类(由用户给出)的基础上创建一个新的EquivalentClasses-公理,然后断言该公理进入活动本体,即
(我在我的 Protege 4 版本中并没有完全让它像这样工作,但这样的功能是有意义的。)
当前的 OWL2 规范没有说明如何存储类表达式和查询结果在本体论中。 从文件加载本体后,每次都必须从头开始指定和计算这些。
First some terminology:
You can only add axioms to an ontology. You cannot add class expressions nor sets of entities to an OWL ontology.
The "Add to ontology" button seems to create a new EquivalentClasses-axiom on the basis of the query (i.e. class expression), and a named class (given by the user), and then asserts this axiom into the active ontology, i.e.
(I didn't quite get it working like this in my version of Protege 4, but such a functionality would make sense.)
The current OWL2 specification does not say anything about how to store class expressions and query results in the ontology. These have to be specified and calculated every time from scratch after you load the ontology from the file.