Люблю я Дугласа Лената.
А с CYC сейчас вовсю развлекаются, причем в разных местах: http://www.cyc.com/cyc/company/news/Waikato%20Times%20news%20article (используя уже наработанную базу знаний, подкачивают новые знания из википедии. Мечта о том, что при достаточно большой исходной базе понятий эту базу можно будет пополнять, потихоньку начинает сбываться).
В принципе, все то же самое можно делать с технической документацией и RDL 15926. Ничего не мешает. Все САПРы по факту -- это такие специальные CYC с кучей интерфейсов.
Да, в области работы со знаниями много чего понапроисходило за последний десяток лет, в том числе в тех местах, где словом "знание" и не пахнет. Платформ универсального моделирования оказывается на поверку довольно много, хотя все они требуют существенных программных доработок.
