Sommaire

Une ontologie... ça ressemble à quoi ?

D’un point de vue théorique, une ontologie contient des axiomes. Les logiques de description sont utilisées pour formaliser les définitions des entités et les représenter sous forme d’axiomes logiques. L’annexe Les logiques de description décrit brièvement ces logiques. Cependant, ce n’est pas grave si vous ne comprenez rien aux logiques de description et aux formules associées - j’ai moi-même commencé à utiliser des ontologies formelles bien avant de les connaître ou de les comprendre  ! Cela ne vous empêchera pas de programmer vos premières ontologies dans la suite de ce livre, ni même d’utiliser ces dernières de manière efficace. Axiomes Logique:de description

D’un point de vue pratique, une ontologie permet de définir un modèle, à la manière des classes et des instances des langages de programmation comme Python (voir chapitre Le langage Python : adoptez un serpent ! - section Classes), mais avec un niveau d’expressivité supérieur, c’est-à-dire de manière beaucoup plus détaillée. Ontologie et programmation orientée objet partagent donc beaucoup d’éléments en commun, mais utilisent souvent des termes différents pour se référer à des choses identiques ou très proches. Le tableau suivant donne une correspondance entre ...