Résumé:
Afin de faciliter la transformation et la vérification des ontologies avec Prolog, nous proposons une solution å ce probléme• par la proposition d'un ensemble de regles de transformation et de raisonnement (vérification) pour vérifier la consistance d'ontologie