Search results for "Software"
showing 10 items of 7396 documents
Evolutionary-based 3D reconstruction using an uncalibrated stereovision system: application of building a panoramic object view
2010
In this paper, we propose an original evolutionary-based method for 3D panoramic reconstruction from an uncalibrated stereovision system (USS). The USS is composed of five cameras located on an arc of a circle around the object to be analyzed. The main originality of this work concerns the process of the calculation of the 3D information. Actually, with our method, 3D coordinates are directly obtained without any prior estimation of the fundamental matrix. The method operates in two steps. Firstly, points of interest are detected in pairs of images acquired by two consecutive cameras of the USS are matched. And secondly, using evolutionary algorithms, we jointly compute the transformed matr…
XA2C Framework for XML Alteration/Adaptation
2010
XML has crossed the borders of software engineering and has spread to other areas such as e-commerce, identification, information storage, instant messaging and others. It is used to communicate crucial data over these domains. Thus, allowing non-expert programmers to manipulate and control their XML data is essential. In the literature, this issue has been dealt with from 3 perspectives: (i) XML alteration/adaptation techniques requiring a certain level of expertise to be implemented and are not unified yet, (ii) mashups, which are not formally defined yet and are not specific to XML data, and (iii) XML-oriented visual languages based on structural transformations and data extraction mainl…
INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING
2012
International audience; The increasing use of ontologies and the cost of changes support the need to manage the evolution of ontologies. A common kind of error in ontology evolution is the logical contradiction declined as incoherences and inconsistences. In this paper, we propose a new approach to predict and identify the incoherences and inconsistences in the evolution of ontologies based on temporal logic and ontology design patterns. We implement the proposed approach using the NuSMV model checker. Based on these patterns, we propose an automated process to guide and monitor the implementation of change while ensuring the consistency of the evolved ontology.
COBieOWL, an OWL ontology based on COBie standard
2015
International audience; Building Information Modelling (BIM) standards have been recognized by construction and political actors as a highly promising tool for resolving issues of data dematerialization, notably in the field of Architecture, Engineering, Construction and Facility Management. Among worldwide-adopted BIM standards, there is COBie. COBie’s goals are to dematerialize building data and to enhance building information interoperability. Nevertheless, COBie data is available in static formats such as STEP or spreadsheet templates. Such formats lack logical formalisms and semantic features provided by languages such as OWL. Because of this, in this paper, we propose a method for sem…
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
2012
International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. 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 of two areas: the semantic web and the model checking. This line of rese…
Qualification de graphes sémantiques à l'aide du Model Checking
2011
National audience; Qualification de graphes sémantiques à l'aide du Model Checking
Qualification et interrogation de graphes sémantiques à l'aide du Model Checking
2011
National audience; Qualification et interrogation de graphes sémantiques à l'aide du Model Checking
Des outils pour la vérification des Graphes Sémantiques
2010
National audience; Le langage le plus utilisée pour représenter les graphes sémantiques est RDF (standard du W3C). Les graphes RDF sont généralement stockés dans une base de données relationnelle et manipulés en utilisant le langage SQL ou les langages dérivées comme SPARQL. Malheureusement, cette solution, bien adapté pour les petits graphes RDF n'est pas bien adaptée pour les grands graphes RDF. Pour ces grands graphes RDF, nous proposons une nouvelle approche en utilisant la vérification formelle. Pendant nos recherches, on a développé deux outils RDF2SPIN et RDF2NuSMV qui permettent de convertir les graphes RDF vers un modèle et les vérifier avec l'outil SPIN et l'outil NuSMV respective…
La logique temporelle pour interroger et qualifier des graphes sémantiques
2011
National audience; La logique temporelle pour interroger et qualifier des graphes sémantiques