Search results for "Information Systems."
showing 10 items of 1545 documents
RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker
2011
International audience; The most frequently used language 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. The processing of large semantic graphs is a limit to the use of semantics in current 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, RDF2SPIN, which converts RDF graphs into SPIN language. This conversion aims checking the semantic graphs with the model checker SPIN in order to verify the consistency of the data. To illustrate our propos…
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…
Needle-shape quality control by shadowgraphic image processing
2011
International audience; We propose a needle-shape quality-control method. To this end, we have devised a new acquisition system that combines a camera and a backlight. Needle measurements are carried out at a micrometric scale using shadowgraphic image processing. Our method not only distinguishes good needles from bad ones, but also allows classifying flawed needles into various categories of defects. This classification is important because some categories of defects can affect the entire production, whereas others do not. The results of our needle-shape quality-control method are validated using real samples directly off the manufacturing line. Needles are correctly classified at >97%, a…
Spatial correction in dynamic photon emission by affine transformation matrix estimation
2014
International audience; Photon emission microscopy and Time Resolved Imaging have proved their efficiency for defect localization on VLSI. A common process to find defect candidate locations is to draw a comparison between acquisitions on a normally working device and a faulty one. In order to be accurate and meaningful, this method requires that the acquisition scene remains the same between the two parts. In practice, it can be difficult to set. In this paper, a method to correct position by affine matrix transformation is suggested. It is based on image features detection, description and matching and affine transformation estimation.
A Use Case of Data Integration in Food Production
2018
International audience; This paper presents a use case about knowledge representation and integration of data from different domains in food science. An ontology named PO 2 DG, the Process and Observation Ontology for the production of Dairy Gels, has been designed in order to provide a shared vocabulary for domain experts. The available data have been semantically structured using PO 2 DG and are stored in an RDF repository named PO 2 DG dataset. This use case identifies some of the challenges when dealing with a multi domain representation problem, gives some hints about possible solutions and suggests some further work.
Bridging Sensing and Decision Making in Ambient Intelligence Environments
2009
Context-aware and Ambient Intelligence environments represent one of the emerging issues in the last decade. In such intelligent environments, information is gathered to provide, on one hand, autonomic and easy to manage applications, and, on the other, secured access controlled environments. Several approaches have been defined in the literature to describe context-aware application with techniques to capture and represent information related to a specified domain. However and to the best of our knowledge, none has questioned the reliability of the techniques used to extract meaningful knowledge needed for decision making especially if the information captured is of multimedia types (image…
Semantic User Profiling for Digital Advertising
2015
International audience; With the emergence of real-time distribution of online advertising space (“real-time bidding”), user profiling from web navigation traces becomes crucial. Indeed, it allows online advertisers to target customers without interfering with their activities. Current techniques apply traditional methods as statistics and machine learning, but suffer from their limitations. As an answer, the proposed approach aims to develop and evaluate a semantic-based user profiling system for digital advertising.
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.