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

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

Повний запис метаданих

Поле DC	Значення	Мова
dc.contributor.author	Поспешный, А. С.	uk
dc.contributor.author	Стиренко, С. Г.	uk
dc.contributor.author	Поспішний, О. С.	-
dc.contributor.author	Стіренко, С. Г.	-
dc.contributor.author	Pospishnyi, O. S.	-
dc.contributor.author	Stirenko, S. G.	-
dc.date.accessioned	2013-09-25T12:58:31Z	uk
dc.date.available	2013-09-25T12:58:31Z	uk
dc.date.issued	2012	uk
dc.identifier.citation	Поспешный А. С. Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK / А. С. Поспешный, С. Г. Стиренко // Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник. – 2012. – № 20(40). – С. 106–115. – Бібліогр.: 13 назв.	uk
dc.identifier.issn	1560-8956	-
dc.identifier.uri	https://ela.kpi.ua/handle/123456789/3921	-
dc.language.iso	ru	uk
dc.source	Адаптивні системи автоматичного управління: міжвідомчий науково-технічний збірник	uk
dc.subject	онтология	uk
dc.subject	конкретные типы данных	uk
dc.subject	логический анализ	uk
dc.subject	EL++	uk
dc.subject	ELK	uk
dc.title	Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK	uk
dc.title.alternative	Ефективний алгоритм логічного аналізу OWL 2 EL онтологій з типізованими виразами на базі логічного процесору ELK	uk
dc.title.alternative	Effective reasoning algorithm for OWL 2 EL ontologies with datatype expressions based on ELK reasoned	uk
dc.type	Article	uk
thesis.degree.level	-	uk
dc.format.pagerange	C. 106-115	uk
dc.status.pub	published	uk
dc.publisher.place	Київ	uk
dc.source.name	Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник	uk
dc.subject.udc	004.822:004.832.32	uk
dc.description.abstractuk	Багаторазово і регулярно висловлювалася думка, що типізовані вирази з використанням конкретних типів даних матимуть першорядну роль в Семантичної павутині і необхідні для cтворення баз знань. У цій статті ми представляємо модифікацію високопродуктивного логічного процесора ELK з підтримкою типізованих властивостей в рамках профілю OWL 2 EL. Проведені випробування показали виняткову швидкість класифікації великих онтологій зі значною кількістю екземплярів і типізованих властивостей, що відкриває нові перспективи для застосування логічних процесорів на практиці.	uk
dc.description.abstracten	It was mentioned on multiple occasions that datatype expressions are a necessary component of any production-quality knowledge bases and will play a major role in the upcoming Semantic Web. In this paper we present a modification of the high-performance OWL 2 EL reasoner ELK, adding support for datatype properties. Tests have shown an exceptional speed of ontology classification of great size and complexity, which opens up new perspectives for ontology reasoners application.	uk
dc.description.abstractru	Многократно и регулярно высказывалось мнение, что типизированные выражения с использованием конкретных типов данных будут иметь первостепенную роль в Семантической паутине и необходимы для составления практически-применимых баз знаний. В этой статье мы представляем модификацию высокопроизводительного логического процессора ELK с поддержкой типизированных свойств в рамках профиля OWL 2 EL. Проведённые испытания показали исключительную скорость классификации больших онтологий со значительным количеством экземпляров и типизированных свойств, что открывает новые перспективы для применения логических процессоров на практике.	uk
dc.publisher	НТУУ "КПІ"	uk
Розташовується у зібраннях:	Адаптивні системи автоматичного управління: міжвідомчий науково-технічний збірник, № 20(40)

Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.