Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

In the mid 90’s, he explored the cor- respondence between Description Logics and Logics of Programs, and devised results and reasoning techniques for expressive Description

The proposed platform consists of several parts: (i) an ontological framework, OPAL, to capture the semantics of the business scenario; (ii) a business process modeling

Keywords: Context discovery, Action discovery, Process mining, Clustering, Knowledge worker, Information delivery, Data mining..

Table 4. H-Mean f-measure at different threshold for the Explicit vs. explicitly stated in axioms) compared to using implicit disjointness. The implicit disjointness is obtained

Specifically, by exploiting semantic modeling and reasoning, it enables the reconciliation of business and data layers as well as of static and procedural aspects, thus

In this paper (an abridged version of [11]) we consider the case of process models expressed in a standard business process modeling language, enriched with domain knowledge,

In the work of this thesis, flexibility for batch activities was provided by different means: First of all, batch activation rules, which are us- ing Event-Condition-Action rules