Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals
The work is devoted to the improvement of the conceptual and formal-logical model of the ontology of the subject area "Modeling and Processing of Cyclic Signals". Namely, the work developed a formal-logical model of the sub-ontology of tasks, a formal-logical model of the sub-ontology of p...
Saved in:
| Date: | 2024 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
Kyiv National University of Construction and Architecture
2024
|
| Subjects: | |
| Online Access: | https://es-journal.in.ua/article/view/321298 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Environmental safety and natural resources |
Institution
Environmental safety and natural resources| id |
es-journalinua-article-321298 |
|---|---|
| record_format |
ojs |
| spelling |
es-journalinua-article-3212982025-06-24T15:22:13Z Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals Удосконалена онтологічна модель бази знань експертної системи підтримки прийняття рішень в галузі цифрового опрацювання та комп’ютерної симуляції циклічних сигналів Lupenko, Serhii A. Volianyk, Oleksandr V. modeling of ontologies mathematical modeling signal processing cyclic signals computer ontology expert system моделювання онтологій математичне моделювання опрацювання сигналів циклічні сигнали комп’ютерна онтологія експертна система The work is devoted to the improvement of the conceptual and formal-logical model of the ontology of the subject area "Modeling and Processing of Cyclic Signals". Namely, the work developed a formal-logical model of the sub-ontology of tasks, a formal-logical model of the sub-ontology of problem-solving methods in the field of modeling and processing of cyclic signals, a formal-logical model of the sub-ontology of hardware and software tools, and a formal-logical model of the sub-ontology of the results of applying mathematical models, methods and means of processing and computer simulation of cyclic signals. The improved ontology model and its implemented prototype are the main knowledge base of the onto-oriented expert decision-making support system when solving the tasks of justified selection of mathematical models and methods for evaluating characteristics, spectral analysis and computer simulation of cyclic signals within the framework of the theory of cyclic functional relations. Examples of ontology fragments developed in the Protégé environment are given. The non-contradiction of the developed ontology was confirmed by means of Protégé's automated formal and logical reasoning. The expediency of API-based integration of the developed computer ontology with a large linguistic model, namely, with ChatGPT, is substantiated. Робота присвячена удосконаленню концептуальної та формально-логічної моделі онтології предметної області «Моделювання та опрацювання циклічних сигналів». А саме, в роботі розроблено формально-логічну модель підонтології завдань, формально-логічну модель підонтології методів розв’язання завдань в галузі моделювання та опрацювання циклічних сигналів, формально-логічну модель підонтології програмно-апаратних засобів та формально-логічну модель підонтології результатів застосування математичних моделей, методів та засобів опрацювання та комп’ютерної симуляції циклічних сигналів. Удосконалена модель онтології та реалізований її прототип є основою бази знань онтоорієнтованої експертної системи підтримки прийняття рішень при вирішенні завдань обґрунтованого вибору математичних моделей та методів оцінювання характеристик, спектрального аналізу та комп’ютерної симуляції циклічних сигналів в рамках теорії циклічних функціональних відношень. Наведено приклади фрагментів онтології, розробленої в середовищі Protégé. Засобами автоматизованого формально-логічного розмірковування Protégé підтверджено несуперечність розробленої онтології. Обґрунтовано доцільність інтеграції на основі API розробленої комп’ютерної онтології із великою лінгвістичною моделлю, а саме, із ChatGPT. Kyiv National University of Construction and Architecture 2024-12-26 Article Article application/pdf https://es-journal.in.ua/article/view/321298 10.32347/2411-4049.2024.4.92-98 Environmental safety and natural resources; Vol. 52 No. 4 (2024): Environmental safety and natural resources; 92-98 Екологічна безпека та природокористування; Том 52 № 4 (2024): Екологічна безпека та природокористування; 92-98 2616-2121 2411-4049 10.32347/2411-4049.2024.4 en https://es-journal.in.ua/article/view/321298/311849 Copyright (c) 2024 S.A. Lupenko, O.V. Volianyk http://creativecommons.org/licenses/by/4.0 |
| institution |
Environmental safety and natural resources |
| baseUrl_str |
|
| datestamp_date |
2025-06-24T15:22:13Z |
| collection |
OJS |
| language |
English |
| topic |
modeling of ontologies mathematical modeling signal processing cyclic signals computer ontology expert system |
| spellingShingle |
modeling of ontologies mathematical modeling signal processing cyclic signals computer ontology expert system Lupenko, Serhii A. Volianyk, Oleksandr V. Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals |
| topic_facet |
modeling of ontologies mathematical modeling signal processing cyclic signals computer ontology expert system моделювання онтологій математичне моделювання опрацювання сигналів циклічні сигнали комп’ютерна онтологія експертна система |
| format |
Article |
| author |
Lupenko, Serhii A. Volianyk, Oleksandr V. |
| author_facet |
Lupenko, Serhii A. Volianyk, Oleksandr V. |
| author_sort |
Lupenko, Serhii A. |
| title |
Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals |
| title_short |
Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals |
| title_full |
Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals |
| title_fullStr |
Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals |
| title_full_unstemmed |
Improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals |
| title_sort |
improved ontological model of the knowledge base of the expert system for decision support in the field of digital processing and computer simulation of cyclic signals |
| title_alt |
Удосконалена онтологічна модель бази знань експертної системи підтримки прийняття рішень в галузі цифрового опрацювання та комп’ютерної симуляції циклічних сигналів |
| description |
The work is devoted to the improvement of the conceptual and formal-logical model of the ontology of the subject area "Modeling and Processing of Cyclic Signals". Namely, the work developed a formal-logical model of the sub-ontology of tasks, a formal-logical model of the sub-ontology of problem-solving methods in the field of modeling and processing of cyclic signals, a formal-logical model of the sub-ontology of hardware and software tools, and a formal-logical model of the sub-ontology of the results of applying mathematical models, methods and means of processing and computer simulation of cyclic signals. The improved ontology model and its implemented prototype are the main knowledge base of the onto-oriented expert decision-making support system when solving the tasks of justified selection of mathematical models and methods for evaluating characteristics, spectral analysis and computer simulation of cyclic signals within the framework of the theory of cyclic functional relations. Examples of ontology fragments developed in the Protégé environment are given. The non-contradiction of the developed ontology was confirmed by means of Protégé's automated formal and logical reasoning. The expediency of API-based integration of the developed computer ontology with a large linguistic model, namely, with ChatGPT, is substantiated. |
| publisher |
Kyiv National University of Construction and Architecture |
| publishDate |
2024 |
| url |
https://es-journal.in.ua/article/view/321298 |
| work_keys_str_mv |
AT lupenkoserhiia improvedontologicalmodeloftheknowledgebaseoftheexpertsystemfordecisionsupportinthefieldofdigitalprocessingandcomputersimulationofcyclicsignals AT volianykoleksandrv improvedontologicalmodeloftheknowledgebaseoftheexpertsystemfordecisionsupportinthefieldofdigitalprocessingandcomputersimulationofcyclicsignals AT lupenkoserhiia udoskonalenaontologíčnamodelʹbaziznanʹekspertnoísistemipídtrimkiprijnâttâríšenʹvgaluzícifrovogoopracûvannâtakompûternoísimulâcííciklíčnihsignalív AT volianykoleksandrv udoskonalenaontologíčnamodelʹbaziznanʹekspertnoísistemipídtrimkiprijnâttâríšenʹvgaluzícifrovogoopracûvannâtakompûternoísimulâcííciklíčnihsignalív |
| first_indexed |
2025-07-17T11:19:49Z |
| last_indexed |
2025-07-17T11:19:49Z |
| _version_ |
1850411382091022336 |