The protégé project: a look back and a look forward
Кваліфікаційна робота присвячена аналізу динамічних графів знань для «розумних» міських застосунків. В першому розділі кваліфікаційної роботи освітнього рівня «Бакалавр» розглянуто стан досліджень в галузі динамічних графів знань для «розумних міст». Описано походження даних для робочих процесів «розумного міста». Подано опис цифрових двійників реального світу. Розглянуто цифрові двійники реального світу «розумних міст». Висвітлено онтологія деривації даних «розумних» міських застосунків. Описано елемент онтології «OntoDerivation TBox». В другому розділі кваліфікаційної роботи описано елемент онтології «OntoDerivation ABox». Висвітлено підключення «розумних» міських застосунків до «OntoAgent». Розглянуто агент деривації «розумних» міських застосунків. Проаналізовано синхронний режим зв'язку агента «розумних» міських застосунків. Висвітлено асинхронний режим зв'язку агента «розумних» міських застосунків. Описано паралельність і багатопотоковість агента «розумних» міських застосунків. Розглянуто клієнт деривації «розумних» міських застосунків. В третьому розділі кваліфікаційної роботи подано оновлення змішаного типу клієнтів «розумних» міських застосунків. Проаналізовано автоматизоване заповнення та оновлення підграфа виведення «розумних» міських застосунків. Описано процес оцінювання онтології «розумного міста». The qualification work is devoted to the analysis of dynamic knowledge graphs for "smart" urban applications. In the first section of the qualifying work of the "Bachelor" educational level, the state of research in the field of dynamic knowledge graphs for "smart cities" is considered. Data origins for smart city workflows are described. A description of digital doubles of the real world is provided. The digital counterparts of the real world of "smart cities" are considered. The ontology of data derivation of "smart" urban applications is highlighted. The ontology element "OntoDerivation TBox" is described. In the second section of the qualification work, the ontology element "OntoDerivation ABox" is described. The connection of "smart" city applications to "OntoAgent" is highlighted. The agent of derivation of "smart" urban applications is considered. The synchronous communication mode of the agent of "smart" urban applications is analyzed. The asynchronous communication mode of the agent of "smart" urban applications is highlighted. Parallelism and multithreading of the agent of "smart" urban applications are described. The client of the derivation of "smart" urban applications is considered. In the third section of the qualification work, an update of the mixed type of clients of "smart" urban applications is presented. The automated filling and updating of the output subgraph of "smart" urban applications was analyzed.