Я заметил в Protégé 5, что все выводы, полученные по правилам SWRL, нельзя экспортировать с помощью инструмента «Экспортировать выведенные аксиомы как онтологию» (со всеми включенными параметрами).Например, рассмотрим следующую онтологию:
`https://pastebin.com/ZCMgxzRs` .
Вывод «a instaceOf B» не экспортируется, как видно из результатов, приведенных здесь:
`https://pastebin.com/AaABJQt4` .
Есть ли способэкспортировать такой тип умозаключений?