问题标签 [reasoning]

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

我目前正在构建一个 OWL 本体，直到最近才使用 Pellet 推理器快速分类。然而，自从引入了几个新的类后，推理性能已经慢得像爬行了。尽管推理器完成并且本体不包含任何不可满足的概念等，但推理所花费的时间是不可接受的。我目前正在尝试追踪可能导致放缓的违规班级/班级。

这是我的问题：是否可以记录 Pellet 的推理进度？即是否有可能产生一些输出来记录颗粒在某些推理任务上花费了多长时间/跟踪对任何给定类和公理进行推理需要多长时间？如果是这样，是否有人可以发布一些Java代码？

提前感谢您的回答！

我使用 Protege 4.1 alpha 创建了一个 RDF/OWL 文件。我还在 Protege 中创建了一个已定义的类，称为 CheapPhone。这个类有一个限制，如下所示：

每当一部手机的价格低于350，就被推断为CheapPhone。在 Protege 4.1 alpha 中推断这一点没有问题。但是，我无法使用 Jena 来推断这一点。

我还创建了一个名为 SmartPhone 的已定义类。这个类也有一个限制，如下所示：

每当一部手机有 3G 和互联网时，它就被推断为 SmartPhone。在这种情况下，在 Protege 和 Jena 中推断这一点都没有问题。

我开始认为 Jena 的默认推理引擎有问题。我在 Java 中使用的代码如下：

此代码完美运行并返回实例，但是当我更改下面的代码并使其适用于 CheapPhone 时，它​​不会返回任何内容。

难道我做错了什么 ？

我正在为我设计的数据流编程语言编写编译器。我真正喜欢它的功能之一是您可以表达以下内容：

x <- a + 1 如果 b > 3;

x <- a - 1 如果 b <= 3;

这意味着类似：

x <- a - 1 + 2*(b>3);

为了实现这一点，编译器需要知道：

((b > 3) && (b <= 3)) = 假

((b > 3) || (b <= 3)) = 真

是否有任何人都知道的 C/C++ 库能够验证这两个语句（以及更复杂的语句）？或者是否有任何文件可以通过网络获得任何人都知道类似系统的详细信息？或者有人可以描述一种可能的方法吗？

谢谢，

丹尼尔

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

我有一个 prolog 实现，它允许我使用基于 prolog 的 13 Allen 关系表示来比较事件中的时间点。每个事件都有一个起点（YYYY-MM-DD）和一个终点（YYYY-MM-DD），我可以检查两个事件是同时发生还是一个在另一个之前发生，等等直到一天的粒度（例如1555-12-03 在 1555-12-04 之前）。它确实适用于所谓的 AC 日期（Anno Domini），但现在我有很多发生在公元前（基督之前）的事件。处理这些 BC 事件的最佳方式是什么，并且能够说，例如，雅典的基础（公元前 1556 年）是在哥伦布（1451 年）诞生之前......任何想法都非常受欢迎。

谢谢，

一世。

在下面的示例中，infM 没有推断出 {r myProperty v}，有什么想法吗？

但是，它确实从 mySameAs 断言语句中推断出 {r owl:sameAs r1}。但如果我写：

然后它还输出 {r myProperty v}

示例代码：

我对此很好奇，想尝试一下。但我是 Mac 用户，我能找到的都是基于 Java 的。由于未知原因，我无法在我的 Mac 上运行 Java 应用程序，我更喜欢原生的东西。

我有哪些选择？