Об авторах:
Григорьев А.В., Тюменский государственный университет, ЦИТ, ассистент
107th@mail.ruОвсянникова Е.О., Тюменский государственный университет, ЦИТ, системный администратор
ek.ovsyannikova@gmail.com
Аннотация:
На сегодняшний день, наиболее широко используемым инструментом представления знаний является язык OWL, и как следствие его логическая основа - дескрипционные логики. Вывод знаний осуществляется с помощью табличного метода, который имеет экспоненциальную вычислительную сложность. В данной статье приводится усовершенствование метода поглощения, который не позволит уменьшить вычислительную сложность алгоритма на практике, зато позволит сократить время работы табличного алгоритма на практике.
Список литературы:
1. Ivashko A., Ivanova E., Ovsyannikova E., Kolomiets S.. The
description logic application to describing the information system architecture. //
Bulletin of the Tyumen State University. 2012. vol. 4. - pp.137-142.
2. Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider
P. F. The Description Logic Handbook: Theory, Implementation and Applications.
– CUP, 2003.
3. Horrocks I. Optimizing tableaux decision procedures for description
logics. PhD thesis, University of Manchester, 1999.
4. Rudolph S., Polleres A., d'Amato C., Patel-Schneider P. F.
Foundations of Description Logics // Reasoning Web. Semantic Technologies for
the Web of Data. 2011. pp. 76-136. Springer, 2011.
5. Schmidt-Schauss M., Smolka G.. Attributive concept descriptions
with complements. // Artificial Intelligence, № 48, pp. 1-26. Springer, 1991.
6. W3C OWL Working Group. Standard at OWL 2. // [Electronic
resource]. URL:
http://www.w3.org/TR/owl2-overview/ (date accessed
21.10.2013).
7. Wagih H. M., El Zanfaly D. S., Kouta M. M. Mapping Object Role
Modeling 2 Schemes into SROIQ (D) Description Logic. // International Journal of
Computer Theory and Engineering vol. 5, no. 2, pp. 232-237, Springer, 2013.
8. Horrocks I., Kutz O., Sattler U. The Even More Irresistible SROIQ //
Proceedings of the 10th International Conference on Principles of Knowledge
Representation and Reasoning (KR 2006), pp. 57-67. AAAI Press, 2006.
9. Motik B., Horrocks I. // Proceedings of the 7th International Semantic
Web Conference ISWC 2008, vol. 5318 of LNCS, pp. 307-322. Springer, 2008.
10. Lange K., Rossmanith P. The Emptiness Problem for Intersections of
Regular Languages // 17th Conference on Mathematical Foundations of Computer
Science. - 1992.
