by   Martin Kovár, Marie Klimešová, Štěpán Křehlík

Formal context is one of the key notions in Formal Concept Analysis. It is motivated by idea of concetrating the information of various types at one algebraic structure. Especially it is used in connection with data representation and organization. Framework is a formal context whose incidence relation is the membership relation. The objects are called places and the attributes are collections of places connected, for instance, by a possible presence of some physical object. The set of attributes is called a framology. Both structures may be used for representation of information and data of various type, including the properties of other mathematical objects, like dynamical systems. However, the framework representation is sometimes more natural, especially for structures having some spatial or topological character.

Our experimental application Attribute Frameworks checks if the formal context is correctly given by the input and then it calculates the framework associated with the formal context on the set of its attributes. A source of inspiration for this application is the joint research of the first author with his former student, A. Chernikava during her (already finished) doctoral study. The coauthors, M. Klimešová and Š. Křeklík are current doctoral students of the Department of Mathematics.