检查Protege中某个人的成员身份

Question

我知道我们可以在Protege中列出某个类的成员。我需要做的就是启动推理器，访问DL Query选项卡，将类的名称放在查询框中，保持Instances已选中并按Execute。我列出了属于这个班的所有人。

我想发出DL查询以检查个人a属于A。

有没有办法在Protege中做到这一点？如果在Protege中这是不可能的，有没有其他的选择？

Answer 1

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

如果a属于A，那么它会显示在“实例”一节中：

---

人们必须能够使用捕捉SPARQL查询插件用于这一目的。 与SPARQL Query Plugin相比，Snap SPARQL查询插件能够处理推断的知识。

不幸的是，Snap SPARQL Query Plugin不支持ASK查询。请尝试以下操作：

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