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

Скорочена інформація про документ
dc.contributor.authorПоспешный, А. С.uk
dc.contributor.authorСтиренко, С. Г.uk
dc.contributor.authorПоспішний, О. С.
dc.contributor.authorСтіренко, С. Г.
dc.contributor.authorPospishnyi, O. S.
dc.contributor.authorStirenko, S. G.
dc.date.accessioned2013-09-25T12:58:31Zuk
dc.date.available2013-09-25T12:58:31Zuk
dc.date.issued2012uk
dc.description.abstractenIt 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.description.abstractukБагаторазово і регулярно висловлювалася думка, що типізовані вирази з використанням конкретних типів даних матимуть першорядну роль в Семантичної павутині і необхідні для cтворення баз знань. У цій статті ми представляємо модифікацію високопродуктивного логічного процесора ELK з підтримкою типізованих властивостей в рамках профілю OWL 2 EL. Проведені випробування показали виняткову швидкість класифікації великих онтологій зі значною кількістю екземплярів і типізованих властивостей, що відкриває нові перспективи для застосування логічних процесорів на практиці.uk
dc.format.pagerangeC. 106-115uk
dc.identifier.citationПоспешный А. С. Эффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELK / А. С. Поспешный, С. Г. Стиренко // Адаптивні системи автоматичного управління : міжвідомчий науково-технічний збірник. – 2012. – № 20(40). – С. 106–115. – Бібліогр.: 13 назв.uk
dc.identifier.issn1560-8956
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/3921
dc.language.isoruuk
dc.publisherНТУУ "КПІ"uk
dc.publisher.placeКиївuk
dc.sourceАдаптивні системи автоматичного управління: міжвідомчий науково-технічний збірникuk
dc.source.nameАдаптивні системи автоматичного управління : міжвідомчий науково-технічний збірникuk
dc.status.pubpublisheduk
dc.subjectонтологияuk
dc.subjectконкретные типы данныхuk
dc.subjectлогический анализuk
dc.subjectEL++uk
dc.subjectELKuk
dc.subject.udc004.822:004.832.32uk
dc.titleЭффективный алгоритм рассуждений для OWL 2 EL онтологий с типизированными выражениями на базе логического процессора ELKuk
dc.title.alternativeЕфективний алгоритм логічного аналізу OWL 2 EL онтологій з типізованими виразами на базі логічного процесору ELKuk
dc.title.alternativeEffective reasoning algorithm for OWL 2 EL ontologies with datatype expressions based on ELK reasoneduk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
_content_asau20_106_115.pdf
Розмір:
276.86 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Адаптивні системи автоматичного управління: міжвідомчий науково-технічний збірник, № 20(40)