A global approach for a dictionary of Lingála: from the localization of software to a lemmatization strategy

Lingála is the national language spoken in Kinshasa, the capital of the country. Even if this language is going through a straightforward empowering process, its progress is still hindered by the lack of terminological and lexicographic tools; hence the need of providing monolingual or plurilingual dictionaries for this language, according to what is a demand of society. This is why we have undertaken this research on lexicography. It consists in producing lexicons as teaching aids and in making them available to primary users, i.e. teachers and students. In this communication, firstly, we will observe the approach followed by authors of existing Lingála dictionaries (monolingual and bilingual). This review aims to improve, if necessary, the presentation of entries, so as to help readers find the words they are looking for. The variations in the current spoken language (the so-called Kinshasa Lingála) and in the so-called standard language (Makanza Lingála) will be important in the choice we will make for recording occurrences in the dictionary. This concerns the orthography of words, as well as lemmatized forms and register. Secondly, we will describe the process of localization of software we will use to process the corpus. Finally, we will also very briefly describe the corpus we are processing

Random semicomputable reals revisited

The aim of this expository paper is to present a nice series of results, obtained in the papers of Chaitin (1976), Solovay (1975), Calude et al. (1998), Kucera and Slaman (2001). This joint effort led to a full characterization of lower semicomputable random reals, both as those that can be expressed as a "Chaitin Omega" and those that are maximal for the Solovay reducibility. The original proofs were somewhat involved; in this paper, we present these results in an elementary way, in particular requiring only basic knowledge of algorithmic randomness. We add also several simple observations relating lower semicomputable random reals and busy beaver functions.Comment: 15 page

Kolmogorov Complexity and Solovay Functions

Solovay proved that there exists a computable upper bound f of the prefix-free Kolmogorov complexity function K such that f (x) = K(x) for infinitely many x. In this paper, we consider the class of computable functions f such that K(x) <= f (x)+O(1) for all x and f (x) <= K(x) + O(1) for infinitely many x, which we call Solovay functions. We show that Solovay functions present interesting connections with randomness notions such as Martin-L\"of randomness and K-triviality

Query-based comparison of OBDA specifications

An ontology-based data access (OBDA) system is composed of one or more data sources, an ontology that provides a conceptual view of the data, and declarative mappings that relate the data and ontology schemas. In order to debug and optimize such systems, it is important to be able to analyze and compare OBDA specifications. Recent work in this direction compared specifications using classical notions of equivalence and entailment, but an interesting alternative is to consider query-based notions, in which two specifications are deemed equivalent if they give the same answers to the considered query or class of queries for all possible data sources. In this paper, we define such query-based notions of entailment and equivalence of OBDA specifications and investigate the complexity of the resulting analysis tasks when the ontology is formulated in DL-LiteR