La notion de r`egles entre attributs est tr`es g´en´erale, allant des r`egles d’association en fouille de donn´ees aux d´ependances fonctionnelles (DF) en bases de donn´ees. Malgr´e cette diversit´e, la syntaxe des r`egles est toujours la mˆeme, seule leur s´emantique diff`ere. Pour une s´emantique donn´ee, en fonction des propri´et´es induites, des techniques algorithmiques sont mises en oeuvre pour d´ecouvrir les r`egles `a partir des donn´ees. A partir d’un ensemble de r`egles, il est aussi utile en pratique de raisonner sur ces r`egles, comme cela est le cas par exemple avec les axiomes d’Armstrong pour les d´ependances fonctionnelles. Dans cet article, nous proposons un cadre qui permet de s’assurer qu’une s´emantique donn´ee pour les r`egles est bien-form´ee, i.e. les axiomes d’Armstrong sont justes et complets pour cette s´emantique. Les propositions faites dans ce papier proviennent du contexte applicatif de l’analyse de donn´ees de biopuces. A partir de plusieurs s´emantiques pour les donn´ees d’expression de g`enes, nous montrons comment ces s´emantiques s’int`egrent dans le cadre pr´esent´e.