https://ela.kpi.ua/handle/123456789/3717| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Поспешный, А. С. | - |
| dc.contributor.author | Pospishnyi, O. S. | - |
| dc.date.accessioned | 2013-09-18T07:50:56Z | - |
| dc.date.available | 2013-09-18T07:50:56Z | - |
| dc.date.issued | 2012 | - |
| dc.identifier.citation | Поспешный А. С. Эффективный логический анализ больших онтологий за полиномиальное время / Поспешный А. С. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2012. – Вип. 55. – С. 194–198. – Бібліогр.: 10 назв. | uk |
| dc.identifier.uri | https://ela.kpi.ua/handle/123456789/3717 | - |
| dc.language.iso | ru | uk |
| dc.source | Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць | uk |
| dc.title | Эффективный логический анализ больших онтологий за полиномиальное время | uk |
| dc.title.alternative | Effective Reasoning With Large Ontologies in Polynomial Time | uk |
| dc.type | Article | uk |
| thesis.degree.level | - | uk |
| dc.format.pagerange | С. 194-198 | uk |
| dc.status.pub | published | uk |
| dc.publisher.place | Київ | uk |
| dc.source.name | Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць | uk |
| dc.subject.udc | 004.82 | uk |
| dc.description.abstracten | This 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.pdf | 431.29 kB | Adobe PDF | ![]() Переглянути/відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.