owl - 在 Protege 中检查某个类别的个人的成员资格

Question

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

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

有没有办法在 Protege 中做到这一点？如果这在 Protege 中是不可能的，是否有替代方案？

Answer 1

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

如果a属于A，那么它将显示在“实例”部分：

---

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

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

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