Я пытаюсь добавить эквивалентную аксиому следующей формы:
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?