Transformation automatique des ontologies de OWL vers Prolog
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
UNIVERSITE MOHAMED BOUDIAF M’SILA : FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE : Département d’Informatique
Abstract
la verification manuel des ontologies OWL avec PROLOG est tres difficile parceque
nous devons avant tout les transformer vers PROLOG, et pour faciliter cette
verification il faut la automatiser et automatiser la transformation. nous proposons
un programme pour la transformation automatique des ontologie de OWL vers
PROLOG .