reasoning

reasoning

文章 0 浏览 3

构建基于规则的 SKOS Reasoner

我必须为本体 SKOS 构建一个推理器,以根据 CLIPS / Jess 中制定的规则进行推理。我想要简单形式的自动推理。 我找不到任何专门可以帮助我为带有规则…

短暂陪伴 2024-12-01 07:18:25 1 0

如何将语义推理器集成到 Sesame 中?

我正在为 TripleStore 开发 API。 openrdf.org" rel="nofollow">芝麻。它有一个与 RDF 一起使用的推理器。 因为我也使用 OWL。所以我想添加另一个语义…

握住你手 2024-11-27 19:42:55 2 0

耶拿递归推理问题

在下面的示例中,infM 没有推断出 {r myProperty v},有什么想法吗? 但是,它确实从 mySameAs 断言语句中推断出 {r owl:sameAs r1}。但如果我写: th…

十六岁半 2024-11-03 08:08:13 4 0

import java.util.UUID 的用途是什么?

import java.util.UUID public class Person implements Serializable { private UUID uuid; public Person() { uuid = UUID.fromString("3856c3da-ea…

独自←快乐 2024-10-10 12:14:24 12 0

如何在 Protégé 中使用 OWL 解决爱因斯坦之谜时获得单独的结果?

我想更好地理解本体论和推理。有一个有趣的谜题,名为 爱因斯坦在网络上的谜语可以借助本体论和推理来解决。我从该站点下载了 OWL 本体并将其导入 Pro…

诗化ㄋ丶相逢 2024-10-01 17:59:56 9 0

道义逻辑编程

我需要为道义逻辑编写规则,有没有任何编程语言可以做到这一点?我看到了 prolog,现在正在学习,但是如何在 PROLOG 中表达道义逻辑?请帮忙…

眼眸里的快感 2024-09-16 16:32:31 9 0

有没有 C/C++允许您找出一组表达式是否互斥的库?

我正在为我设计的数据流编程语言编写编译器。我真正喜欢它的功能之一是您可以表达以下内容: x 3; 如果 b <= 3,则 x <- a - 1; 这意味着: x 3); …

陈年往事 2024-09-16 09:29:00 9 0

推断具有整数基数约束的实例时出现问题

我使用 Protege 4.1 alpha 创建了一个 RDF/OWL 文件。 我还在 Protege 中创建了一个定义的类,名为 CheapPhone。该类有一个限制,如下所示: (hasPric…

流星番茄 2024-09-06 04:21:05 10 0

使用 Pellet Reasoner 监控推理进度

我目前正在构建一个 OWL 本体,直到最近才使用 Pellet 推理机快速分类。然而,自从引入了几个新类后,推理性能已经慢得像爬行一样。尽管推理器完成并…

尐偏执 2024-08-31 20:25:40 15 0

一阶逻辑引擎

我想创建一个可以使用一阶逻辑进行简单推理的应用程序。谁能推荐一个可以接受任意数量的 FOL 表达式并允许查询这些表达式(最好通过 Python 访问)的…

番薯 2024-08-22 12:12:00 9 0
更多

推荐作者

胡图图

文章 0 评论 0

zt006

文章 0 评论 0

z祗昰~

文章 0 评论 0

冰葑

文章 0 评论 0

野の

文章 0 评论 0

天空

文章 0 评论 0

更多

友情链接

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文