Введение в дескриптивную логику на русском
#1038013
An Introduction to Description Logic (978-1108219563)
Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI
Franz Baader | #291: Базы данных и большие данные
Дескриптивные логики (ДЛ) имеют давнюю традицию в информатике и представлении знаний, будучи разработанными для описания знаний предметной области и для того, чтобы компьютеры могли рассуждать об этих знаниях. В последнее время ДЛ приобрели повышенное значение, поскольку они составляют логическую основу широко используемых языков онтологий, в частности, языка веб-онтологий OWL. Написанная четырьмя известными экспертами, это первая книга по дескриптивным логикам. Она подходит для самостоятельного изучения выпускниками и в качестве основы для университетского курса. Начиная с базовой ДЛ, книга знакомит читателя с их синтаксисом, семантикой, проблемами рассуждений и теорией моделей, а также обсуждает вычислительную сложность этих проблем рассуждений и алгоритмы их решения. Затем она исследует различные методы рассуждений, приложения и инструменты, основанные на знаниях, и описывает взаимосвязь между ДЛ и OWL.