A knowledge-based formalization of UBL processes using hybrid programs

  • Authors:

  • Sidharth Bihary;Suman Roy;Tan Zi Han;Kiran Prakash Sawant

  • Affiliations:

  • Infosys Labs, Bangalore, India;Infosys Labs, Bangalore, India;Seoul National University, Main Campus Seoul, Korea;Infosys Labs, Hinjawadi, Taluka Mulshi, Pune, India

  • Venue:
  • Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

In business process management, it has become necessary to semantically annotate business processes with ontology for better service provisioning, integration and composition. The OASIS has introduced Universal Business Languages (UBL) as a common format for standardizing common business documents as well as business processes. We propose a method for capturing and managing the information stored in business transactions based on the widely used UBL. We use hybrid programs as the knowledge representation formalism. The formalism of hybrid programs integrates normal clauses (using the parlance of logic programming) with ontology specified in OWL-DL (semantic web standard). This hybrid system uses XSB Prolog for rule reasoning and Pellet for ontology reasoning. We have built a tool that takes a description of a UBL process as input and produces the corresponding hybrid program as output knowledge base on which suitable queries can be fired.