Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK

Поспешный, А. С.; Стиренко, С. Г.; Поспішний, О. С.; Стіренко, С. Г.; Pospishnyi, O. S.; Stirenko, S. G.

Please use this identifier to cite or link to this item: https://ela.kpi.ua/handle/123456789/3921

Title:	Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK
Other Titles:	Ефективний алгоритм логічного аналізу OWL 2 EL онтологій з типізованими виразами на базі логічного процесору ELK Effective reasoning algorithm for OWL 2 EL ontologies with datatype expressions based on ELK reasoned
Authors:	Поспешный, А. С. Стиренко, С. Г. Поспішний, О. С. Стіренко, С. Г. Pospishnyi, O. S. Stirenko, S. G.
Keywords:	онтология конкретные типы данных логический анализ EL++ ELK
Issue Date:	2012
Publisher:	НТУУ "КПІ"
Citation:	Поспешный А. С. Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK / А. С. Поспешный, С. Г. Стиренко // Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник. – 2012. – № 20(40). – С. 106–115. – Бібліогр.: 13 назв.
URI:	https://ela.kpi.ua/handle/123456789/3921
ISSN:	1560-8956
Appears in Collections:	Адаптивні системи автоматичного управління: міжвідомчий науково-технічний збірник, № 20(40)

Files in This Item:

File	Description	Size	Format
_content_asau20_106_115.pdf		276.86 kB	Adobe PDF	View/Open

Show full item record