问题标签 [owl]

我们正在从 windows 窗体迁移到 wpf 以用于我正在开发的下一个版本的产品。我们正在使用明智的猫头鹰来进行混淆，我想知道是否有人有这方面的经验。

我知道这可能是一个愚蠢的问题，但我不知道答案:)

我正在使用protege4我构建了我的本体，当我尝试从 protege4 中的 DL 查询点击使用 DL Query 时，它执行得很好并且我得到了结果。

但是，当我单击“添加到本体”将我的查询添加到本体时，它会添加它但没有任何查询结果！！！为什么没有查询结果？怎么看？

谢谢

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

有一类叫“花”

这个类有一些花名的子类

还有另一类叫做“flowersColor”

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

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

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

我的 DL 查询是：

“花和有颜色值红色”

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

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

我想写这样的东西

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

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

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

谢谢

在 OWL 中，此查询工作正常

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

但这一个不起作用

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

有人对此有任何想法吗？

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

谢谢

我正在寻找一个提供 .NET API 的 OWL-DL 推理器。或者，我可以使用以任何语言编写的符合 DIG 的推理器，但我需要一个能够将 OWL 本体转换为 DIG XML 语言的 .NET 库。有人听说过这样的工具/库吗？

我一直在使用ROWLEX库来处理 RDF-s。它附带一个名为 OwlGrinder.exe 的设计时 GUI 工具，它可以从我的 OWL 本体生成 C# 助手类（准确地说是.NET 程序集）。我想知道是否有人知道我是否可以在运行时以编程方式执行相同的操作。

在描述逻辑中，“someValuesFrom”和“allValuesFrom”有什么区别？换句话说，（有限存在量化）和（价值限制）之间的差异。

例如，考虑一下：

Δ = {a, b, c, d, e}
ext(B) = {<c,d>}
ext(R) = {<a,b>, <a,c>, <d,c>, < c,e>}

那么下面这些有什么区别呢？

ext(∃R.B) = ?
ext(∀R.B) = ?

有什么方法可以简化 somevaluefrom 和 allvaluesfrom 的概念吗？

我正在从我的 OWL 本体构建一个程序集，但是在解析本体时，它会在声明类型并给出一些值的“数据类型属性”处引发错误消息。我已经使用 Protege v3.4 编写了我的本体。

例如，引发错误的数据类型属性之一是“语言”，其类型为“字符串”，值如“英语和波斯语”。参考文献如下，由 protege 提供：

下面提到了“语言”属性：

我只是向 OWLGrinder 添加了一个本体。生成时出现此错误：

每次按下“生成”按钮时，“_:bnode”前面的数字都会发生变化。通过从“语言”属性中删除值，会发生与下一个 DataType 属性相关的另一个错误。这意味着定义的每个 DataType 属性（并为其指定了一些值）在 OWLGrinder 中出错。

我想知道是否有人可以指导我处理这个错误。

我最近遇到了一个关于在 .net 中枚举类的常量之间循环的问题（由 Rowlex OwlGrinder 从我的 OWL 类创建）。通过使用 .net 反射解决了问题（感谢亲爱的 Jon Skeet 先生的大力帮助）： stackoverflow:problem-cycling-enum-class-values

通过解决这个问题，我开始使用它。在将 dropDownList 选定值与枚举类实例之一匹配后，我必须通过谓词 (=hasLanguage) 将选定对象 (=Language) 声明给我的 RDF 主题 (=learningResource)。

现在问题出现了；我不能使用 Language[i]（或类似的东西来选择 Language 类的第 i 个常量）分配给 hasLanguage。有没有办法选择枚举类的第 i 个常量（如引用）？在这种情况下有人可以帮助我吗？

我最近正在使用 Rowlex 开发一个语义 Web 应用程序项目。我已经达到了一些我无法将适当的方法与它们匹配的功能需求。我想知道是否有人会帮助我。

• 我正在创建一个新的 RDF 文档，但最后我不知道如何保存填充的 rdfdocument。
• 我正在现有的 rdf 中创建一个新个体，但我不知道最后如何保存 rdf。AddIndividual 方法接受 uri 和类型。我该如何与他们合作？
• 我想删除一个人，但不知道如何。
• 我想添加、删除或编辑个别属性

是否有任何指导文件可以解释 Rowlex 方法？

先感谢您