问题标签 [reasoning]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
597 浏览

jena - rdf reasoning rules via Jena

I want to express this relation: if article X has author Y, and the author has the influenceFactor medium or high(3 classes: low , medium, high) then this article is regarded as highly recommended.

is my thought right?

here is some snippet of the ontology

sincere thanks to any viewer of my question :)

0 投票
1 回答
418 浏览

java - 带有 Jena + PermGen 空间的 Pellet Reasoner

我正在使用 Jena 运行 Pellet,如下所示:

我在Pellet Reasoner 下与 Jena有过上一篇文章。我的 TDB 或原始数据是 2.7G。我一直在针对 TDB 运行推理器,但我遇到了“PermGen 空间 java”的问题,尽管我给程序提供了 70G 左右的内存,推理器只占用了 30G,然后就崩溃了。换句话说,它没有达到计算机内存的最大值

我正在运行 Linux 和 Java 64 位,服务器中有 83 G 内存。我已经坚持了一周。

0 投票
3 回答
239 浏览

algorithm - 尝试更多地了解答案/推理引擎

我正在尝试更多地了解答案/推理引擎是如何工作的,以及它背后的代码。

有没有关于这个主题的著名或做得好的算法、好书或论文?

Google Now(答案不是预测部分)、Siri 和 Wolfram 等系统如何?阿尔法工作?

我知道他们使用自然语言处理和机器学习,但他们如何回答基于知识/事实集合的问题?

0 投票
1 回答
358 浏览

rdf - 提取类内容,例如(onProperty、somevalueFrom、unioinOf(包含集合)和等价类)

我正在尝试从包含 onProperty 和 someValuesFrom 的 owl 文件中提取类的内容,其中 someValueFrom 由包含 unionOf(onProperty、someValueFrom 和等效类)的类组成,我创建了一个 SPARQL 查询来提取这些数据,但是每次它返回空白节点,例如“ :b0”和“ :b1”。有谁知道我应该如何处理我的查询以使其提供所需的结果。这是我的猫头鹰文件:

这是我创建的 SPARQL 查询:

这是我得到的结果:

但预期的结果是:

为了返回这个结果,我应该如何处理我的 SPARQL 查询?

提前谢谢了 :)

0 投票
1 回答
65 浏览

jruby - 在 jruby 脚本中导入 java 类时出错

我想在我的 jruby 脚本中使用 HermiT 推理器,如此处所述http://hermit-reasoner.com/java.html。如那里所述,我的类路径中必须有 HermiT.jar。所以我确实需要 jar 文件,而且我想导入 Reasoner 类。我的脚本如下所示:

但我收到一个错误:Missig 类或大写包名('org.semanticweb.HermiT')。但是 'org.semanticweb.HermiT' 应该包含在 HermiT.jar 中......有什么办法可以找出 jar 文件中真正包含的内容,你能重现这个问题吗?非常感谢。

0 投票
1 回答
1311 浏览

java - Hermit Resoner 与 Protege OWL API

我正在使用 Protege OWL API 4.3 (OWL API 3.4.2)。它安装了 HermiT Reasoner 插件。

我的问题是,无论我对推理器有什么查询,都没有输出,它不提供任何实例。

这就是我的本体的样子:

这是我的代码:

} 2 查询查找位置为“1”的人。System.out.println 应该显示单个“Mary”,但没有结果。有人可以告诉我我错过了什么吗?我想我按照http://code.google.com/p/elk-reasoner/wiki/QueryingComplexClasses做了所有事情。代码几乎是 1:1。

干杯,S。

0 投票
1 回答
717 浏览

ibm-mq - 如何将 MQ 错误转换为更具描述性的文本

如何在我的 java 应用程序中将 MQ API 异常文本转换为更具描述性的文本?
示例异常消息>“MQJE001:完成代码'2',原因'2038'”
至>“已发出MQINQ 调用以查询对象属性,但尚未打开对象进行查询。”
我可以访问完成和原因代码,但不能访问描述。
谢谢

0 投票
1 回答
672 浏览

rdf - 推理在 Fuseki 中保存的三倍数

我将个人保存在 Fuseki 中,并将与这些个人相关的本体保存在不同的文件中。现在我需要对 Fuseki 中保存的个人进行一些基本推理,例如只获取某种类型的个人。我使用 OWLAPI。

作为一个简单的解决方案,我想将所有个人从 Fuseki 导出到 RDF/XML 文件,并将其与我的本体文件一起加载到 OWLAPI 以进行推理。但我意识到,将三元组从 Fuseki 导出为 RDF/XML 或其他一些本体格式(turtle、n3 等)并不简单。Fuseki 仅提供纯格式,如 json、xml。

所以我现在可能走错了路。如何在 Fuseki 中简单地对三元组进行推理?实际上,我根本没有被迫使用 Fuseki。我只是想使用一些三元存储,因为个人会迅速变化,而且我不习惯只使用 RDF/XML 文件来存储和编辑个人。

0 投票
1 回答
99 浏览

java - 在java中使用opencyc owl时出现DisjointClasses错误

我目前正在研究一个尝试将 openCYC 用作 KB 的自然语言处理项目。目前,我只是尝试加载本体并使用 java owl api v3.4.8 和 HermiT 实例化推理器,但是每当我尝试实例化推理器时,都会出现错误

线程“主”java.lang.IllegalArgumentException 中的异常:错误:已解析 DisjointClasses(http://sw.opencyc.org/concept/Mx4rEHSj4Q0sQVGnAmZNRRJ20Q)。

当前代码:

这是否意味着opencyc本体本身存在问题?还是我做错了什么?

0 投票
2 回答
236 浏览

agda - 方便地使用多个 EqReasoning 实例化