问题标签 [hermit]

我将创建一个包含超过 500 000 个简单事实的本体，并通过 Hermit 或 Pellet 进行推理（它可能会得到 1 000 000 个事实）。我想将推断的结果保存到 RDF 数据存储中（以便通过 SPARQL 实现它们的处理）。

那个本体被认为是大的还是小的？我可以使用 OWL API 和推理器（Hermit 或 Pellet）执行上述过程吗？

我正在尝试创建 HermiT 推理器的实例，但控制台继续显示异常“noSuchMethodError”。

特别是这是来自 java 控制台的错误：

我已经导入了 HermiT（版本 1.4.3.517）所需的所有依赖项，这ReasonerFactory就是创建的行：

错误的行是：

正如控制台所说。

我不明白为什么无法创建实例以及抛出异常的原因。

我有一个用 protègè 制作的本体，我定义了一个ObjectProperty命名的 part-Of。

我正在解析OWLClass试图找出子类是否是part-Of已解析的类。在这种情况下，我正在解析At_Home子类ANA和PHE具有以下subclass of签名，就像 我已经尝试过的这张图片一样：

在哪里target，At_Home OWLClass但该方法继续返回一个空NodeSet，所以这意味着At_Home即使ANA和PHE是它的部分，也没有部分。
想要的结果应该是NodeSet带有OWLClass“ANA”和“PHE”的

遵循 OWL 2 中对称和非对称属性的定义以及子属性继承属性特征中的解释，我假设将非对称属性声明为对称属性的子属性会导致推理器检测到不一致(HermiT 1.3.8.413)，但在 Protégé 5.2.0 中并非如此。对此有何解释？

HermiT 从下面的断言中正确推断出:isNeighbourto:Word和的范围:W1 :isNeighbour :W2，并在 时检测到不一致:W1 :folllows :W2。Protégé 5.2.0 中的 Pellet 和 Fact++ 1.6.5 也是如此。

这段代码似乎是文本的合理形式表示（当单词彼此跟随（不对称）时，单词是（对称）邻居），但在 OWL 的定义中，它似乎是不一致的，因为使用该属性的每个断言:follows都应该一致地允许断言用超类制作:isNeighbour。我不确定推理者是否不如 OWL 严格，或者我对 OWL 有误解。

我想从一个本体文件中提取 DBPedia 本体类层次结构dbpedia_2016-10.owl（从https://wiki.dbpedia.org/downloads-2016-10下载，我通过参考其他一些代码来构建这个方法，因为我是这个领域的初学者：

当我声明并实例化 HermiT 推理器时，我得到了这个异常：

现在，我不明白 HermiT 正在抱怨它无法识别的数据类型，但是如何在不修改本体的情况下解决这个问题呢？

我不确定它是否会有所帮助，但这些是我项目的依赖：

提前感谢您的任何指导！

我将 OWLAPI 与 HermiT 一起使用，除非我在创建推理器后尝试修改本体，否则它可以工作。

是否应该通知推理者本体的修改？或者我需要重新创建推理器，还是可以通知推理器它应该与更改“同步”？（如 Protege 中的菜单项）

编辑：什么“不起作用”：我正在添加一个使本体不一致的公理，如果我在创建推理器后添加它，推理器仍然报告它是一致的。

我正在尝试使用 HermiT 在 Java 中推理我的本体，但它会导致如下错误：

我是 Java 推理的新手。这是什么意思？

我正在尝试在这个本体中进行推理。我在本体下面发帖。

我希望“filippo”个人被分配到“父亲”类。期望这样对吗？还是本体不好形成？我使用 OWlAPI 5 和隐士作为推理器。我是本体领域的新手！！请帮忙。谢谢，丽塔

我是门生的新手。我已经能够运行一些示例，例如pizza.owlor travel.owl。然后我打开了一个其他人创建的本体，当我运行 HermiT 推理器时，我收到以下错误：

本体中定义的字符串似乎存在一些问题（但我可能错了）。关于如何确定问题在本体中的任何建议？

我正在使用 Protege 5.5.0

谢谢！

我正在使用 protege5-5 和推理机 Hermit 1.4 3.456。

我有一个Animal包含 2 个子类Animal1和Animal2. 我有一个属性eats和一个属性isEatenBy，它被定义为eats. 当我添加 Animal1它的子类的描述时eats some(Animal2)，我希望推理器添加Animal2它的子类的描述，isEatenBy Animal1但事实并非如此。

知道我应该怎么做才能做到这一点，或者我所期望的无论如何都不应该发生？