Математическое и программное обеспечение систем
в промышленной и социальной сферах

ISSN (Print): 2306-2053

Входит в eLIBRARY.RU

Импакт-фактор РИНЦ: 0,784

Orcid

Фишбейн А.И., Шибанов С.В. Анализ избыточности версионного набора бизнес-правил контроля достоверности данных

скачать

Аннотация

В статье рассматривается проблема анализа избыточности наборов бизнес-правил, предназначенных для контроля достоверности данных информационных систем. Приводятся требования к программным средствам, осуществляющим контроль достоверности данных. Выделяется необходимость функции программного анализа наборов бизнес-правил с целью их улучшения по различным критериям. На основании приведённых требований обосновывается выбор онтологической модели, базирующейся на дескрипционных логиках, для представления бизнес-правил. Формулируются общие принципы построения сигнатур и компонентов онтологий бизнес-правил. Приводится пример построения онтологии набора правил. В статье приводятся основные виды анализа наборов правил. Для анализа избыточности предлагается использование одной из базовых задач логического вывода - классификации онтологии. Рассматривается специфика применения этой процедуры для анализа наборов бизнес-правил. Предлагается и подробно рассматривается алгоритм анализа избыточности наборов бизнес-правил. Приводится пример операции анализа избыточности набора бизнес-правил. Приводится пример программной реализации анализа избыточности наборов бизнес-правил, представленных в формате OWL. Предложенный метод позволяет выполнять анализ избыточности наборов бизнес-правил для широкого класса предметных областей.

Ключевые слова

Бизнес-правила; контроль достоверности данных; информационные системы; анализ избыточности; онтология; дескрипционная логика; логический вывод.

Фишбейн Анна Ильинична – аспирант кафедры «Математическое обеспечение и применение ЭВМ» ФГБОУ ВПО «Пензенский государственный университет». E-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра..

Шибанов Сергей Владимирович – кандидат технических наук, доцент кафедры «Математическое обеспечение и применение ЭВМ» ФГБОУ ВПО «Пензенский государственный университет». E-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра..

1. Фишбейн, А.И. Представление наборов бизнес-правил контроля достоверности данных в виде онтологии на основе дескрипционной логики // Новые информационные технологии и системы. Материалы конференции. Пенза, 2012. – С. 329-332.

2. Фишбейн, А.И. Выбор модели представления версионных наборов правил контроля достоверности данных // Теория и практика системного анализа. Сборник трудов Всероссийской молодёжной конференции. Белгород, 2012. – С. 619-623.

3. The Description Logic Handbook. Theory, implementation and applications / F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider. New York: Cambridge University Press, 2003. – 574 p.

4. Дубинин В.Н. Использование дескриптивной логики и Web-онтологий в определении визуальных языков // Перспективные технологии искусственного интеллекта. Материалы Международной научно-практической конференции. Пенза, 2008.

5. Rudolph, S. Foundations of Description Logics // In Reasoning Web: Semantic Technologies for the Web of Data, 7th International Summer School, volume 6848 of Lecture Notes in Computer Science. Springer. 2011. – P. 76-136.

6. Horrocks, I. Reducing OWL entailment to description logic satisfiability / I. Horrocks, P. Patel-Schneider // Journal of Web Semantics. 2004. 1(4). P. 345-357.

7. Horrocks, I. A tableau decision procedure for SHOIQ / I. Horrocks, U. Sattler // Journal of Automated Reasoning. 2007. 39(3). P. 249-276.

8. Baader, F. An overview of tableau algorithms for description logics / F. Baader, U. Sattler // StudiaLogica. 2001. 69(1). P. 5-40.

9. The complexity of concept languages / F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt // Information and Computation. 1997. 134. P. 1–58.

10. Horrocks, I. A Description Logic with transitive and inverse roles and role hierarchies / I. Horrocks, U. Sattler // Journal of Logic and Computation. 1999. 9(3). P. 385–410.

11. Haarslev, V. A Description Logic with concrete domains and role-forming predicates / V. Haarslev, C. Lutz, R. Moller // Journal of Logic and Computation. 1999. 9(3). P. 351–384.

12. Brachman, R.J. The tractability of subsumption in frame-based description languages / R.J. Brachman, H.J. Levesque // In Proc. of the 4th Nat. Conf. on Artificial Intelligence. 1984. P. 34-37.

13. OWL 2 Web Ontology Language. Structural Specification and Functional-Style Syntax (Second Edition). URL: http://www.w3.org/TR/owl2-syntax/ (дата обращения: 05.12.2013).

14. OWLAPI. URL: http://owlapi.sourceforge.net/ (дата обращения: 05.12.2013).

15. Вигер, К.И. Разработка требований к программному обеспечению. М.: Русская Редакция, 2004. 576 с.