Ce travail décrit les derniers résultats concernant la formalisation des concepts de la méthode de conception inventive connue sous le nom de TRIZ. Une ontologie couvrant pratiquement tous les aspects de l'application de la conception inventive a été élaborée aussi bien pour ce qui est de l'étape de formulation du problème que pour sa résolution. Nous montrons comment nous avons étendu la conception inventive pour pouvoir traiter des problèmes complexes et finalement créer la Méthode de Conception Inventive (MCI) qui a nécessité l'adjonction d'une nouvelle sous-ontologie : l'ontologie des problèmes et des solutions partielles. Ces ontologies ont été élaborées conjointement à un logiciel appelé TRIZAcquisition de qualité pré commerciale qui les met en oeuvre. Il reste encore parfaire la partie de l'ontologie dédiée à la résolution, notamment à rendre explicites les liens entre toutes les sources de connaissances en jeu, mais d'ores et déjà la formalisation a entraîné clarification et meilleure efficacité dans l'application de la méthode.