问题标签 [reasoning]

我正在尝试在我的系统上本地设置ConceptNet5（链接） 。ConceptNet 有 3 个 API Lookup、Search 和 Association api，在这个页面（链接）上给出。我尝试按照Running your own copy中的说明在本地设置这些 API 。最后“make all”的命令成功完成了一半的过程，这使得查找和搜索api在本地工作，但关联ap​​i在本地工作，因为“make all”在两者之间出错。所以基本上，我的 sqlite 数据库有用于查找和搜索的数据，但缺少关联 api 的数据。我在执行“make all”时收到此错误

它给我无法弄清楚的代码提供了错误。我怎样才能让它工作。我检查了Github(link)上的代码。但是还没有找到任何解决方案。帮助表示赞赏。

在猫头鹰。

我知道如果

和

和

和

那么推理者可以推断出

1- 这个推论背后的概念是什么？

2-是否有任何参考资料解释了推理器如何工作的整套规则，即推理器用于将隐式知识转化为显式知识的规则是什么？像上面例子中介绍的这个？

实际上，我对使用推理器可以做什么和不能做什么感到迷茫。

我的问题有两个：

1. 我曾经认为推理器仅用于概括和分类。最近，我发现推理器可以在某些算法中以多种方式使用，例如此参考介绍了使用推理器来搜索符合本体中特定模式的实体：

   • DL 通用推理算法是什么意思，如何通过推理器实现它？

   • 您能否参考我的任何参考资料，让我更熟悉可以通过推理算法实现的事情（如果有的话）？

2. 我最初的问题是：给定一个OWL本体和两个类C1and C2，我想检查是否存在连接它们的功能属性链，即让我们考虑(C1 P1 C3),(C3 P2 C4)和(C4 P3 C2)where P1, P2andP3是功能对象属性，因此结果将(P1, P2, P3)是连接C1和的功能属性链C2。

我想知道语义网中类型推断的定义，但是当我在谷歌中搜索时，我只能在编程领域找到一些定义。

我有一个关于使用 OWL API 和推理器的基本问题。

我已经尝试过 JFact Reasoner，成功运行它并得到了很多公理（其中一些是推断出来的，其中一些在原始本体中明确说明）。

我需要区分它们，但我真的找不到任何方法来做到这一点。

OWLClass 或其他地方有什么方法吗？

首先我知道这个话题可能会重复，但实际上我还有更多问题。我正在使用 Jena 来操作 OWL 本体。给定一个 class A，我想找到A作为其域的所有属性，无论是显式的还是推断的。

让我们考虑以下本体：A1 subClassOf A; P domain A; P range B; 我使用 DL 规则推理创建了一个本体模型，这应该打开推理器。

解决方法介绍了两种执行此任务的方法：

1. 使用listDeclaredProperties()：这是 cls 是我的 OntClass 的代码

这将检索正确答案：其域是A显式和推断的属性，但打印的域和范围设置为 Thing。这是 和 的A输出A1：

问题 1

为什么会发生这种情况（Thing在域和范围内）？

此外，如果某些属性的域是交集，则忽略它，即 if P domain A intersection B，我称之为 for A，P不会被检索，这是典型的，因为A intersection B是 a subClassOf A。

问题2

但是，我怎样才能检索他们的域是A或者 a的属性subClassOf A以便检索A intersection B？

2. 使用listStatementsThis 仅检索明确说明的答案，即：

这没有给出任何结果A1。这是结果A

问题 3

为什么会发生这种情况（只有明确的结果）？以及如何检索显式和推断结果？

此外，这种方式还检索属性A或其A intersection B域（问题2的答案），为什么会发生这种情况？我有点迷路了。

我有以下两个三元组：

以及以下耶拿代码：

如果我正确理解规范，我应该从 getDeductionsModel() 获得：

但我得到了一个空集。任何想法为什么？

我正在尝试使用 Protegé 来解决以下数学难题：

找到一个六位数字，其中第一位比第三 位大一，第二位比第四位小一，第五位比第三位小一，第六位比 第四位多一。SECOND和THIRD数字之和等于FIRST。所有数字的总和是30。

这大致转化为以下规则：

因此，在 Protegé 中，我创建了以下本体规则：

• 类：Number。
• 对象属性：isOneMoreThan，字符：不确定，域和范围：Number
• 对象属性：isOneLessThan，字符：不确定，域和范围：Number
• 个人：n1, n2, n3, n4, n5, n6（每个都有一个指定的 obj prop 断言isOneMoreThan或isOneLessThan

但我不确定两件事：

1. 我如何知道哪些对象属性特征可以赋予我现有的对象属性？
2. 我如何以这种方式对 Sum 规则进行[n2+n3]=n1建模[n1+n2+n3+n4+n5+n6]=30？

这是SPARQL 1.1 蕴涵制度和使用 FROM 子句查询的后续问题

我目前正在记录/测试有关 SPARQL 1.1 蕴含机制的信息，并且该建议反复指出

范围图是图等价于活动图...

因此，推理范围图似乎取决于查询。

问题是：范围图是否源自查询的数据集（FROM/FROM NAMED 子句），还是指正在评估的三重模式的真​​实当前活动图上下文？

用下面的图

以下查询应该返回什么（例如，在 RDFS-entailment 制度下）并根据建议？

我应该取回所有三个资源：

要不就

因为三重模式上的活动图的范围是 NAMED 图，而推理公理在默认图中“定位”？

感谢您的洞察力，

最大限度。

我阅读了Inference Rules & Reasoning for Virtuoso中的教程 。在示例 16.14.9 中，他们提到了以下内容：

可以看到，owl:InverseFunctionalProperty 被datatype property所使用<name>，是不是意味着可以在Virtuoso中使用OWL Full reasoning呢？在这个问题中，第一个答案是谈论使用 OWL Full 推理和数据类型属性的问题。