La calidad de un Sistema basado en el Conocimiento (SBC) es uno de los objetivos prioritarios de la Ingenieria del Conocimiento. Dentro de la Ingenieria del Conocimiento, existe una disciplina denominada habitualmente Verificacion & Validacion (V&V) cuyo objetivo es precisamente asegurar la calidad de un SBC. Una de las lineas de investigacion que ha surgido en la V&V se ha centrado en estudiar como comprobar si un SBC satisface una serie de propiedades formales. En particular, se ha prestado especial atencion a la verificacion de la consistencia de un SBC. Como parte de estas investigaciones, se han propuesto metodos automatizables para identificar anomalias en la estructura de un SBC que potencialmente puedan dar lugar a salidas incorrectas.Esta tesis supone un paso hacia delante en el area de los metodos de V&V. En este sentido, se va a presentar un metodo, denominado MECORI, para detectar inconsistencias semanticas en SBCs hibridos basados en reglas de produccion y jerarquias de marcos. Se explicara de que manera este metodo supera a sus predecesores, acabando con muchas de sus limitaciones."