Stable Semantics of Temporal Deductive Databases

We define a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be represented and queried: timepoint and timestamp formulas, and show how each of them can be translated into the other. Because of their generality, our formalism and our semantics can serve as a basis for comparing and extending other temporal deductive database frameworks

Temporal Data Modeling and Reasoning for Information Systems

Temporal knowledge representation and reasoning is a major research field in Artificial Intelligence, in Database Systems, and in Web and Semantic Web research. The ability to model and process time and calendar data is essential for many applications like appointment scheduling, planning, Web services, temporal and active database systems, adaptive Web applications, and mobile computing applications. This article aims at three complementary goals. First, to provide with a general background in temporal data modeling and reasoning approaches. Second, to serve as an orientation guide for further specific reading. Third, to point to new application fields and research perspectives on temporal knowledge representation and reasoning in the Web and Semantic Web

Modeling Multiple Granularities of Spatial Objects

People conceptualize objects in an information space over different levels of details or granularities and shift among these granularities as necessary for the task at hand. Shifting among granularities is fundamental for understanding and reasoning about an information space. In general, shifting to a coarser granularity can improve one\u27s understanding of a complex information space, whereas shifting to a more detailed granularity reveals information that is otherwise unknown. To arrive at a coarser granularity. objects must be generalized. There are multiple ways to perform generalization. Several generalization methods have been adopted from the abstraction processes that are intuitively carried out by people. Although, people seem to be able to carry out abstractions and generalize objects with ease. formalizing these generalization and shifts between them in an information system, such as geographic information system, still offers many challenges. A set of rules capturing multiple granularities of objects and the use of these granularities for enhanced reasoning and browsing is yet to be well researched. This thesis pursues an approach for arriving at multiple granularities of spatial objects based on the concept of coarsening. Coarsening refers to the process of transforming a representation of objects into a less detailed representation. The focus of this thesis is to develop a set of coarsening operators that are based on the objects\u27 attributes, attribute values and relations with other objects, such as containment, connectivity, and nearness. for arriving at coarser or amalgamated objects. As a result. a set of four coarsening operators—group, group, compose, coexist, and filter are defined. A framework, called a granularity graph. is presented for modeling the application of coarsening operators iteratively to form amalgamated objects. A granularity graph can be used to browse through objects at different granularities, to retrieve objects that are at different granularities, and to examine how the granularities are related to each other. There can occur long sequences of operators between objects in the graph, which need to be simplified. Compositions of coarsening operators are derived to collapse or simplify the chain of operators. The semantics associated with objects amalgamations enable to determine correct results of the compositions of coarsening operators. The composition of operators enables to determine all the possible ways for arriving at a coarser granularity of objects from a set of objects. Capturing these different ways facilitates enhanced reasoning of how objects at multiple granularities are related to each other

Implementation des ATKIS in GIS mit relationaler Attributverwaltung unter dem Aspekt der Fortführung

Das Amtliche Topographisch-Kartographische Informationssystem (ATKIS) ist ein Vorhaben der Landesvermessungsverwaltungen der Bundesrepublik Deutschland zum Aufbau digitaler Landschaftmodelle (DLM) und digitaler Kartenmodelle (DKM). In der Arbeit werden zunächst die Grundideen von ATKIS und von temporalen Datenmodellen dargestellt. Auf Grund einer Analyse des ATKIS-Objektartenkatalogs wurde ein Metainformationssystem DST entwickelt und mit Unterstützung des Instituts für Angewandte Geodäsie / Außenstelle Leipzig (IfAG) praktisch eingeführt. Weiterhin wurden Vorschläge für temporale Erweiterungen des DLM unterbreitet, die insbesondere die Gewinnung inkrementeller Fortführungsinformationen unterstützen

