Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK
DSpace at NTB NTUU KPI
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK
Ефективний алгоритм логічного аналізу OWL 2 EL онтологій з типізованими виразами на базі логічного процесору ELK Effective reasoning algorithm for OWL 2 EL ontologies with datatype expressions based on ELK reasoned |
|
Creator |
Поспешный, А. С.
Стиренко, С. Г. Поспішний, О. С. Стіренко, С. Г. Pospishnyi, O. S. Stirenko, S. G. |
|
Subject |
онтология
конкретные типы данных логический анализ EL++ ELK 004.822:004.832.32 |
|
Publisher |
Київ
НТУУ "КПІ" |
|
Date |
2013-09-25T12:58:31Z
2013-09-25T12:58:31Z 2012 |
|
Type |
Article
|
|
Format |
C. 106-115
|
|
Identifier |
Поспешный А. С. Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK / А. С. Поспешный, С. Г. Стиренко // Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник. – 2012. – № 20(40). – С. 106–115. – Бібліогр.: 13 назв.
1560-8956 http://ela.kpi.ua/handle/123456789/3921 |
|
Source |
Адаптивні системи автоматичного управління: міжвідомчий науково-технічний збірник
Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник |
|
Language |
ru
|
|