Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method

摘要

Presently, business organizations are regulating their activities with the aid of Business Rules (BR's). A single rule set of an organization contains large and diverse categories of BR's, thereby making it difficult for Business Analysts and end users to analyze and extract relevant BR's. Rule Search with natural language terms fail due to their inability to capture logical semantics present in BR's. In this paper, we present a novel approach to give correct and complete sets of SBVR (Semantics of Business Vocabulary and Business Rules) based BR's based on a specified query. We integrate conventional Information Retrieval Approach of text based searches over the rule base and corresponding meta-data with a SMT (Satisfiability Modulo Theory) based approach capturing the higher first order logic of the rules. The major applications of this approach are change impact analysis when rules are added, deleted or modified from a rule set, identifying the candidate set of rules affected due to change in the rule set and during match and gap analysis where we compare two sets of BR's identifying similarity and difference in business functionality between them. We show the implementation of our tool along with its performance on industry level datasets.