As a family of dynamic description logics, DDL(X) is constructed by embracing actions into the description logic X, where X represents well-studied description logics ranging from the ALC to the SHOIQ. To efficiently support automated interoperability between ontology-based information systems in distributed environments, we have to design an expressive mapping language to semantically understa...

Despite the success of CDCL SAT solvers solving industrial problems, there are still many open questions to explain such success. In this context, the generation of random SAT instances having computational properties more similar to realworld problems becomes crucial. Such generators are possibly the best tool to analyze families of instances and solvers behaviors on them. In this paper, we pr...

The integrated monitoring within heterogeneous database environments can become complex, due to the particularities in the language syntax and available tools. In particular, active databases allow developing mechanisms and automation of processes involving data or objects. This work proposes the development of an architecture to identify and monitor DDL, exploring the active databases and reco...

An important research challenge consists in composing web services in an automatic and distributed manner on a large scale. Indeed, most queries can not be satisfiable by one service and must be processed by composing several services. Each web service is often written by different designers and is described using the terms of their own ontology. Therefore, the composition process needs to deal...

The purpose of this study was to evaluate the discriminatory power of ddl-PCR (D-alanin-D-alanin ligase PCR) and ITS-PCR (Internal Transcribed Spacer PCR) for accurate identification of enterococcal species in comparison with phenotypic assays. Results confirm previous published data that ddl-PCR simple approach allows rapid identification of two the most frequently isolated spp. E. faecalis an...

Qualitative analysis and performance evaluation require the use of suitable formalisms to describe the systems under study. From an abstract point of view, most of the formalisms defined in the literature, can be seen as special kind of hierarchical graphs. In this work we present a framework for defining and manipulating graph-based formalisms. We build it on a data-definition language (or DDL...