问题标签 [manchester-syntax]

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

有一类叫“花”

这个类有一些花名的子类

还有另一类叫做“flowersColor”

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

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

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

我的 DL 查询是：

“花和有颜色值红色”

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

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

我想写这样的东西

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

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

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

谢谢

在 OWL 中，此查询工作正常

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

但这一个不起作用

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

有人对此有任何想法吗？

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

谢谢

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

我正在开发使用曼彻斯特 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值与我为这个人添加的值相同。它存在于个人中。

它确实执行了这个查询：

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

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

我目前正在使用 protege 开发一个本体，并想确定一个节点是否是列表的最后一个。所以基本上一个列表指向一个节点，每个节点都有一些内容并且可以有另一个节点：

List startsWith some Node

Node hasContent some Content

Node hasNext some Node

现在我想定义一个名为EndNode不指向另一个的子类Node。这是我迄今为止尝试过的，但分类后，EndNode总是等于Nothing：

Node and not(hasNext some Node)

Node and (hasNext exactly 0 Node)

我正在尝试使用 Protege3.x 对本体中的属性添加限制。

我在指定限制内​​的枚举时遇到问题。例如，尝试以这种方式指定一个枚举来限制可能的数据元素：

它将整个表达式视为单个字符串：

在另一个示例中，我尝试通过使用多个表达式和它们之间的“或”来解决问题，这似乎是合适的。但在前一个中，不允许使用“或”。

如何使用枚举来满足这种需求？谢谢！

我正在使用 OWL API 对 Protege 中创建的本体进行推理。我正在处理 OWL API 示例 DL 查询：http: //sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode/owlapi/examples/DLQueryExample.java . 我猜这个例子提供了相当于 Protege 中的 DL Query Tab 的功能。但实际上存在一些显着差异：我需要获取匿名类的信息（子类、超类等），该匿名类由一组个体（例如 {Member1，Member2...}）或另一个方法。在 Protege 中，此查询返回正确的结果，但 OWL API Dl 查询示例中的此类查询返回 [NOTHING]。有没有办法在 OWL API 中操作匿名类？提前感谢您的回答。

我是OWL 的曼彻斯特语法的新手编码。我需要了解exactly. 以下哪些限制是正确的：

你能解释一下什么时候A和什么时候B等价，什么时候不相交吗？

如果 A isRelatedTo B 并且 B 具有数据属性：existence = {true, false}

我如何用曼彻斯特猫头鹰语法（对于 protege）表示子集，其中： 是类型 A 并且 A 的每个 isRelatedTo 的值都为“true”

我有一个传感器类，输入类，它是 Process 类和 SensingData 类的子类。我想将输入类与传感数据类相关联，说输入是传感数据。我可以通过创建像 inupt hasData SensingData 这样的对象属性 hasData 来做到这一点吗？还是我必须使用注释属性？

我有 OWL 本体，Protege 5。我想从源类 S 开始，通过 objectProperty 即 S ([0..*] - 1) 通过一对一的基数检索所有目标类 D，其中 S 与 Ds 相关D 尽管连接的 objectProperty 是什么。

在 DL 中，它类似于：

其中 S 是我的源概念，D 是变量概念，r 是变量 objectProperty。

第一点： 如何在曼彻斯特语法中表达这一点以在 Protege DL 查询中使用它？

第二点： 对于这样的查询，推理者在尝试回答查询时会考虑哪些类型的属性限制？例如基数限制、函数属性、someValuesFrom、allValuesFrom？

谢谢。