AISSAT, AICHADirigé: BOURAHLA, MUSTAPHA2023-05-152023-05-152011-06-10http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/38137Afin 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'ontologiefrOntologig, OWL, Les regles de transformation, Les regles de vérification, Prolog.Thesis