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

我知道在Qt中从给定的绝对路径创建新路径，使用QDir :: makepath()，如this问题中建议的那样，使用dir.makepath(path)。我在使用它时没有任何问题，它运行得很好。我的问题是关于为什么开发人员不提供一个静态函数以类似于QDir :: makepath("/User...

这是我第一次在这里写东西，但我真正遇到了一个问题：是否可能在已填充数据的No-SQL数据库（如Neo4J）上使用Jena推理器？ 我有一个Neo4J的图表表示了一堆三元组，我想在它们上面使用Jena API和Jena推理器。我考虑使用Jena的SDB/TDB组件，但我不知道如何将数据加载到...