Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK
Вантажиться...
Дата
2012
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
НТУУ "КПІ"
Анотація
Опис
Ключові слова
онтология, конкретные типы данных, логический анализ, EL++, ELK
Бібліографічний опис
Поспешный А. С. Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK / А. С. Поспешный, С. Г. Стиренко // Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник. – 2012. – № 20(40). – С. 106–115. – Бібліогр.: 13 назв.