问题标签 [dlquery]

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

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

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

我对 Protégé 中的查询语言有一个非常基本的问题。我有一个名为“年份”的班级，有 3 个个人是这个班级的成员，分别是 1800、1850 和 1900。我想为个人设置一个查询以获取该年份班级的个人，但只有以 19 开头的，而不是 18 开头的。
是否可以通过 DL 查询？

我使用 Protege 版本 5.2.0 开发了用于胸部疾病的阿拉伯语本体现在我使用描述逻辑查询（DL 查询）来查询本体，但结果与使用 SPARQL 查询的相同查询结果不同。

例如：我的本体包含如下类：

1. 疾病
2. 症状

DL 查询为：Disease and Has_Symptom value diarrhea，其结果如下图所示：

结果是一个类的所有个体Disease，但是当使用 SPARQL 执行相同的查询时，结果是正确的，如下图所示。

注意：当在不同的计算机上使用相同版本的 Protege 和相同的本体时，DL 查询返回正确的结果。我希望这是一个明确的问题。

感谢您提供的任何帮助。

假设我有两个人之间的关系，例如“Bob 为 MiningCo 工作”。

我希望能够问它“Bob 为谁工作？” 但似乎在 OWL DL 中，我知道如何写的唯一问题是“谁为 MiningCo 工作？” IE

当我使用单个主题和谓词进行查询时，有没有办法提出一个问题，我可以在哪里获得单个对象？

我定义了一个小的本体，如下图所示：

我创建了一个个人 forDataset和一个 for Algorithm。我预计reasoner会推断Algorithm个人为Linear_Least_Regression，但这并没有发生。

这是Dataset个人的定义。可以看出，个人满足Dataset了Linear_Least_Regression

此外，如果我添加个人Linear_Least_Regression的类型Algorithm，推理者不会抱怨。

我也试图Linear_Least_Regression用 a 来获得结果，DL Query但这也没有奏效。

在为我的本体建模时我错过了什么还是问题出在推理机上？我尝试了以下两个推理：FaCT++ 1.6.5和HermiT 1.3.8.413Protégé 5