OWL-API：使一组个体等效于owl：Thing

Question

我正在尝试添加以下形式的等效公理：

owl:Thing EquivalentTo {individual1, indivdual2, ... individualN}

下面是我尝试添加公理的方式：

String individualSet = "{a, b, c, d}"    
OWLAxiom a = df.getOWLEquivalentClassesAxiom(df.getOWLClass(individualSet), df.getOWLThing());
manager.addAxiom(ontology, a);

问题在于，这实际上会创建一个名为“ {a，b，c，d}”的额外类，这会阻止推理者按预期做出正确的结论。

在Protege中，我可以在不产生额外类的情况下将这种等效形式添加到公理中...如何使用OWL-API进行相同操作？

Answer 1

我知道了。我必须使用OWLObjectOneOf来构成一组个体，并将其等同于owl：Thing。