В информатике термин онтология означает формальное представление знаний. Онтологии определяют понятия (концепции), относящиеся к какой-то области, а также задают отношения между этими терминами. Онтологии используются в таких областях информатики, как представление знаний, медицинская и биоинформатика, а также семантическая паутина (semantic web). Современные онтологии могут содержать десятки и сотни тысяч определений, поэтому они часто имеют формат, удобный для чтения компьютером, и имеют строгую логическую базу.

В данном курсе будут рассмотрены логические языки, используемые для построения и манипулирования онтологиями, введены методологии дизайна и поддержки онтологий, рассмотрены алгоритмы автоматического логического анализа (reasoning problems), включая задачи классификации, извлечения экземпляров и поиска ответов на запросы к базе знаний. Также будут рассмотрены приложения.