Vérification les ontologies avec Prolog

dc.contributor.authorAISSAT, AICHA
dc.contributor.authorDirigé: BOURAHLA, MUSTAPHA
dc.date.accessioned2023-05-15T09:01:11Z
dc.date.available2023-05-15T09:01:11Z
dc.date.issued2011-06-10
dc.description.abstractAfin 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'ontologieen_US
dc.identifier.urihttp://dspace.univ-msila.dz:8080//xmlui/handle/123456789/38137
dc.language.isofren_US
dc.publisherUniversity of M'silaen_US
dc.subjectOntologig, OWL, Les regles de transformation, Les regles de vérification, Prolog.en_US
dc.titleVérification les ontologies avec Prologen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
AISSAT Aicha.PDF
Size:
5.17 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:

Collections