HAMDANI, Khadidja2018-02-192018-02-192012http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/2920la 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 .frProlog, xslt, ontologie, OWLThesis