Skip to Main content Skip to Navigation
Conference papers

Conception interactive d'ontologies par élimination de mondes possibles

Sébastien Ferré 1
1 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Résumé : La conception d'ontologies constitue souvent un frein à l'adoption des techniques de l'ingénierie des connaissances et du Web sémantique. Une raison est bien sûr l'emploi de formalismes et des concepts logiques qui y sont associés. Une autre raison qui nous semble plus profonde est le fossé entre syntaxe et sémantique, c'est-à-dire entre la forme de surface de l'ontologie (axiomes) et ce qu'elle rend nécessaire/possible/impossible (modèles). Ce fossé entraîne des divergences entre l'intention du concepteur et sa modélisation qui se ma-nifestent par des inférences inattendues, voire des incohérences. Nous proposons une nouvelle approche de conception d'ontologies fondée sur l'exploration et l'élimination interactive de " mondes possibles " (modèles). Elle réduit le fossé syntaxe/sémantique en interdisant par construction la production d'incohérence, et en mon-trant en permanence au concepteur ce qui peut être inféré ou non. Un prototype, PEW (Possible World Explorer), permet d'expérimenter cette approche et de la comparer à d'autres éditeurs d'ontologies.
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/hal-01165493
Contributor : Sébastien Ferré <>
Submitted on : Friday, June 19, 2015 - 11:22:17 AM
Last modification on : Friday, July 10, 2020 - 4:15:31 PM
Long-term archiving on: : Tuesday, April 25, 2017 - 2:20:38 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01165493, version 1

Citation

Sébastien Ferré. Conception interactive d'ontologies par élimination de mondes possibles. IC2015, Jun 2015, Rennes, France. ⟨hal-01165493⟩

Share

Metrics

Record views

511

Files downloads

226