Skip navigation
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://ela.kpi.ua/handle/123456789/3717
Повний запис метаданих
Поле DCЗначенняМова
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.identifier.citationПоспешный А. С. Эффективный логический анализ больших онтологий за полиномиальное время / Поспешный А. С. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2012. – Вип. 55. – С. 194–198. – Бібліогр.: 10 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/3717-
dc.language.isoruuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.titleЭффективный логический анализ больших онтологий за полиномиальное времяuk
dc.title.alternativeEffective Reasoning With Large Ontologies in Polynomial Timeuk
dc.typeArticleuk
thesis.degree.level-uk
dc.format.pagerangeС. 194-198uk
dc.status.pubpublisheduk
dc.publisher.placeКиївuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових працьuk
dc.subject.udc004.82uk
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.publisherВек+uk
Розташовується у зібраннях:Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, Вип. 55

Файли цього матеріалу:
Файл Опис РозмірФормат 
55_26.pdf431.29 kBAdobe PDFЕскіз
Переглянути/відкрити
Показати базовий опис матеріалу Перегляд статистики


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