Без заголовка
Ваше желание разрабатывать 'продвинутую' систему, основываясь на 'ущербных' подходах (OWL, UML, ..), наверняка не оправдает ожиданий. Даже если когда-нибудь у Вас будет работающий интерпретатор OrgLAN, станет проблема наполнение (создание) базы данных на нем, что при Вашем фундаментальном подходе будет делом более сложным. Предлагаю рассмотреть вариант использования ЕЯ и естественной семантики,
как наиболее адекватной как для создания онтологии (подязыка в данном случае), так и дальнейшего способа общения с системой. Конечно, предвижу возражения, что язык многозначен, сложен и пр. Это так, однако же есть наработки, которые можно было бы использовать в качестве хорошего фундамента.
Кроме этого, Ваш оптимизм в отношении Крокета может дорого обойтись, ибо Smalltalk, будь он трижды хорош (хотя я так вообще не думаю) ни по выразительности, ни по скорости не годится для данной задачи. Мнение о том, что он проигрывает в 1.5 С++ ничем не подтверждено. Разница в два порядка минимум. Уже не говоря о том, что в случае с крокетом очень сложно будет использовать что-то кроме Smalltalk. Дружба только с дядей Васей имеет свои минусы. Я уж не говорю о совершенно неадекватной современности графической части, причем всякие отмазки вроде 'у нас все есть, только в других ветках, а вообще мы ого-го' меня лично не успокоили бы.
P.S. Анонимность по причине глюков с регистрацией.