OWL-API：使一组个体等同于owl:Thing
OWL-API: making a set of individuals equivalent to owl:Thing
我正在尝试添加以下形式的等效公理：
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}”的额外 class，这会阻止推理者按预期做出正确的结论。
在 Protege 中，我可以添加这种类型的等价公理而不会导致额外的 class...我如何对 OWL-API 做同样的事情？
我想通了。我不得不使用 OWLObjectOneOf 来组成一组个体并使其等同于 owl:Thing.
我正在尝试添加以下形式的等效公理：
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}”的额外 class，这会阻止推理者按预期做出正确的结论。
在 Protege 中，我可以添加这种类型的等价公理而不会导致额外的 class...我如何对 OWL-API 做同样的事情？
我想通了。我不得不使用 OWLObjectOneOf 来组成一组个体并使其等同于 owl:Thing.