只检索根类/没有断言父类子类的类

Question

有没有一种简单的方法可以从OWLAPI中的OWL本体中只检索根类？这里我指的是没有断言父类的命名类。增加了复杂性，尝试不使用reasoner，因为本体是巨大的，并且reasoner没有在足够快的时间内完成（通常）。一如既往的感谢！

Answer 1

实际上，使用推理器会使任务变得很琐碎，因为唯一没有父级的命名类是owl:thing。

开玩笑的是，您需要获取本体签名中的所有类，并确保每一个类都不作为子类出现在子类公理中（或者，如果出现了，则另一端的类是owl:thing。

代码如下所示：

    OWLDataFactory df=OWLManager.getOWLDataFactory();
    OWLClass thing=df.getOWLThing();
    OWLOntology o = ...
    o.classesInSignature()
                   // all asserted superclasses
        .filter(c->o.subClassAxiomsForSubClass(c)
                               // skip owl:Thing 
                    .filter(s->!thing.equals(s.getSuperClass()))
                    // only keep the ones with no superclass
                    .count()==0)
        .forEach(System.out::println);

此示例打印出这些类的IRI。