Vérification les ontologies avec Prolog
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
University of M'sila
Abstract
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