Search results for "ComputingMethodologies_GENERAL"
showing 10 items of 96 documents
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.
Assessing the impact of ancient mining activity at regional scale: the example of the Northern French Alps.
2018
Poster; International audience
Relevance of different soil fauna and microflora groups in the monitoring of soil biodiversity: RMQS-Biodiv, a French pilot area experience.
2008
PosterFR2116Poster
Corrélation entre pluies/NDVI au Cameroun entre 1951-2002.
2008
Poster
Impacts de la récession pluviométrique sur la disponibilité en eau dans le bassin versant du Couffo au Bénin (Afrique de l'Ouest)
2008
Poster; International audience
Erosion pluviale et dégradation du réseau viaire dans le quartier Boy-Rabe à Bangui (Centrafrique).
2007
POSTER; International audience
Intégration centrale de la perception sensorielle associée à l’alimentation
2012
Poster; National audience
Ligand binding by native and recombinant juvenile hormone binding proteins: effect of pH and phospholipid vesicles on binding affinity
2011
Poster
Aspartate Decarboxylase as a part of visual signal transduction
2010
Poster
Role of the putative Antiporter Minidiscs in food perception
2012
Poster