如何用OWLAPI有效地计算不交点？

Question

private void computeDisjointness(OWLClass clazz) {

    NodeSet<OWLClass> disjointSetsFromCls = reasoner.getDisjointClasses(clazz);
    for (Node<OWLClass> singleDisjoinSet : disjointSetsFromCls) {
        for (OWLClass item : singleDisjoinSet) {
             for (OWLDisjointClassesAxiom disjAxiom : ontology.getAxioms(AxiomType.DISJOINT_CLASSES)) {
                 if(disjAxiom.containsEntityInSignature(item))
                  {
                   //asserted
                  }
                  else
                  {
                  //derived
                  }
        }
    }
}

正如您所看到的，瓶颈是由3个循环给出的，这些循环使应用程序变慢；此外，对本体的每一类都执行计算分离过程。

是否有更有效的方法来获得不交点，并检查公理是否被断言或派生？

Answer 1

一个简单的优化是将ontology.getAxioms(AxiomType.disjoint_classes)移动到调用方法中，然后将其作为参数传入。这个方法在每次调用时都返回一个新的集合，每次都返回相同的内容，因为您没有修改本体。因此,如果您有N个类,您将创建至少N个相同的集合；如果许多类实际上是不相交的，则会更多。

优化第二：检查不相交节点集的大小。大小1表示没有不相交，因此可以跳过方法的其余部分。

优化3：跟踪你已经访问过的类。例如，如果你有

A disjointWith B

优化4：我不相信这段代码能可靠地告诉您哪些不相交的公理是推断出来的，哪些是断言出来的。您可以：

A disjointWith B
B disjointWith C

推理器将返回{A,B,C}以响应请求A的不相交。你会在一个不相交公理的签名中找到所有这三个元素，并发现推理者没有做任何推论。但是输入中的公理与输出中的公理并不相同（许多推理者实际上会对输入公理进行吸收，并将它们转换为一个内部表示，即一个具有三个操作数的公理）。所以，我对inferd和asserted的定义是，由推理器返回的节点集与一个不相交公理的操作数集相同。为了验证这个条件，我将使用所有不相交的公理，提取操作数集，并将这些集保留在一组集中。那么,

• 对于每个类（并保持对每个类只访问一次的优化）,
  • 获得不相交的节点集（这里的优化是为了不麻烦，如果集合中只有一个类），
  • 将其转换为一组实体，
  • 并检查前面创建的集合是否包含此新集合。如果是，这是一个断言的公理；如果不是，则为推断。