Меня всегда бесило слово "онтология". Это когда лингвисты приходят и начинают "авторитетно" вещать о том, как создавать объектные модели, "тут мы добавим характеристику", "а тут отнаследуем атрибут".
Очевидно же, что для программиста нужно говорить на языке программистов.

Это я книжку решил почитать:

Title               : Онтология для поддержки задач извлечения смысла из текста на естественном языке
Author(s)           : Игорь Богуславский & Akim Demaille & Вячеслав Диконов & Cветлана Тимошенко
Published           : 2012
[html]<a href="retroshare://file?name=Ontologhiia%20dlia%20poddierzhki%20zadach%20izvliechieniia%20smysla%20iz%20tieksta%20na%20ieoghuslavskii%20%26%20Akim%20Demaille%20%26%20Viachieslav%20Dikonov%20%26%20Cvietlana%20Timoshienko.pdf&size=225774&hash=06a09c19e17a9e5224d4c9756b7d48c99893b4af">retroshare://file?name=Ontologhiia%20dlia%20poddierzhki%20zadach%20izvliechieniia%20smysla%20iz%20tieksta%20na%20ieoghuslavskii%20%26%20Akim%20Demaille%20%26%20Viachieslav%20Dikonov%20%26%20Cvietlana%20Timoshienko.pdf&size=225774&hash=06a09c19e17a9e5224d4c9756b7d48c99893b4af</a>[/html]

Если рассматривать онтологию в такой перспективе, то формальный язык (OWL, KIF...), который используется для записи самой онтологии выступает как метаязык второго порядка.

Ага, а если как онтологию рассматривать текст программы (например на С++), то грамматика языка, на котором написана программа (например C++), будет выступать как метаязык второго порядка.

В совокупности онтологическая информация позволяет перейти от формального представления собственно текста к моделированию описываемой текстом реальности (и даже к логическому выводу об этой реальности).

Потрясающей мощи находка для 2012-го года. Лингвисты что-то поняли про программистов. Программы, оказывается, могут моделировать реальность...

Отредактировано Лис (2019-01-02 02:33:11)