Эффективный логический анализ больших онтологий за полиномиальное время

Скорочена інформація про документ
dc.contributor.authorПоспешный, А. С.
dc.contributor.authorPospishnyi, O. S.
dc.date.accessioned2013-09-18T07:50:56Z
dc.date.available2013-09-18T07:50:56Z
dc.date.issued2012
dc.description.abstractenThis paper overviews the problem of computational complexity of reasoning with ontologies. The description logic εL and εL++ is considered where logical entailment could be accomplished in polynomial time. We propose few modification to new and very promising ELK reasoner to support concrete domains (D) and ABox assertions.uk
dc.description.abstractruВ статье рассматривается проблема вычислительной сложности логического анализа онтологий. Рассмотрено дескриптивные логики εL и εL ++ для которых задача логического анализа имеет полиномиальную сложность. Предложено ряд улучшений для логического анализатора ELK с целью поддержки конкретных доменов (D) и утверждений экземплярах (ABox).uk
dc.format.pagerangeС. 194-198uk
dc.identifier.citationПоспешный А. С. Эффективный логический анализ больших онтологий за полиномиальное время / Поспешный А. С. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2012. – Вип. 55. – С. 194–198. – Бібліогр.: 10 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/3717
dc.language.isoruuk
dc.publisherВек+uk
dc.publisher.placeКиївuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових працьuk
dc.status.pubpublisheduk
dc.subject.udc004.82uk
dc.titleЭффективный логический анализ больших онтологий за полиномиальное времяuk
dc.title.alternativeEffective Reasoning With Large Ontologies in Polynomial Timeuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

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

Зібрання

Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, Вип. 55