Abstract FR:

L'introduction du paradigme objet dans l'informatique a connu un succes et un essor considerable durant ces dix dernieres annees. L'objectif de nos travaux est d'etudier la possibilite et l'opportunite d'une integration de deux grands domaines de l'informatique, tous deux champs d'application de la notion d'objet : la programmation par objets (issue du genie logiciel) et la representation des connaissances par objets (issue de la representation des connaissances). La premiere partie de notre travail a consiste a etudier, a travers le probleme test de l'implementation des slots-booleens, divers langages a objets reflexifs, clos, power-classes et openc + +, extensibles grace a leur protocole de meta-objets (ou mop), dans le but de choisir le langage de programmation objet le plus adequat pour cette integration. En definitive, c'est le langage claire, ne possedant pas encore de mop, qui a ete retenu pour cette integration et nous avons specifie les diverses modifications a apporter a ce langage pour obtenir un mop extensible au-dessus de ce langage. Pour le systeme de representation de connaissances, c'est la logique de description fact, ayant un pouvoir d'expression important et d'excellentes performances qui a ete consideree pour l'integration. L'integration consiste a associer a chaque classe du langage, un concept de la logique de description, et a chaque objet un individu de la base de connaissances (et reciproquement). Elle se deroule en trois etapes : implementation de fact dans le langage claire, puis ajout d'une partie raisonnement de la abox sur cette implementation ; et finalement, a partir du systeme obtenu, specification des principes de l'integration en claire du systeme fact augmente d'une abox.