问题标签 [dlquery]

我在使用基于对象属性基数的 DL 查询时遇到问题，我不确定我做错了什么，或者 HermiT 有什么问题。

首先，我附上了一个非常简单的本体来演示我的问题。只有两个个体A和B并且对象属性hasSomething。A hasSomething B是真的。

以下 DL 查询返回A作为结果：

而查询

不能满足。

有谁知道为什么第一个有效而第二个无效？

我有一个本体，其中Person是一个类并且hasDeathYear是一个数据属性。我必须在DL 查询中表达标题。

我可以这样问：

Person 和 hasDeathYear 值 2016

但我不能这样问：

Person 和 hasDeathYear 最小 2016

min我实际上想表达“小于”的地方。

怎么做？有可能吗？一个否定的答案对我来说也足够了。

想象一下，给定以下两个关系：
a(x,y)
b(y,z)
我们可以得出：
c(x,z)
然后可以通过为 c 添加 SuperProperty Of (Chain) 在 Protégé 中明确表示像这样的属性：
aob SubPropertyOf c

有了这个表达，假设我们只知道：
a(x,y)
c(x,z)
我们如何明确表达我们因此也知道：
b(y,z)
并且这将再次具有 (Chain) 的 SuperProperty )，但对于 b 属性？

我首先想到尝试：
ao inverse(c) SubPropertyOf b

这位门生不喜欢，说有圈。现在我只是很困惑。

如何使用 Protege 将数据从本体导出到 Excel 工作表。例如，我想得到一个有 2 列的表：Class rdf:ID，Super Class rdf:ID。

我在上图中展示了一个本体的快照。

我尝试从Protégé 5.0执行DL 查询。查询是：

Apple 是 Fruit 的一个实例（参见图链接）。对象属性是hasVolume 。结果显示实例部分 (GUI) 中没有输出。我期待上述查询的以下结果：

Apple的对象属性公理显示“ Apple hasVolume LowVolume ”。

要对查询（或本体）进行哪些修改，以便获得所需的结果。

提前致谢 ：）

我正在使用 Protégé 5.1.0（加上 HermiT 1.3.8.413 Reasoner）中的 OWL 本体，我稍后想与 OWLAPI 4.1.0 以及可能的 DL-Query 或 SPARQL 一起使用。我手头的任务是让某个类的所有个体都没有完成某个对象属性。由于开放世界假设，未实现的对象属性通常不会显示为问题，但我需要这些信息并且希望避免编写自己的代码来检查整个本体。

我准备了我的小例子，作为可读的文本和海龟代码：

类：比萨饼，浇头

对象属性：有

断言：披萨 有一些配料

个人：Pizza1、Pizza2、Topping1、Topping2（各自类别）

断言：Pizza1有Topping1

代码：

在这种情况下，我想查询本体并获取Pizza2当前没有任何Topping的信息，即它的Object Property没有被断言或推断。此外，如果 Topping1 更改为不同的类，我现在希望看到 Pizza1 也出现在查询中，因为“ Pizza has some Topping ”不满意。

有没有一种优雅的方法可以直接在 OWLAPI 中或使用 DL-Query/SPARQL 来执行此操作？

我正在使用 protege 为我的程序测试 OWL Ontologies。有没有办法在 DL 查询选项卡中询问一个实体是否是另一个实体的子类？自动完成选项卡不建议关键字subclass。

我有 3 个类：和Reptile, with是 的子类。MammalCatCatMammal

我有一个“或”类表达式：

对于任何给定的“或”类表达式，我如何用推理器推断出最具代表性的类？就像在这种情况下，它们是Reptile和Mammal。

我正在使用 Protege 并尝试返回没有特定属性的所有实例的 DL 查询。

例如，我可以通过使用 initialValue 一些值返回带有属性 initialValue 的数字实例（例如 number1、number2 等）

我如何在 Protege 中进行 DL QUERY 以返回不具有属性 intialValue 的数字实例？

提前致谢

我是 Protege 的新手（Protege 5.2.0）。我将一些数据属性放到一个类中，如下图所示： 让我们关注最后一行。

然后，我像这样使用 DL-Query

我预计课程会被退回，但事实并非如此。我陷入了这个问题。

请问有什么帮助吗？