Без заголовка

Собственно, в движке поддерживается онтологическая семантическая сетка с самыми разными прибамбасами (ISO 15926 много более кучеряв, нежели OWL, а его выходные RDF/OWL файлы используются только как транспортные контейнеры для реальной сетки. Хотя это и не CYC по объёму, но зато там представление инженерной системы и её жизненного цикла есть прямо "из коробки", ну и 4D экстенсионализм в части онтологии). Питон там вполне полноценный, REPL торчит на передней панели, средства расширения плагинами есть. Питонные пакеты вполне подключаются, я для пробы подключал NLTK -- всё работает. Поэтому отдокументированный многооконный фреймворк для hybrid reasoning, в котором можно объединить работу с семантическими сетями (не логическую, а прямо на Питоне -- ежели нужно, то можно цеплять логические/прологовские библиотеки к Питону, но и просто на Питоне не так плохо получается простые вещи делать), и разные machine learning и NLP штудии -- он есть. Хотя мы нигде эту софтину пока не светили, кроме собственно ISO 15926 комьюнити. Из текущих задач, которые мы щупаем, это парсинг инженерных текстов (стандарты, требования) в формальное представление для CAD/PLM систем. Парсеры пока берём внешние (реальные эксперименты идут с ABBYY Compreno). Но ничто не мешает цеплянуть какой-нибудь парсер с deep learning -- по типу http://www.socher.org/uploads/Main/HuangSocherManning_ACL2012.pdf -- было бы кому в этом всём разобраться, искусственный интеллект оказался такой обширной областью, что в нём все очень узкие специалисты. Ну, мы потихоньку.