干旱区生态环境知识资源中心

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 for-mat 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 nor-mal 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.