检查 Protege 中某个 class 个人的成员资格
Check membership of a certain class of an individual in Protege
我了解到我们可以在Protege中列出某个class的成员。我需要做的就是启动推理机，访问 DL Query 选项卡，将 class 的名称放入查询框中，选中 Instances 并按 Execute .我得到了属于此 class.
的所有个人的列表
我想发出一个 DL 查询来检查个人 a 是否属于 class A。
我可以在 Protege 中做到这一点吗？如果这在 Protege 中是不可能的，是否有替代方案？
你可以这样写：{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) }
我了解到我们可以在Protege中列出某个class的成员。我需要做的就是启动推理机，访问 DL Query 选项卡，将 class 的名称放入查询框中，选中 Instances 并按 Execute .我得到了属于此 class.
我想发出一个 DL 查询来检查个人 a 是否属于 class A。
我可以在 Protege 中做到这一点吗？如果这在 Protege 中是不可能的，是否有替代方案？
你可以这样写：{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) }