Vérification les ontologies avec Prolog
dc.contributor.author | AISSAT, AICHA | |
dc.contributor.author | Dirigé: BOURAHLA, MUSTAPHA | |
dc.date.accessioned | 2023-05-15T09:01:11Z | |
dc.date.available | 2023-05-15T09:01:11Z | |
dc.date.issued | 2011-06-10 | |
dc.description.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 | en_US |
dc.identifier.uri | http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/38137 | |
dc.language.iso | fr | en_US |
dc.publisher | University of M'sila | en_US |
dc.subject | Ontologig, OWL, Les regles de transformation, Les regles de vérification, Prolog. | en_US |
dc.title | Vérification les ontologies avec Prolog | en_US |
dc.type | Thesis | en_US |