OWLAPI慢速计算不相交公理

Question

for (OWLClass clazz1 : ontology.getClassesInSignature()) {
    for (OWLClass clazz2 : ontology.getClassesInSignature()) {
        OWLAxiom axiom = MyModel.factory.getOWLDisjointClassesAxiom(clazz2, clazz1);
            if(  !(ontology.containsAxiom(axiom)) && reasoner.isEntailed(axiom))
            {
                System.out.println(clazz2.toString() + " disjoint with " + clazz1.toString());
            }

问题是：执行时间非常慢，我会说是永恒的。即使我减少了一些if语句的比较数，情况还是一样的。

Protege似乎非常快地计算出这些推断的公理，并且它基于我正在使用的相同API(OWLAPI)。那么，我是不是走错了路？

Answer 1

分析代码很可能会发现慢的部分是

reasoner.isEntailed(axiom)

此表单要求推理器重新计算每个类对的蕴涵，包括Clazz1和Clazz2相等的对（您可能想跳过它）。

或者，您可以对signature中的类进行一次迭代，并使用reasoner获取所有不相交的类：

Set<OWLClass> visited=new HashSet<>();
for (OWLClass c: ontology.getClassesInSignature()) {
  if (visited.add(c)) {
    NodeSet set = reasoner.getDisjointClasses(c);
    for (Node node: set.getNodes()) {
        System.out.println("Disjoint with "+c+": "+node);
        visited.addAll(node.getEntities());
    }
  }
}