Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks

Résumé

In this article, we present a new approach with the purpose of providing a Knowledge-based system able to solve the problem of reliable detection of underground networks by optimization of the existing methods. The method must be able to provide an accurate geo-detection of underground networks regardless of their material, their purpose or even the composition of the soil in which they are buried. We investigate an approach based on knowledge reasoning using ontologies. We show that OWL-DL/SWRL suffers from a lack of expressiveness and that to overcome their limitations regarding the representation and reasoning, we propose a new approach using the proof system Coq for the formalization of knowledge and reasoning. We show on a case study the strengths and limitations of this proposal.
Fichier non déposé

Dates et versions

hal-01225218 , version 1 (05-11-2015)

Identifiants

Citer

Meriem Hafsi, Richard Dapoigny, Philippe Bolon. Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks. Knowledge Science, Engineering and Management, Oct 2015, Chongqing, China. pp.90-101, ⟨10.1007/978-3-319-25159-2⟩. ⟨hal-01225218⟩
67 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More