1st Order Logic Formal Concept Analysis: From Logic Programming to Theory

In this paper, we analyze and define the introduction of 1st order logic in Formal Concept Analysis (FCA); the aims are both theoretical (as a complete model is needed) and applied (so as to improve expression power of FCA as a knowledge mining tool and the relevance of its results). Our contribution consists in: i) the implementation of classical FCA in logic programming and the analysis of real cases, ii) the design of a complete 1st order FCA model, iii) the implementation of this 1st order FCA