Применение дескрипционной логики для описания архитектуры информационной системы

Об авторах:

Ивашко Александр Григорьевич, доктор технических наук, профессор кафедры программной и системной инженерии, Тюменский государственный университет; a.g.ivashko@utmn.ru

Иванова Екатерина Игоревна, аспирант кафедры информационных систем Института математики, естественных наук и информационных технологий Тюменского государственного университета
Овсянникова Екатерина Олеговна, аспирант кафедры информационных систем Института математики, естественных наук и информационных технологий Тюменского государственного университета
Коломиец Сергей Иванович, аспирант кафедры информационных систем Института математики, естественных наук и информационных технологий Тюменского государственного университета

Аннотация:

Статья посвящена исследованию возможности применения дескрипционной логики и онтологии для описания архитектуры информационной системы.

Список литературы:

1. Тузовский А.Ф. Работа с онтологической моделью организации на основе дескриптивной логики // Известия Томского политехнического университета. 2006.

Т. 309. №7.

2. Глухих И.Н. Интеллектуальные системы проблемного обучения: концепция, управление и модели знаний // Вестник ТюмГУ. 2002. №3. С. 21-27.

3. Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. F., editors. The Description Logic Handbook: Theory, Implementation and Applications. CUP, 2003. p.601.

4. Sowa, J.F., Zachman, J.A. // Extending and Formalizing the Framework for Information Systems Architecture. IBM Systems Journal. 1992. V. 31. №3.

5. Ивашко А.Г., Григорьев М.В. Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения // Вестник ТюмГУ. 2008. №6. С. 152-158.

6. Baclawski, K., Kokar, M., Kogut, P. // Extending UML to support ontology engineering for the Semantic Web. In M. Gogolla and C. Kobryn, editors, Fourth International Conference on The Unified Modeling Language. Springer-Verlag, Berlin, October 2001, V. 2185. Р. 342-360.