Gérer les informations temporelles dans et par les modèles informatiques

International audienceTemporal information proves to be prominent in many scientific problems. As regards Geography, temporal concerns are often in long or mean term interaction with spatial aspects and calendar issues. Practical and theoretical approaches necessarily cross-reference various viewpoints from several scientific communities. The use of formal models is a means to make languages and practices more accurate and efficient, hence leading to more efficiency (consistency, correction, reusability…). The will to access larger, more and more complex and heterogeneous pieces of information, leads to master the way to populate and query data warehouses and knowledge bases. With several paradigms, computer science, provides models which can express and help solving many current and forthcoming problems. This paper gives an overview of the state of art in the matter of temporal modelling, accompanied with some meta-model instances and some insight into practical applications.Les informations temporelles jouent un rôle important dans une grande majorité de problèmes scientifiques. En géographie, l'interaction avec les aspects spatiaux et la référence à des calendriers sur de longues périodes est fréquente. Les approches théoriques ou expérimentales croisent nécessairement différents points de vue de plusieurs communautés scientifiques. Pour préciser et unifier les langages et les pratiques, l'utilisation systématique de modèles plus ou moins formels est une garantie d'efficacité (cohérence, correction, réutilisation, etc.). L'accès à des masses toujours plus importantes d'informations complexes et hétérogènes, la volonté de capitalisation des résultats nécessitent le peuplement et l'interrogation d'entrepôts de données et de bases de connaissance. L'informatique produit des modèles qui permettent de formuler et de résoudre un grand nombre de questions en la matière. Le présent article donne un état de l'art sur le sujet ainsi que des exemples de modèles assortis de références à des travaux applicatifs

Reasoning about temporal relations : a maximal tractable subclass of Allen\u27s interval algebra

We introduce a new subclass of Allen\u27s interval algebra we call "ORD-Horn subclass", which is a strict superset of the "pointisable subclass". We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-consistency method is sufficient for deciding satisfiability. Further, using an extensive machine-generated case analysis, we show that the ORD-Horn subclass is a maximal tractable subclass of the full algebra (assuming P neq NP). In fact, it is the unique greatest tractable subclass amongst the subclasses that contain all basic relations

Reasoning about temporal relations : a maximal tractable subclass of Allen's interval algebra

We introduce a new subclass of Allen's interval algebra we call "ORD-Horn subclass", which is a strict superset of the "pointisable subclass". We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-consistency method is sufficient for deciding satisfiability. Further, using an extensive machine-generated case analysis, we show that the ORD-Horn subclass is a maximal tractable subclass of the full algebra (assuming P neq NP). In fact, it is the unique greatest tractable subclass amongst the subclasses that contain all basic relations

Interactive Event Sequence Query and Transformation

In our burgeoning world of pervasive sensors and affordable data storage, records of timestamped events are being produced across nearly every domain of personal and professional computing. This temporal event data is a fundamental component of electronic health records, process logs, sports analytics, and more. Across all domains, however, are two overarching needs: (1) to understand population-level trends and patterns, and (2) to identify important subsets of individual records. Visual analytics tools are billed as the solution to both of these problems. A huge volume of work has demonstrated the ability of these tools to facilitate user-guided data exploration and hypothesis generation across a wide range of data types. What is typically ignored however, is the process that takes place between the data collection and this exploration stage, a process frequently referred to as data wrangling. For many data types, wrangling consists mostly of restructuring spreadsheet columns and renaming fields. For temporal event data though, this wrangling process can extend much further---to the data itself---where event patterns must be transformed to better reflect either the real world events that generated them or the perspective of a given study. Without this step, population-level trends can be obscured beyond the point of recognition, and important subsets of records are impossible to discern. Temporal event data wrangling, however, is deceivingly difficult and error prone even for expert users. Standard, command-based query languages are poorly suited for specifying even the simplest event patterns and, in systems that are not precisely designed for handling temporal constructs, these queries are executed using a series of slow and inefficient self-join operations. Attempts at more accessible query languages frequently omit critical features such as events that occur over a period of time (intervals) or the absence of an event. Perhaps most importantly is that query alone is not enough to get users through a typical temporal event data wrangling process. Event patterns not only need to be found, but also transformed and re-represented. Temporal event wrangling is just as much about revisal as it is about retrieval, and given the ubiquity of this data type, an effective solution on this front has the potential to hugely impact the way that we utilize this data to inform future decisions. An improved query and wrangling process would not only benefit database professionals, but also dramatically increase the range of users who can access this type of data, particularly domain expert medical researchers. This dissertation demonstrates the ability of the EventFlow visualization tool to extend beyond the typical bounds of data exploration, and serve as a critical aid for both temporal event query and data transformation. I begin by establishing a better understanding of why these two processes are innately error prone, and introduce a simple set of powerful yet usable mechanisms that can help reduce an initial portion of these errors. I then show that by coupling these mechanisms with interactive visualizations, users are able to both identify remaining errors and leverage those errors to construct more accurate queries and transformations. The direct contributions of this dissertation are (1) a graphic-based query capabilities over points, intervals, and absences, (2) an integer programming strategy for processing temporal queries, (3) a Find & Replace system for transforming event sequences, and (4) eight case studies that demonstrate the utility and validity of these approaches. However, this work is designed more broadly to open new avenues of research in how visualization and visual analytics tools can be leveraged for tasks beyond data exploration