Я определил (в Protege) класс Missing, который эквивалентен ((not (atHome value 30)) и (not (atWork value 30))) и (not (onleave value 30)).
Используя OWL-API, я хотел бы получить свойства одиночного объекта (в данном случае свойства объекта с отрицанием) из выражения класса , чтобы дополнительно получить их домены и диапазоны и выполнить дальнейшие рассуждения. Однако я не уверен, как анализировать все эквивалентные выражения классов в Java.
На данный момент я могу получить эквивалентное выражение класса (в данном случае отсутствует) в функциональной форме с помощью следующего кода.
localOntology.getEquivalentClassesAxioms(missingClass);
Предоставленный код возвращает функциональное представление выражения класса эквивалентности, которое я предоставил в Protege, однако я не могу его проанализировать и извлечь не (значение atWork 30), нет (значение atHome 30), нет (значение onleave 30 ), что я и хотел бы.