Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ena.lp.edu.ua:8080/handle/ntb/19243
Назва: Застосування онтологічних моделей для побудови програмних систем
Автори: Буров, Є. В.
Бібліографічний опис: Буров Є. В. Застосування онтологічних моделей для побудови програмних систем / Є. В. Буров // Вісник Національного університету "Львівська політехніка". – 2012. – № 743 : Інформаційні системи та мережі. – С. 26–34. – Бібліографія: 12 назв.
Дата публікації: 2012
Видавництво: Видавництво Львівської політехніки
Теми: база знань
математична модель
онтологія
модель знань
knowledge base
ontology
algebraic type system
knowledge model
algebraic type
Короткий огляд (реферат): Розглянуто математичну формалізацію програмної системи, побудованої на основі онтологічних моделей за допомогою апарату алгебраїчної теорії типів. Розроблено формальне подання моделей та системи їх опрацювання. In this paper mathematical formalization for software system based on ontological models is proposed. Formalization is built using algebraic types system approach. Developed formal representation of models and modeling system.
URI (Уніфікований ідентифікатор ресурсу): http://ena.lp.edu.ua:8080/handle/ntb/19243
Тип вмісту : Article
Розташовується у зібраннях:Інформаційні системи та мережі. – 2012. – №743

Файли цього матеріалу:
Файл Опис РозмірФормат 
4-Burov-26-34.pdf255,98 kBAdobe PDFПереглянути/відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.