Поспешный, А. С.Стиренко, С. Г.Поспішний, О. С.Стіренко, С. Г.Pospishnyi, O. S.Stirenko, S. G.2013-09-252013-09-252012Поспешный А. С. Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK / А. С. Поспешный, С. Г. Стиренко // Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник. – 2012. – № 20(40). – С. 106–115. – Бібліогр.: 13 назв.1560-8956https://ela.kpi.ua/handle/123456789/3921ruонтологияконкретные типы данныхлогический анализEL++ELKЭффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELKЕфективний алгоритм логічного аналізу OWL 2 EL онтологій з типізованими виразами на базі логічного процесору ELKEffective reasoning algorithm for OWL 2 EL ontologies with datatype expressions based on ELK reasonedArticleC. 106-115004.822:004.832.32