PEW : un outil d'aide à la conception d'ontologies par l'exploration des mondes possibles

Résumé : La conception d'ontologie pose un certain nombre de difficultés. Une de ces difficultés est le fossé entre syntaxe et sémantique, c'est-à-dire entre la forme de surface de l'ontologies (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 : inférences inattendues, absence d'inférences attendues, voire incohérences. PEW a d'abord été développé pour aider un concepteur à compléter une ontologie existante avec des contraintes négatives (par exemple, séparation de classes), qui sont souvent omises et une cause fréquente d'absence d'inférences attendues (Ferré & Rudolph, 2012). Récemment, nous avons étendu PEW en terme d'expressivité et de fonctionnalités pour permettre également la conception d'ontologies de novo (Ferré, 2015). PEW offre ainsi une nouvelle méthodologie de conception d'ontologie.