Вестник ТюмГУ. Физико-математическое моделирование. Нефть, газ, энергетика.


Выпуск:

Выпуски архив. Вестник ТюмГУ. Физико-математические науки. Информатика (№4, 2012)

Название: 
Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов


Об авторах:

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

Григорьев Андрей Викторович, аспирант кафедры информационных систем Института математики, естественных наук и информационных технологий Тюменского государственного университета
Григорьев Михаил Викторович, кандидат технических наук, доцент кафедры программной и системной инженерии, Тюменский государственный университет; m.v.grigorev@utmn.ru

Аннотация:

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

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

1. 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.

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

3. Sebastian Rudolph. Foundations of Description Logics // Axel Polleres, Claudia d’Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider, Reasoning Web. Semantic Technologies for the Web of Data — 7th International Summer School 2011, Springer, LNCS, Vol.6848, 2011, Р. 76-136.

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

5. Ивашко А.Г., Коломиец И.И. Возможность применения аппарата сетей Петри для валидации анализа бизнес-процессов // Вестник ТюмГУ. 2008. №6. С. 159-165.

6. Tsarkov, D. and Horrocks, I. FaCT++ Description Logic Reasoner: System Description // Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), v. 4130 of Lecture Notes in Artificial Intelligence, Springer, 2006, Р. 292-297.