例如使用 owl api 3.4.10 和 jfact 1.2.1 获取所有类型

Question

我使用 Protege 制作了一个本体。它由两个基类组成。它们中的每一个都有三个子类。子类是具有特定对象和数据属性的类。当我创建一个实例时，我将它作为类个体，但具有这样的数据属性，因此该实例也属于某个子类。当我在 Protege 中运行 Hermit 时，它做得很好。它说我的实例属于类和子类。但是在 Java 和 Owlapi 的 Jfact 中，当我尝试打印子类中的所有实例时，我的实例只属于超类，而不属于子类。是关于 JFact 还是其他什么？

for (OWLClass c : ont.getClassesInSignature()) {
            if (c.getIRI().getFragment().equals("Baby")) {
                NodeSet<OWLClass> subClasses = reasoner.getSubClasses(c, false);

                for (OWLClass subClass : subClasses.getFlattened()) {
                    System.out.println(subClass.getIRI().getFragment());


                    NodeSet<OWLNamedIndividual> instances = reasoner.getInstances(subClass, false);

                    for (OWLNamedIndividual i : instances.getFlattened()) {
                        System.out.println(i.getIRI().getFragment());

                        s += i.getIRI().getFragment() + " ";
                    }
                }
                }
            }

Answer 1

看起来像 JFact 中的一个错误。你能在它的跟踪器上添加一个问题，包括版本和本体吗？

编辑：JFact 1.2.1 是古老的并且有已知的错误。至少更新到 1.2.4（和 OWLAPI 3.5.5，3.x 版本的最新版本）。

如果可能，我建议更新到 OWLAPI 4（用于 Java 7）或 5（用于 Java 8）和相同的 JFact 主版本。