El sistema ABC (Abduction + Belief revision + Conceptual change), desarrollado por Li (2023), unifica tres técnicas de razonamiento para la reparación automática de teorías lógicas defectuosas en Datalog. Como trabajo en curso, se presenta LEMUR, una aplicación web colaborativa que integra ABC junto a otras herramientas en arquitectura microservicios para democratizar el acceso a la definición y reparación de teorías lógicas. También se plantearán futuras aplicaciones y líneas de trabajo.