问题标签 [dlquery]

我正在使用 Protege v4.3 来制作本体。我有一个关于 OWL 本体和 DL 查询的问题。

例如，在 Pizza 本体中， http: //owl.cs.manchester.ac.uk/co-ode-files/ontologies/pizza.owl

我可以执行 DL 查询

hasTopping some CheeseTopping

结果是 American、AmericanHot、Cajun 等。没关系。

现在，我尝试了 DL 查询

isToppingOf some American

但结果什么都没有。

因为属性 isToppingOf 是 hasTopping 的逆属性，所以我希望从该查询（通过推断）中得到包括 FourCheesesTopping、CheeseyVegetableTopping 等的结果。但它没有。

有没有这样的自动推理方法？

我想在 Protege 中编写一个嵌套的 DL 查询。我可以运行一个简单的查询，例如：

Person 和 hasFather 值 PersonA

它检索其父亲为 PersonA 的所有人员的名称。但我希望 PersonA 值也应该从一些查询中检索，例如

Person 和 hasFather 值（Person 和 hasSon 值 PersonB）

它在 Protege 中显示语法错误。请帮助我正确的格式。

我正在用 Java 编写 DL 查询解析器。我需要使用方法 getObjectPropertyValues()。如何在 Java 中将字符串转换为 OWL 对象属性表达式，请给我一个示例代码。

我正在用 Java 编写 DL 查询解析器。当我给出一个类名作为输入时，代码给出了正确的输出，但是当我给出像“hasColor value Red”或“hasSugar value Dry”这样的查询时，它什么也不返回。我正在使用 OWLAPI。

我正在尝试使用基数限制进行查询。查询看起来像

ClassA和(roleA min 2 ClassB)

但这会返回一个空集。另一方面，当我进行查询时

ClassA和(roleA一些ClassB)

它返回一些 A 类个体。当我知道某些 A 类个人肯定至少有两个角色时，为什么基数查询不起作用？

更具体地说，我有类Team、Player和Position，以及对象属性使用（与Teams和Players相关）和hasPosition（与Players和Positions相关）。我正在尝试进行查询

团队和雇员最少2 (球员和hasPosition some { Striker**}**)

这应该返回有两个或更多前锋的球队，但显然因为 OWL 没有做出唯一名称假设，它返回一个空集。我试图声明我的一些个体是不同的，但是当我对不同个体执行查询时，它会导致 Protégé 崩溃。在没有不同个体的情况下运行查询时，Protégé 不会崩溃。

编辑：

本体 XML 中显示的 Protege Striker 中的 Pellet 错误消息

我正在做一个项目，我的计划是获取主题名称（树中的层次结构给定一个单词）例如：给定堆栈我需要获取数据结构，给定化学疗法应该是 gettig 像化学等的东西......，我用过一些非常大的本体上的 DL 查询选项卡，我找不到特定的本体 .owl 文件，我可以在其中获得更高级别的主题名称。我编写了 DL 查询选项卡程序，该程序在给定查询的情况下耗尽了堆空间。问题是

• 我拥有的本体包含很多单词，但我无法检索层次结构（超类，子类），

• 本体要求曼彻斯特语法，而我有一个简单的单词-我如何将单词映射到本体中的类

• 有没有一种方法可以找到主题名称，例如使用某些猫头鹰本体给定一组单词的示例

我对原型非常陌生，我一直在玩披萨本体。

我知道如何获取包含特定数量或类型或浇头的比萨饼列表，但我该怎么做呢？

如何获取某个披萨的配料列表？还是我必须使用 SPARQL 进行这样的查询？

例如：美国披萨上的所有配料。

我尝试了“isToppingOf some American”，但它似乎不起作用。

我认为它应该可以工作，因为 isToppingOf 是 hasTopping 的倒数..但也许我误解了？

谢谢！！

我在Protege中创建了一个简单的 OWL 本体来描述人际关系：

• 类：人，男人，女人
• • 人是男人和女人的超类
• • 男人和女人是脱节的
• 对象属性：hasChild
• • 它的域和范围是 Person
• 个人: a (Man), b (Man) , c (Man) --- x (Woman), y (Woman), z (Woman)
• 断言：
• • 一个 hasChild x
• • 一个 hasChild y
• • c有子a

现在我想查询所有孩子是独生女的人。我在 DL 查询选项卡中编写了这个查询：

但它不返回任何实例！或者对于只有两个孩子的人的简单查询

这两个查询都没有返回任何实例，谁能告诉我有什么问题？

谢谢

让我们有一个只考虑 TBox（没有个体）的 OWL-DL 本体，让我们考虑

表达方式

将返回Chinesefamily并SterileChinesefamily作为子类

那么，如何指定可能有 0 或 1 个孩子（Chinesefamily）但不能正好有 0 个孩子（SterileChinesefamily）的类

我试过了

它什么都不返回！

============= 更新 ==============

请注意

不是我想要的。相反，我的意思是作为以下子类的类：

1. 允许其个人拥有 1 个或 0 个孩子的类 ( Chinesefamily)。
2. AND
3. NOT他们的个人必须恰好有零个孩子的类 ( SterileChinesefamily)。

（实际上，我只考虑 TBox（没有个人），但这次更新只是为了澄清）。

我想知道属于 A 类的个人是否与 B 类的所有个人至少有一种关系。

我很难找到一个合适的表达式来提供我想要的 DL 查询结果。对于以下示例：

对于个人：CourseA 和 CourseB，我断言该属性：

对于个体 John，断言了以下 3 个属性：

我还添加到个人类型

解决 OWA 问题。

我想知道 John 是否已注册 UG_CE 所需的所有课程，请注意 John 已注册所有课程和附加课程。

调用推理器后，以下查询不会给我想要的结果：

由于“仅”仅限于定义关系的确切数量，因此它不符合预期目的。另外，我不能使用 Max 或 Min，因为课程的数量是推断出来的，并且事先不知道。

另一种方法可以解决我的问题吗？