Abstract

In article the problem of redundancy analysis for business rules sets, designed to data reliability control of information systems is considered. Requirements to software which carry out data reliability control are provided. The need of program analysis function of business rules sets to improve them according to various criteria is highlighted. On the basis of provided requirements the choice of ontology model which is based on description logics is substantiated, to represent business rules. General principles of creation of signatures and components of business rules ontologies are formulated. The example of creation of ontology of rules set is given. In article main types of analysis of rules sets are given. For the redundancy analysis use of ontology classification, whiсh is one of basic problems of logical inference, is offered. Specificity of application of this procedure for the analysis of sets of business rules is considered. The algorithm of redundancy analysis of business rules sets is proposed and considered in detail. The example of operation of redundancy analysis of business rules sets is given. The example of software implementation of redundancy analysis of business rules sets, which represented in the OWL format, is given. The proposed method allows to execute redundancy analysis of business rules sets for a wide class of application domains.

Keywords

Business rules; data reliability control; information systems; redundancy analysis; ontology; description logic; reasoning.