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

Question

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

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

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

Answer 1

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

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

---

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

很遗憾，Snap SPARQL 查询插件不支持ASK 查询。请尝试以下操作：

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