Search results for "Database"
showing 10 items of 2136 documents
Extending SPARQL with Temporal Logic
2009
The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…
A new approach based on NμSMV Model to query semantic graph
2011
International audience; The language most frequently used to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. Processing of large semantic graphs can be a limit to use semantics in modern information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. The data integration and shar…
The Hierarchical Agglomerative Clustering with Gower index: a methodology for automatic design of OLAP cube in ecological data processing context
2015
In Press, Corrected Proof; International audience; The OLAP systems can be an improvement for ecological studies. In fact, ecology studies, follows and analyzes phenomenon across space and time and according to several parameters. OLAP systems can provide to ecologists browsing in a large dataset. One focus of the current research on OLAP system is the automatic design of OLAP cubes and of data warehouse schemas. This kind of works makes accessible OLAP technology to non information technology experts. But to be efficient, the automatic OLAP building must take into account various cases. Moreover the OLAP technology is based on the concept of hierarchy. Thereby the hierarchical clustering m…
Filtering and emission area identification in the Time Resolved Imaging data
2012
Abstract Time Resolved Imaging (TRI) acquisitions allow precise timing analysis of emission spots. Up to date technologies deeply challenge their isolation by hiding the weak ones, under sizing or over sizing visually detectable emission spots and finally by jeopardizing timing resolution. We report on an algorithm based on 1 and 2D signal processing tools which automates the identification of emission sites and optimizes separation between noise and useful signal, even for weak spots surrounding strong emission areas. The application of the algorithm on several sets of data from different types of devices and their results are also discussed.
Cluster matching in time resolved imaging for VLSI analysis
2014
International audience; If scaling has the benefit of enabling manufacturers to design tomorrow's integrated circuits, from the failure analyst point of view it also has the drawback of making devices more complex. The test sequence for modern VLSI can be quite long, with thousands of vector. Dynamic photon emission databases can contain millions of photons representing thousands of state changes in the region of interest. Finding a candidate location where to perform physical analysis is quite challenging, especially if the fault occurs on a single vector. In this paper, we suggest a new methodology to find single vector fault in dynamic photon emission database. The process is applied at …
Cross-Media Color Reproduction and Display Characterization
2012
International audience; In this chapter, we present the problem of cross-media color reproduction, that is, how to achieve consistent reproduction of images in different media with different technologies. Of particular relevance for the color image processing community is displays, whose color properties have not been extensively covered in previous literature. Therefore, we go more in depth concerning how to model displays in order to achieve colorimetric consistency. The structure of this chapter is as follows: After a short introduction, we introduce the field of cross-media color reproduction, including a brief description of current standards for color management, the concept of colori…
Enhancing scientific information systems with semantic annotations
2013
International audience; Scientific Information Systems aim to produce or improve knowledge on a subject through activities of research and development. The management of scientific dat a requires some essential properties. We propose SemLab an architecture that sup ports interoperability, data quality and extensibility through a unique paradigm: semantic annotation. We present two app lications that validate our architecture.
How to Enrich Description Logics with Fuzziness
2017
International audience; The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards. While the process of transformation from a description logic to a fuzzy logic is a trivial inclusion, the other way of reducing information from fuzzy logic to description logic is a difficult task, that will be topic of future work.
Automatic ontology-based User Profile Learning from heterogeneous Web Resources in a Big Data Context
2013
International audience; The Web has developed to the biggest source of information and entertainment in the world. By its size, its adaptability and flexibility, it challenged our current paradigms on information sharing in several areas. By offering everybody the opportunity to release own contents in a fast and cheap way, the Web already led to a revolution of the traditional publishing world and just now, it commences to change the perspective on advertisements. With the possibility to adapt the contents displayed on a page dynamically based on the viewer's context, campaigns launched to target rough customer groups will become an element of the past. However, this new ecosystem, that re…
ArchaeoKM: Managing Archaeological data through Archaeological Knowledge
2010
International audience; Nowadays, the use of ontologies in the field of the archaeology is a new direction of research that is not fully tested. Some results are very encouraging and challenge the vision of archaeological sites which cannot be modeled semantically. Most of the re-searches based on ontology technologies in the arc-haeology domain are based on the research of finding on a common ground for the interoperability and the integration of data. Papers like (LANG 2009), (KOLLIAS 2008) cover these research. The project ArchaeoKM is a shift from such researches. It focus-es on using the knowledge possessed by the archaeo-logists to model the data of an archaeological project, and to d…