Sommaire

Introduction

Dans ce chapitre, nous verrons comment utiliser les raisonneurs HermiT et Pellet en Python, afin de vérifier la cohérence d’une ontologie et d’effectuer des déductions et de la classification automatiques à partir des constructeurs.