Functional and Efficient Query Interpreters: Principle, Application and Performances’ Comparison

This paper presents a general approach to implement efficient queries’ interpreters in a functional programming language. Indeed, most of the standard tools actually available use an imperative and/or object-oriented language for the implementation (e.g. Java for Jena-Fuseki) but other paradigms are possible with, maybe, better performances. To proceed, the paper first explains how to model data structures and queries in a functional point of view. Then, it proposes a general methodology to get performances (i.e. number of computation steps to answer a query) then it explains how to integrate some optimization techniques (short-cut fusion and, more important, data transformations). It then compares the functional server proposed to a standard tool (Fuseki) demonstrating that the first one can be twice to ten times faster to answer queries

Categorical Models for BigData

This paper shows how concepts coming from category theory associated to a functional programming language can help to formalize and reason about data and get efficient programs in a BigData context. More precisely, it shows how data structures can be modeled by functors related by natural transformations (and isomorphisms). The transformation functions can then serve to shift a data structure and then get another program (eventually educing time complexity). The paper then explains the main concepts of the theory, how to apply them and gives an application to a concrete database and the performances obtained

Algebraic graph transformations for formalizing ontology changes and evolving ontologies

An ontology represents a consensus on the representation of the concepts and axioms of a given domain. This consensus is often reached through an iterative process, each iteration consisting in modifying the current version of the consensus. Furthermore, frequent and continuous changes are also occurring when the represented domain evolves or when new requirements have to be considered. Consequently, ontologies have to be adaptable to handle evolution, revision and refinement. However, this process is highly challenging as it is often difficult to understand all affected ontology parts when changes are performed. Thus, inconsistencies can occur in the ontology as the changes can introduce contradictory axioms. To address this issue, this paper presents a formal approach for evolving ontologies using Typed Graph Grammars. This method relies on the algebraic approach Simple PushOut (SPO) of graph transformations. It formalizes the ontology changes and proposes an a priori approach of inconsistencies resolution. The modified ontology does not need an explicit checking as an incorrect ontology version cannot actually be generated. To validate our proposal, an implementation is presented using the Attributed Graph Grammar (AGG) toolbox

Algebraic graph transformations for merging ontologies

The conception of an ontology is a complex task influenced by numerous factors like the point of view of the authors or the level of details. Consequently, several ontologies have been developed to model identical or related domains leading to partially overlapping representations. This divergence of conceptualization requires the study of ontologies merging in order to create a common repository of knowledge and integrate various sources of information. In this paper, we propose a formal approach for merging ontologies using typed graph grammars. This method relies on the algebraic approach to graph transformations, SPO (Simple PushOut) which allows a formal representation and ensures the consistence of the results. Furthermore, a new ontologies merging algorithm called GROM (Graph Rewriting for Ontology Merging) is presented

Approche formelle de fusion d'ontologies à l'aide des grammaires de graphes typés

L'article propose une approche formelle de fusion d'ontologies se reposant sur les grammaires de graphes typés. Elle se décompose en trois étapes : 1) la recherche de similarités entre concepts ; 2) la fusion des ontologies par l'approche algébrique SPO (Simple Push Out) ; 3) l'adaptation d'une ontologie globale par le biais de règles de réécriture de graphes. Contrairement aux solutions existantes, cette méthode offre une représentation formelle de la fusion d'ontologies ainsi qu'une implémentation fonctionnelle basée sur l'outil AGG

A Middleware for Control Applications

This paper proposes an original Object Oriented architecture and an associated framework to set-up easily and safely control software. To improve the design process of such a software several propositions are given: a multi-application support, a layered model, a semantic variable abstraction, a synchronising mechanism and a factoring process. The example illustrates how the architecture can be used to build complex applications. A two tanks plant is simulated and a supervised controlled application illustrates a multi-worlds system with concurrent control and supervision algorithms

Consistent Ontologies Evolution Using Graph Grammars

Ontologies are often used for the meta-modelling of dynamic domains, therefore it is essential to represent and manage their changes and to adapt them to new requirements. Due to changes, an ontology may become invalid and non-interpretable. This paper proposes the use of the graph grammars to formalize and manage ontologies evolution. The objective is to present an a priori approach of inconsistencies resolutions to adapt the ontologies and preserve their consistency. A framework composed of different graph rewriting rules is proposed and presented using the AGG (Algebraic Graph Grammar) tool. As an application, the article considers the EventCCAlps ontology developed within the CCAlps European project

Adaptation consistante d'ontologies à l'aide des grammaires de graphes

Les ontologies tendent à intégrer le cœur de tout système d'information. Les domaines évoluant sans cesse, les ontologies doivent elles même pouvoir s'adapter. Dans ce contexte, l'article propose la formalisation du concept d'adaptation basée sur les grammaires de graphes, ce qui permet notamment de gérer les changements des ontologies et de définir une approche à priori de résolution des incohérences susceptibles d'être générées. Comme application, l'article considère l'ontologie EventCCAlps développée dans le cadre du projet européen CCAlps