Corpus ID: 249582

Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach

  title={Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach},
  author={F. Smith and M. Proietti},
We propose a framework grounded in Logic Programming for representing and reasoning about business processes from both the procedural and ontological point of views. In particular, our goal is threefold: (1) define a logical language and a formal semantics for process models enriched with ontology-based annotations; (2) provide an effective inference mechanism that supports the combination of reasoning services dealing with the structural definition of a process model, its behavior, and the… Expand
Potential Uses in Depth
The three areas covered in depth in this chapter are workflows and business process management (BPM), semantic parsing, and robotics. The production and consumption of knowledge should warrant asExpand
Semantic Approach to Financial Knowledge Specification - Case of Emergency Policy Workflow
The article presents an approach to integrate a business process knowledge in Decision Support Systems, a continuation of the development of the intelligent cockpit for managers (InKoM project), whose main objective was to facilitate financial analysis and evaluation of economic status of the company. Expand
Towards process-oriented ontology for financial analysis
The article presents an approach to integrate a business process knowledge of Decision Support Systems based on static (structural) and procedural knowledge focused on essential financial concepts and relationships related to the management of small and medium enterprises (SME). Expand
Business Process Querying
  • A. Polyvyanyy
  • Computer Science
  • Encyclopedia of Big Data Technologies
  • 2019
Business process querying combines concepts from Big data and process modeling and analysis with business process intelligence and process analytics to study techniques for retrieving and manipulating models of processes to systematically organize and extract process-related information for subsequent use. Expand
Système de Mesure Mobile Adaptif Qualifié
Les dispositifs materiels mobiles proposent des capacites de mesure a l'aide de capteurs soit embarques, soit connectes. Ils ont vocation a etre de plus en plus utilises dans des processus de prisesExpand


Rule-based Behavioral Reasoning on Semantic Business Processes
This work defines a rule-based procedural semantics for a relevant fragment of BPMN, a very popular graphical notation for specifying business processes, and shows how the procedural process knowledge can be seamlessly integrated with the domain knowledge specified by using the OWL-RL rule- based ontology language. Expand
Semantically-Aided Business Process Modeling
It is shown how Semantic Web representation and reasoning techniques can be effectively applied to formalise, and automatically verify, sets of constraints on Business Process Diagrams that involve both knowledge about the domain and the process structure. Expand
Semantic EPC: Enhancing Process Modeling Using Ontology Languages
With the approach presented here, ambiguity that is introduced by the use of natural language in semi-formal models can be removed and new possi- bilities of reasoning over business process models are introduced which prove the analysis, search and validation of business processes. Expand
Ontology-Based Querying of Composite Services
This chapter presents an ontology-based approach for querying business process repositories for the retrieval of process fragments to be reused in the composition of new business processes. Expand
Description logic programs: combining logic programs with description logic
It is shown how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules and ontologies and define a new intermediate knowledge representation contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL). Expand
Web Service Modeling Ontology
Along with introducing the main elements of WSMO, this paper provides a logical language for defining formal statements in WSMO together with some motivating examples from practical use cases which shall demonstrate the benefits of Semantic Web Services. Expand
Model Checking Semantically Annotated Services
This paper proves that the semantic model checking algorithm is sound and complete and can be accomplished in polynomial time and that the integration of model checking and semantic reasoning technologies in an efficient way. Expand
Collaborative ontology building in virtual innovation factories
A collaborative ontology building methodology is presented, which allows a community of practice, including knowledge engineers, domain experts, and ontology stakeholders to cooperate for producing conceptual models and reaching a consensus on their suitability with respect to the application domain at hand. Expand
Towards an XPDL Compliant Process Ontology
This paper presents initial results on oXPDL, a process interchange ontology based on the standardised XML Process Definition Language, which explicitly models the complete semantics of XPDL process models in a standard Web ontology language. Expand
Beyond soundness: on the verification of semantic business process models
A formal execution semantics for annotated business processes is introduced, and it is shown that this class of processes is maximal in the sense that, when generalizing it in any of the most relevant directions, the validation tasks become computationally hard. Expand