Обґрунтування актуальності створення інтелектуальних навчальних систем, заснованих на систематизованих знаннях. Класифікація властивостей, використання та переваг онтологій. Практичне значення. Аналіз мов, призначених для формального опису онтологій.