Développement d'une méthode de comparaison de données asynchrones en vue de la formalisation d'un raisonnement par analogies (application à l'aide à la décision en viticulture)

L'objectif initial de ce travail de thèse est de valoriser les informations relatives au suivi temporel de la vigne, du raisin et de l'environnement de la plante et enregistrées dans des bases de données (BD) de traçabilité pour permettre la comparaison entre parcelles et millésimes, en vue de décisions par analogies.Les travaux réalisés durant cette thèse ont permis de proposer une méthode de transformation qui permet de représenter des ensembles de données asynchrones dans un espace commun afin de les comparer. Cette méthode s'appuie sur l'expertise du système de production. Dans ce travail de thèse, cette méthode a été appliquée à la comparaison de couples parcelle.millésime.L'expertise du système de production viticole permet, dans une première phase, de définir (i) la forme générale de la cinétique d'évolution de grandeurs de mesures évaluées sur la vigne, le raisin ou l'environnement de la plante et (ii) l'effet du climat sur la plante. Cette expertise est utilisée, dans une seconde phase, pour proposer des modèles paramétriques de l'évolution de chaque grandeur. Les données de suivi de chaque couple parcelle.millésime permettent d'ajuster les paramètres du modèle. Un vecteur de paramètres est défini par couple parcelle.millésime. Ce vecteur représente l'espace commun qui rend les couples parcelle.millésime comparables. Deux stratégies de comparaison sontalors possibles : (i) les comparaisons sont réalisées à partir des paramètres (méthode intensive), ou (ii) les comparaisons sont réalisées à partir de l'estimation de la valeur de la grandeur pour chaque couple parcelle.millésime et chaque unité de temps, commune à tous les couples (méthode extensive).Cette méthode a été appliquée à trois exemples différents.Dans une première application, les climats de différents millésimes intervenus sur différents cépages, entre la floraison et la véraison, ont été comparés entre eux après modélisation des grandeurs de mesure climatiques, à l'aide de modèles très simples.Dans une seconde puis une troisième application, la cinétique d'augmentation du pH et d'accumulation des sucres dans les baies de raisin pendant la maturation a été modélisée sous la forme d'une sigmoïde. Les comparaisons ont ensuite été réalisées en travaillant sur (i) la courbe représentative de chaque cinétique (pH), (ii) les paramètres du modèle (sucres) et (iii) une estimation journalière de la concentration en sucres dans les baies.Les bases de données utilisées dans ces applications proviennent de deux régions très différentes. Des données issues du suivi de la station expérimentale INRA Pech Rouge en Languedoc-Roussillon, dans le sud de la France, ont été utilisées pour l'application 1 et une partie de l'application 3. Des données de suivi de différents domaines de la Napa Valley en Californie ont servi pour l'application 2 et une partie de l'application 3.Le changement d'espace de représentation des données apporte une connaissance nouvelle pour décrire les individus et les phénomènes temporels de la vigne. Cette connaissance pourrait permettre de formaliser un raisonnement par analogies utilisant et valorisant l'expérience passée pour la gestion du millésime en cours.The initial objective of this thesis is to enhance the in-time follow-up information of the vine, the grape and the environment of the plant stored in traceability databases (BD) traceability to allow comparison between plots and vintages, to a future analogy-based decision support.The work done during this thesis allowed to propose a transformation method for representing sets of asynchronous data in a common space for comparison. This method relies on the expertise of the production system. In this thesis, this method was applied to the comparison of pairs of plot.vintage.The expert knowledge of the vineyard production system allows, in a first phase, to define (i) the general shape of the kinetics of on the vine, the grapes or the plant environment measured grandeurs, and (ii) the effect of the climate on the plant.This expertise is used in a second phase, to propose parametrical models that represent each grandeur kinetic. Monitoring data of each pair plot.vintage are used to adjust the model parameters. A vector of parameters is defined for each pair plot.vintage. This vector represents the common space that makes pairs of plot.vintage comparable. Two comparison strategies are possible: (i) comparisons are made from the parameters (intensive method), or (ii) comparisons are made from the estimation of the value of the quantity for each pair plot.vintage and each time unit, common to all pairs (extensive method).This method was applied to three different examples.In a first application, the climate of different vintages occurred on different grape varieties, between flowering and veraison, were compared with each other after modeling of the measured climate grandeurs, with very simple models.In a second and a third application, the kinetics of the increase of pH and accumulation of sugars in grape berries during ripening was modeled using a sigmoid. Comparisons were then made by working on (i) the graph of each kinetic (pH), (ii) parameters (sugars) and (iii) an estimation of the daily sugar concentration in berries.The databases used in these applications come from two very different winegrowing regions. Data from the monitoring of the INRA Pech Rouge Experimental Station, in Languedoc-Roussillon in the south of France, were used for the application 1 and part of the application 3. Monitoring data from different estates of Napa Valley in California were used for the application 2 and part of the application 3.The change of space where data are represented constitutes a new knowledge that permit one to describe individuals and temporal phenomena of the vine. This knowledge could allow to formalize an analogy-based reasoning that uses and promotes past experience to manage the current vintage.MONTPELLIER-SupAgro La Gaillarde (341722306) / SudocSudocFranceF