Question

我知道我们可以在Protege中列出某个类的成员。我需要做的就是启动推理器，访问DL Query标签，在查询框中输入课程名称，选中Instances并按Execute。我得到了所有属于这个班级的人的名单。

我想发出一个DL查询来检查个人 a 是否属于 A 类。

我有可能在Protege中做到这一点吗？如果在Protege中无法做到这一点，还有其他选择吗？

Answer 1

你可以这样写：{a} and A。

如果a属于A，那么它将显示在＆＃34;实例＆＃34;部分：

必须能够为此目的使用Snap SPARQL查询插件。与SPARQL查询插件相反，Snap SPARQL查询插件能够使用推断知识。

不幸的是，Snap SPARQL查询插件不支持ASK个查询。请尝试以下方法：

SELECT DISTINCT ?is WHERE { :a rdf:type :A . BIND (("Found!") AS ?is) }