Apports de la modélisation algébrique pour la représentation de connaissances par objets : illustration en AROM

AROM est un systeme de representation de connaissances reposant, a l'image des diagrammes de classes d'UML, sur deux types d'entites de modelisation complementaires : les classes et les associations. Il integre un langage de modelisation algebrique (ou LMA) qui sert de support a differents mecanismes d'inference. Ce langage permet l'ecriture d'equations, de contraintes, et de requetes, impliquant les instances des classes et des associations. La presence d'un module de types en AROM permet d'etendre l'ensemble des types (donc des valeurs et des operateurs) supportes par le LMA. A travers la description du LMA d'AROM, cet article souligne l'apport d'un langage de modelisation algebrique pour un systeme de representation de connaissances tant au niveau de la declarativite qu'en termes des inferences possibles.