Product detail

Formal Concept Object Distances

KOVÁR, M. KLIMEŠOVÁ, M. KŘEHLÍK, Š.

Product type

software

Abstract

Formal concept of a formal context is a notion introduced by B. Ganter and R. Wille at the end of the 70's. Both, formal context and formal concept, are two key notions of Formal Concept Analysis. They are used in theoretical computer scince for especially in connection with data representation, organization and analysis. The generalized distance of two formal concepts is an important characteristic of their mutual similarity. This can be used for classification of various objects and structures in mathematics and information sciences. As examples there can be mentioned databases, information systems, dynamical systems, topological structures, causal structures and others. Application Formal Concept Object Distances checks first if the formal context and its two formal concepts are correctly given by the input. If so it calculates the four modifications of the generalized distance between the two given concepts. The calcullation is based on the properties of the framework associated with the formal context on the set of its objects.

Keywords

Formal context, formal concept, objects, framework, framology, generalized distance

Create date

1. 12. 2014

Location

Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno

Possibilities of use

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www