Building the Knowledge Base System IDP3

Marc Denecker
Knowledge Representation and Reasoning,
Department of Computer Science, KU-Leuven


IDP3 is a Knowledge Base System for a rich logic that combines first order logic with logic programming. This article presents the motivation for building this system, discusses its logic and gives an overview of the architecture of the IDP-system, the forms of inference that it supports, and the techniques used to implement them. It also mentions applications and experiments performed with the system.

Full Version of the paper in PDF