Please use this identifier to cite or link to this item: http://ena.lp.edu.ua:8080/handle/ntb/19243
Title: Застосування онтологічних моделей для побудови програмних систем
Authors: Буров, Є. В.
Bibliographic description (Ukraine): Буров Є. В. Застосування онтологічних моделей для побудови програмних систем / Є. В. Буров // Вісник Національного університету "Львівська політехніка". – 2012. – № 743 : Інформаційні системи та мережі. – С. 26–34. – Бібліографія: 12 назв.
Issue Date: 2012
Publisher: Видавництво Львівської політехніки
Keywords: база знань
математична модель
онтологія
модель знань
knowledge base
ontology
algebraic type system
knowledge model
algebraic type
Abstract: Розглянуто математичну формалізацію програмної системи, побудованої на основі онтологічних моделей за допомогою апарату алгебраїчної теорії типів. Розроблено формальне подання моделей та системи їх опрацювання. 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
Content type: Article
Appears in Collections:Інформаційні системи та мережі. – 2012. – №743

Files in This Item:
File Description SizeFormat 
4-Burov-26-34.pdf255,98 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.