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...