Пытаясь углубить моё понимание OWL и Description Logics, я разочарован тем, что не могу найти анализатор Description Logics, который мог бы преобразовать DL в синтаксис веб-онтологии («DL German синтаксис», если я не ошибаюсь).
Для ознакомления с обозначениями на Windows я использую AutoHotkey с отправкой символов UTF-8 в редактор (например: Send {U+2200} пишет ∀). Это хорошо работает с Sublime Text, VSCode или Notepad3, чтобы назвать несколько, со вспомогательным шрифтом, конечно, но я могу дальше go и использовать аргумент из синтаксиса DL напрямую или через конвертер туда и обратно, по крайней мере, к одному используемому синтаксису как нотация Манчестера?