Towards MKM in the Large: Modular Representation and Scalable Software Architecture

MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". We contend that advances in two areas are needed to reach this goal. We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on large knowledge bases. We present instances of both in this paper: the MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDoc version; and TNTBase, a versioned storage system for XML-based document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT.Comment: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 201

Content-based Video Retrieval

no abstract

Representing, storing and mining moving objects data

Data about moving objects have been collected in huge amounts due to the proliferation of mobile devices, which capture the position of objects over time. Studies about moving objects have been developed as a specific research area of Geographic Information Systems. Those systems are designed to process traditional, static or slowly changing, geospatial data. However, moving objects have inherent a dynamism that requires different approaches to data storage and analysis. This paper presents a review of the key concepts associated to moving objects and their characteristics, as well as the approaches proposed to store data about moving objects. For the analysis of moving objects, an overview of the existing data mining techniques and some future guidelines are also presented

Modeling Intersections of Geospatial Lifelines

Modeling moving objects involves spatio-temporal reasoning. The continuous movements of objects in space-time captured as discrete samples form geospatial lifelines. Existing lifeline models can represent the movement of objects between samples from most likely location to all possible locations. This thesis builds on a model called lifeline bead and necklace that captures all the possible locations of moving objects. Beads are 3-dimensional representations of an object\u27s movements and a series of beads form a necklace. The extent of finding the possible locations is constrained by the speed of movement of the objects. Intersections of lifelines occur when two or more objects meet in space-time. Lifeline intersections are determined by testing the intersection of lifeline beads and necklaces. This thesis introduces a computational model that calculates the intersection of beads and necklaces. This model reduces the complexity of calculating 3-dimensional intersections to 2-dimensional simple geometric figures. The bead and necklace model is useful to various applications such as tracking of individuals, animals, vehicles, soldiers passing through hazardous spills, or the analysis of criminal activities. Lifeline bead intersections is applicable to interesting situations such as finding out the possibility of two individuals present in a meeting or traveling together, the incidence of an individual with environmental hazards, and determining the spatial and temporal clusters for disease patterns

Web and Semantic Web Query Languages

A number of techniques have been developed to facilitate powerful data retrieval on the Web and Semantic Web. Three categories of Web query languages can be distinguished, according to the format of the data they can retrieve: XML, RDF and Topic Maps. This article introduces the spectrum of languages falling into these categories and summarises their salient aspects. The languages are introduced using common sample data and query types. Key aspects of the query languages considered are stressed in a conclusion