问题标签 [dlquery]

我正在开发一个本体，但我的 Dl 查询有问题

有一类叫“花”

这个类有一些花名的子类

还有另一类叫做“flowersColor”

它具有这些值（“红色”、“绿色”和“蓝色”）作为个体——而不是子类——

每朵花都有一种或多种颜色

我想寻找一朵红色且只有红色的花

我的 DL 查询是：

“花和有颜色值红色”

这个查询会给我所有红色的花，即使它有其他颜色

但是我想要所有只有红色的花朵

我想写这样的东西

“flower and hasColor only value red” <- 这在语法上是不正确的

我主要是如果颜色是“红色”和“绿色”的组合，那么我不想在我的结果中看到它

我希望你能在我的查询中帮助我

谢谢

在 OWL 中，此查询工作正常

它工作正常，它给了我所有有 3 个以上孩子的人

但这一个不起作用

它应该给我所有少于 3 个孩子的人，但是它不起作用

有人对此有任何想法吗？

为什么“min”有效，而“max”没有给出任何结果！？？？

谢谢

如何在我的本体中查询个体，这里是我想要做什么的描述（类似于 SQL 查询）：

我有三个类（组件、功能和极性）。极性值可以是positive_polarity 或negative_polarity，两者都是极性的子类。

• a_component hasFeature a_Feature
• a_Feautre hasPolarity a_Polarity

我想列出所有具有 positive_polarity 值的组件。

如何使用 protege 4 中的 DL Query 选项卡来实现这一点？

我想知道我是否可以在 Protege 中以编程方式使用 DL Query。是否可以在 Java 中输入查询并像在 SQL 中那样检索个人？

例如查询是hasCalorificContentValue value 723，我想检索一个名为QuattroFormaggio.

我知道这听起来像是一个非常愚蠢的问题，但我一直在试图解决这个问题，但我找不到任何关于此的内容，尽管这似乎很明显应该是可行的。

我正在开发使用曼彻斯特 OWL 语法和 HermiT 推理器通过其 API 查询 OWL 文件的东西。我也可以在 Protege 4 的 DL Query 选项卡上运行查询，以检查我对该文件的查询结果。该文件基本上是添加了数据实例的朋友之友 (FOAF) 本体。

问题：我找不到通过唯一标识符查询实例的方法。

它应该是 URI，例如对于带有 URI 的 Person 对象 http://xmlns.com/foaf/0.1/Andrew_Kuchling，我尝试运行以下查询：

这些都不起作用。（URI 是通过为您输入的任何字符串添加前缀http://xmlns.com/foaf/0.1/来构造的，并且 URI 实际上并未在本体中标识为属性）。

在 FOAF 中，mbox_sha1sum是邮箱的 sha1sum。邮箱与个人有着独特的联系。所以我尝试了以下查询：

但是，它甚至不执行此查询，因为它认为查询不正确。该mbox_sha1sum值与我为这个人添加的值相同。它存在于个人中。

它确实执行了这个查询：

所有数据属性都不是专门的数据类型。默认情况下被视为文字。

我真的不知道我做错了什么。有人可以请帮忙吗？

请解释如何在 DL 查询（不使用一些量词）中沿着某个对象属性获取与给定个体集有关系的个体集

我在 protege 中创建了一个本体。

我有一个名为AlcoholicBeverage 的类，在这个类下有子类Beer、Wine。这些子类是不相交的。

我有一个名为 Person 的类（没有子类）。另一个名为 Behavior 的类有两个子类“PositiveChange”和“NegativeChange”。

我有一个对象属性“使用”，其中包含两个子属性“饮用”和“消费”。“使用”属性的域是 Person 类，范围是 AlcoholicBeverage 类。

NegativeChange 类具有用“使用一些酒精饮料”的声明指示的超类。

当我编写诸如“使用一些啤酒”或“喝一些啤酒”或“喝一些啤酒”之类的 DL 查询时，它应该将其归类为 NegativeChange，但事实并非如此。但是，它只在我写“使用一些酒精饮料”时进行分类，这与酒精饮料超类部分中的定义完全相同。它不考虑类或对象继承。我希望它应该将 Beer 归类为酒精饮料或将“消费”对象属性归类为“使用”对象属性。

谢谢你的帮助。

我正在尝试编写查询

Hospitals 和 hasNameWithWords 值“中心”^^string

此查询返回我在 Protege 4.2 中使用 FACT++ 推理器和 Hermit 推理器的医院名称中包含“中心”的实例

但是当我在网站http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/中提供的 OWL-API 的 DL 查询示例中输入相同的查询时 代码/owlapi/examples/DLQueryExample.java

我没有得到任何结果。

但是当我编写简单的查询时，它给了我结果，例如

医院

是不是因为代码中的推理器无法进行推理？

还有什么推理机更好？

我正在尝试使用 OWL API 运行 DL 查询，使用 DL 查询示例（http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode /owlapi/examples/DLQueryExample.java )

hasExperience some (Experience and hasYearsOfExperience some int[>=1])

这运行良好并在 Protege 中显示预期结果，但在 Java 中返回以下错误：

任何想法如何解决这一问题？

此 DL-Query 不返回任何个人：

• 查询（Protégé 语法）：hasPet exactly 1 DomesticAnimal

这是本体的一部分：

查询：

• petOf value Bob 返回Sparkey和Lucky
• petOf value Joe 返回Lassy
• hasPet exactly 1什么都不返回。

为什么最后一个查询没有返回Joe？我已经在 Protégé 中使用 Pellet、HermiT 和 FaCT++ 进行了尝试，但没有成功。