Застосування онтологічних моделей для побудови програмних систем
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Застосування онтологічних моделей для побудови програмних систем
|
|
| Creator |
Буров, Є. В.
|
|
| Subject |
база знань
математична модель онтологія модель знань knowledge base ontology algebraic type system knowledge model algebraic type |
|
| Description |
Розглянуто математичну формалізацію програмної системи, побудованої на основі онтологічних моделей за допомогою апарату алгебраїчної теорії типів. Розроблено формальне подання моделей та системи їх опрацювання. 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. |
|
| Date |
2013-05-30T13:47:36Z
2013-05-30T13:47:36Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Буров Є. В. Застосування онтологічних моделей для побудови програмних систем / Є. В. Буров // Вісник Національного університету "Львівська політехніка". – 2012. – № 743 : Інформаційні системи та мережі. – С. 26–34. – Бібліографія: 12 назв.
http://ena.lp.edu.ua:8080/handle/ntb/19243 |
|
| Language |
ua
|
|
| Publisher |
Видавництво Львівської політехніки
|
|