Automated analysis of logical connectives in business constraints

Business constraints play a key role in business processes. Typically, the business rules are represented in a natural language such as English. Since, the natural languages are naturally ambiguous and one of the reasons of ambiguity is use of logical connectives that can make the NL sentences more ambiguous. Use of logical connectives result in multiple senses of a business rule specifically the XOR role of OR connective makes the things more difficult. To model the Business process specifications and business rules, one need to analyse NL based business rules manually or automatically. During analysis of NL business rules, one had to deal with various occurrences of logical connectives. In this paper, we present a novel approach to identify the type and scope of a logical connective in a target business rule. The presented approach incorporates the Markov Logic approach to handle ambiguity in logical connectives. Initial results of the experiments are also discussed at the end of the paper.