#777 Год выпуска: 2010 Производитель: Computer Sciense клуб Сайт производителя: http://lektorium.tv Автор: Борис Конев Продолжительность: 15 часов Тип раздаваемого материала: Видеоурок Язык: Русский Описание: В информатике термин "онтология" означает формальное представление знаний. Онтологии определяют понятия (концепции), относящиеся к какой-то области, а также задают отношения между этими терминами. Онтологии используются в таких областях информатики, как представление знаний, медицинская и биоинформатика, а также семантическая паутина (semantic web). Современные онтологии могут содержать десятки и сотни тысяч определений, поэтому они часто имеют формат, удобный для чтения компьютером, и имеют строгую логическую базу.
В данном курсе будут рассмотрены логические языки, используемые для построения и манипулирования онтологиями, введены методологии дизайна и поддержки онтологий, рассмотрены алгоритмы автоматического логического анализа (reasoning problems), включая задачи классификации, извлечения экземпляров и поиска ответов на запросы к базе знаний. Также будут рассмотрены приложения.
Релиз группы: barbarland
Содержание
1.Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика.
2.Понятие дескрипционной логики. Дескрипционная логика El.
3.Полиномиальный алгоритм для задачи классификации в дескрипционной логике El.
5.Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с ациклической ALC-терминологией. Алгоритм классификации ALC-теорий. Расширения логики ALC.
6.Зоопарк дескрипционных логик. Оптимизация логического анализа в ALC. Модуляризация онтологий. Семантическая локальность.
7.Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox.
8.Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для EL и ALC. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL.
9.Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств; ограничения; данные. Примеры
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 18
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения
Ресурс не предоставляет электронные версии произведений, а занимается лишь коллекционированием и каталогизацией ссылок, присылаемых и публикуемых на форуме нашими читателями. Если вы являетесь правообладателем какого-либо представленного материала и не желаете чтобы ссылка на него находилась в нашем каталоге, свяжитесь с нами и мы незамедлительно удалим её. Файлы для обмена на трекере предоставлены пользователями сайта, и администрация не несёт ответственности за их содержание. Просьба не заливать файлы, защищенные авторскими правами, а также файлы нелегального содержания!