Конечно, использование в явном виде онтологий с необходимостью приведет и к пересмотру самых базовых понятий в программировании -- ибо нужно будет честно ответить на вопрос об онтологической природе программистских объектов. Эту тему непрерывно поднимает justy_tylor (например, про "время в языках программирования" -- http://justy-tylor.livejournal.com/151557.html).
Я считаю, что онтологическое программирование будет не просто развиваться само по себе, как удобный способ работать с онтологиями (в том числе микротеориями, подхватываемыми из внешних хранилищ, "в большом") из обычных языков программирования, но будет языкоориентированным -- то есть поддержано разнообразными language workbenches, дающими возможность формулирования пользовательских нотаций для отражения понятий предметной области.
Я считаю, что программирование/онтологизирование/моделирование будут через некоторое очень небольшое время одним и тем же. И это быстро-быстро начнёт менять сам предмет программирования. Так, я неделю назад обсуждал с одним из известных авторов школьных и вузовских учебников информатики, когда нужно знакомить людей с материалом книжки BORO -- и он мне ответил: "в третьем классе, пожалуй, рано. В ВУЗе уже поздно. Скорее всего где-то в девятом классе". А сейчас он эту книжку внимательно читает: ибо уже понятно, как учить алгоритмике, но непонятно, как учить формально записывать в программе ответ на вопрос "что есть в мире".
Отрадно видеть, что эти идеи сейчас активно разрабатываются не только где-то далеко и недоступно, но и людьми, с которыми можно поговорить по-русски:
1. Проект онтологического программирования .15926 (обсуждение в комьюнити
dot15926, реализован язык .15926L как работа с библиотеками справочных данных ISO 15926 в среде Питона). Очень надеюсь, что еще в этом году эта технология не просто выйдет в мир с исходными кодами и оттестированной, но и будет хорошо отдокументирована (мы делаем всё, чтобы этого добиться -- http://dot15926.livejournal.com/23803.html). А с Нового года займёмся "языкоориентированностью" -- http://dot15926.livejournal.com/24612.html. Применений ожидается множество. Так, софт praxos явно будет на базе этого движка онтологического моделирования -- пункт 8а в http://praxos.livejournal.com/12576.html2. Проект Ontological Programming Framework, также дающий возможность работы с онтологиями из Питона. Этот проект ведется
algebraic_brain, вебсайт проекта: http://code.google.com/p/py-opf/. Сегодня там появилась преальфа софта, поздравляю автора!3. Как я понимаю, выхода на какой-то проект можно ждать и от
avlasov. У него есть множество свежих постингов по данной проблеме: http://avlasov.livejournal.com/47229.html, http://avlasov.livejournal.com/47061.html, http://avlasov.livejournal.com/37597.html, да и раньше он на эту тему писал регулярно.Очень надеюсь, что этой проблемой связи онтологии, философской логики и современной computer science заинтересуются больше людей, которые или поддержат имеющиеся уже проекты, или сделают свои новые. Это ведь сейчас фронтир, и для участия в этих прорывных исследованиях не нужно принимать никаких правительственных решений о поддержке науки или затевать государственные программы научно-технического развития. Нужно просто сказать себе "мне это интересно", и заняться этим. Никакой бюрократии, никаких начальников. Просто начать тратить на это время, просто быть одной ногой в настоящем, а не полностью увязать в программистком прошлом. Ибо я считаю, что после данного постинга онтологическое программирование по-русски уже не столько будущее, сколько настоящее. Куча ведь начинается с трёх зерен...