В данной статье предлагается способ для составления расписания занятий учебного заведения на основе входных данных, которые представлены в виде онтологии с использованием формализма де-скрипционной логики и механизма логического вывода в нем. Концепты в данном способе используются для представления основных понятий, которые используются в расписаниях учебных заведений.
Была предложена математическая модель. При использовании  операции проверки согласованности с помощью системы логического вывода в дескрипционной логике в исходной модели у предметов появятся связи с преподавателями, аудиториями, группами, которые позволяют определить нахождение того или иного предмета в расписании.

Бабкина Т. С. Задача составления расписаний: Решение на основе многоагентного подхода. Красноармейск, 2008.
Лазарев А. А., Гафаров Е. Р. Теория расписаний. Задачи и алгоритмы. М.: МГУ, 2011. 222 с.
Рассел С., Норвиг П. Искусственный интеллект: современный подход. М.: Вильямс, 2006. 1408 с.
Щербина  Д.  OWL,  язык  веб-онтологий.  Краткий  обзор. 2004. URL:  http://sherdim.rsu.ru/pts/semantic_web/REC-owl-features-20040210_ru.html.
Baader F., Sattler U. Expressive Number Restrictions in Description Logics. Journal of Logic and Computation, 1999.
Baader F., Horrocks I., Sattler U. Description Logics as Ontology Languages for the Semantic Web. Lecture Notes in Artificial Intelligence. Vol. 2605. Springer-Verlag, 2005.
Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P.F. The Description Logic Handbook. Cambridge University Press, 2003.
Blackburn P., van Benthem J., Wolter F. Handbook of Modal Logic. Studies in Logic and Practical Reasoning. Vol. 3. Elsevier, 2007.
Horrocks I., Sattler U., Tobies S. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL (Interest Group in Pure Logic), 2000.
Horrocks I., Sattler U. A Tableaux Decision Procedure for SHOIQ. In Proceedings of 19th International Joint Conference on Artificial Intelligence (IJCAI’2005), 2005.