Дисциплина (курс) «Логические методы в инженерии знаний» направлена на ознакомление студентов с основными понятиями и результатами по современным формальным методам представления, обработки, поиска и извлечения знаний. Целью освоения дисциплины является приобретение студентами теоретических знаний и навыков по формальным моделям представления знаний, методам автоматизация дедуктивных и индуктивных рассуждений, методам анализа формальных понятий, методам разработки и применения онтологий предметных областей, языкам описания онтологий, инструментальным средствам проектирования онтологий, по логическим технологиям семантического веба, в том числе, по логике описаний и средствам языка OWL, по информационно-поисковым системам и методам автоматической обработки текстов.