Vérification les ontologies avec Prolog
Loading...
Date
2011-06-10
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
Description
Keywords
Ontologig, OWL, Les regles de transformation, Les regles de vérification, Prolog.