我有一个严重的问题要让任何推理器启动并运行。此外，文档中的示例：https ://jena.apache.org/documentation/inference/ 在这里不起作用。我将示例转移到单元测试中，以便更容易重现问题。

推理是否仅限于某些环境，如空间 JDK 等，还是我出错了？

谢谢

这里的示例代码（作为java单元测试）：

目标：

我不想在本体之间实现基于规则的映射以完成数据迁移的常见任务。

实现目标的方法：

为了实现这一点，我开发了一种抽象数据结构，它能够存储任何数据类型的 xml 表示提供的所有信息。然后我编写了一个解析器，它从目标文档类型定义中构建了一个本体。现在，当我读取其中的数据时，它首先与abstractDatatype命名空间相关联，我们将其称为aS。目标数据结构位于命名空间tS中。

问题：

如果我尝试通过这样的规则在具有相同名称但不同命名空间的两个资源之间表达类型平等：

推理者不明白。也许规则有错误，应该解释为：如果有相同的类型名映射到不同的命名空间 tS，就像它在 aS 中一样，那么 aS 的所有个体在tS中也得到相同的类型 另一个问题是，这如果没有某种类型的个体，那么某种规则可能不起作用，并且有人告诉我，这样表达它可能还不够。几乎或者，我也可以创建在所有组合之间进行映射的 SubClassOf 规则，但这会在模型中产生很多污垢，我希望能够添加更多过滤条件而不是更通用。

但是，如果有人对基于规则的本体映射有一些经验，我将很高兴获得一些见解。

这是一个 java 单元测试，它演示了不工作的映射问题：

我正在研究推理。我正在使用 Jena OWL 推理器。

我有两种个体，服务器和应用程序。服务器可以托管应用程序，负责建立链接的对象属性是“data:heberge”。我会找到托管在服务器上的应用程序。

服务器是这样写的：

应用是这样的：

我尝试以下代码，但它不能正常工作：

请问你有什么想法吗？

我正在研究 OWL 本体，我需要一些特定的问题我只需要本体模式（TBox）并且我迷路了，使用推理和 sparql 和 OWL API 可以完成哪些操作？

更具体地说，我需要以下内容：1-检查类和属性之间的基数。2-找到特定类的包含关系。3-检查特定事实是否成立（例如，两个类是否不相交） 4-找到一组类之间的路径（类属性系列）。

推理、sparql 和 OWL API 分别用于什么？哪一个适合我的情况？

实际上我不知道如何开始以及使用什么技术。此外。请给我一些参考资料好吗？

谢谢。

I have question based on the topic:

SOF - Einstein puzzle in OWL

In the owl, all cardinality restrictions are based on functional and inverse functional properties of Object Properties. I have remodeled it using QCRs.

Old model (example):

New model /EDITED/:

I replaced all "some" with "exactly 1". I think the first type is equivalent to the second model, but reasoner FaCT++ is frozen after 15 sec of his start (3+ GB RAM wasted and frozen). HermiT is not freezing, but he cannot infer anything but subclasses.

Final file /EDITED/: FS or MR

Thank you for your answers.

如果我们将一个变量放在 GenericRuleReasoner 的头部，而该变量没有出现在规则的主体中，会发生什么？

例如，如果我们有以下规则：

规则说每个人都有一个父亲。假设我们有一个三元组:a rdf:type :Person ，推理器在这里表现如何？它会创建一个带有空白节点的新三元组_x :father :a吗？

你认为我可以使用 OWL 推理来获得以下本体的排序结果，例如：

1. 求职者2
2. 求职者1

或者新的关系，像这样：

1. 空缺1 --> 求职者2
2. 空缺1->求职者1

因为 JobSeeker2 更适合，因为两者都指向相同的技能，但 JobSeeker1 也不错，因为两者都与父概念 OOP 有关系。

我正在尝试使用常识推理。在其中我遇到了一个很酷的东西，叫做 Conceptnet http://conceptnet5.media.mit.edu/。还有一个搜索页面用于搜索不同的概念。这是搜索页面（链接）。我想通过python使用它。我通过 api calls(link) 尝试了这个 Calling conceptnet。但我想用 python 和 ubuntu 将它设置到我的机器上。他们已经给出了在本地设置 concpetnet 的方法（链接）. 在这方面，他们使用 sqlite 进行索引。但我想知道如何将 Apache solr 用于相同目的。我是 apache solr 的新手，所以可以使用 apache solr 代替 od sqlite 并且还会改变以下方法，该方法正在用于通过 python 调用概念网的当前方法。

帮助表示赞赏。谢谢 :)

有谁知道评估三重商店推理性能的基准？我正在使用 Stardog，它使用 Pellet 作为其推理引擎，并寻找一个基准来评估推理性能。

如果没有任何关于如何进行评估的建议，我们将不胜感激。

谢谢。