LE THANH , Nhan

This paper proposes a model for building a flexible system, which accepts and verifies the change on business logic, including both business processes and business rules, while the system has to cover the properties as reliability and reuse. In this model, the business process will be designed with Colour Petri Net and translated into a set of...

We propose in this paper a study of basic information structure, called "Brief" for annotating observations of phenomena in a spatiotemporal context through interconnection networks. One of various features of these" briefs" is that they can be used in an observation made both by human or machine through communicating objects (CO). These...

We propose in this paper a study of basic information structure, called "Brief" for annotating observations of phenomena in a spatiotemporal context through interconnection networks. One of various features of these" briefs" is that they can be used in an observation made both by human or machine through communicating objects (CO). These...

Résumé non disponible

Résumé non disponible

Recently the usefulness of Concept Abduction, a novel non-monotonic inference service for Description Logics (DLs), has been argued in the context of ontology-based applications such as semantic matchmaking and resource retrieval. Based on tableau calculus, a method has been proposed to realize this reasoning task in ALN, a description logic...

The early detection of flaws and errors has become a significant feature of a business process modeling tool. This paper proposes an ontology-based approach for business process compliance checking. The business processes and the business rules are represented in a machine understandable form, a reasoner is used to reason on this knowledge base...

Business process compliance has become more and more important function for business process management (BPM). One of challenges in this area is to check the business process compliance in the business process life-cycle (design-time, run-time). In this paper, we propose a description logic-based approach for business process compliance...

In recent years, there has been a growing interest in integration of semantics into the Semantic Web environment, whose goal is to access, relate and combine information from multiple sources. With regard to this tendency, our work studies a mechanism to model ORM schemas in the Description Logic language SHOINK (D), the underpinning of a Web...

Reasoning in a Knowledge Base(KB) is one of the most important applications of Description Logic (DL) reasoners. The execution time and storage space requirements are both significant factors that directly influence the performance of a reasoning algorithm. In this paper, we investigate a new technique for optimizing DL reasoning with the...

Semantic matchmaking is defined as a process of finding possible matches between requests and supplies based on their logical relations. Recently, attempts have been done to formalize this process in Description Logics (DLs). We extend this formalization to Packages-based Description Logics (P-DLs), the extensions of DLs for distributed and...

In this paper, we introduce a Social Radio platform designed to support contextual communication between communities. Radio communication was no longer used for information broadcast using different communication channels. The same concept is used in this work but for different purposes. We set up a microblogging community channel to report,...

In this paper, we investigate the problem of decomposing an ontology in Description Logics (DLs) based on graph partitioning algorithms. Also, we focus on syntax features of axioms in a given ontology. Our approach aims at decomposing the ontology into many sub ontologies that are as distinct as possible. We analyze the algorithms and exploit...

Business process modeling has become a popular method for improving organizational efficiency and quality. Automatic validation of process models is one of the most valuable features of modeling tools, in face of the increasing complexity of enterprise business processes and the richness of modeling languages. This paper proposes a formal...

Workflow verification has been known as an important as-pect of workflow management systems. Many existing approaches con-centrate on ensuring the correctness of workflow processes at the syntac-tic level. However, these approaches are not sufficient to detect errors at the semantic level. This paper contributes to ensure the semantic...

This paper introduces a solution for representing RDF-oriented compositions with OWL DL ontologies. Firstly, we present an overview of RDF-oriented Composition Definition Language (RDFCDL), which is defined for creating/composing RDF manipulation operations. Secondly, we propose an approach for representing RDFNet with OWL DL ontology. We focus...

Coloured Petri Nets (CPNs) have formal semantics and can describe any type of workflow system, behavioral and syntax wise simultaneously. They are widely studied and successfully applied in modelling of workflows and workflow systems. There is an inherent problem regarding business processes modelled with CPNs sharing and subsequently their...

In this paper, we investigate the problem of decomposing an ontology in Description Logics (DLs) based on graph partitioning algorithms. Also, we focus on syntax features of axioms in a given ontology. Our approach aims at decomposing the ontology into many sub-ontologies that are as distinct as possible. We analyze the algorithms and exploit...

In this study, we present a generic solution of emotional data exchange between heterogeneous multi-modal applications. This proposal is based on a new algebraic representation of emotions and is composed of three distinct layers : the psychological layer, the formal computational layer and the language layer. The First layer represents the...

Energy consumption is one of the main constraints which are faced by designers of communicating objects. Indeed, we are seeing a real increase in the number of communicating objects ranging from customer applications (video games, health care objects) to industrial applications (M2M, automatic car parking, drones). This paper presents a new...