A Mathematical Model for TOSCANA-Systems: Conceptual Data Systems

摘要

The development of the theory of Formal Concept Analysis has been accompanied from its beginning by applications of the theory to real-world problems. Those applications gave rise to the implementation of the software Toscana and the creation of Toscana-systems. In this paper, we provide a mathematical model for these systems. This model – called Conceptual Data System – enables us to describe Toscana-systems and to discuss possible extensions in mathematical terminology.