Typed formal concept analysis

Abstract. Formal Concept Analysis (FCA) appears to be ideal for in-terpreting data in domains that are a-priori unstructured. In our re-search we focus on complex contexts with very large and rapidly changing numbers of real-world objects – for instance, data generated on-line and tracking real-time contexts in transport, enterprise warehousing, manu-facturing control or social networking activities on the web. The ontology of such contexts, i.e., the types of attribute data and those of objects, and their interrelation (such as subtyping or which objects have which attributes or reference which other objects via surrogate attributes) is partly known to domain experts. Because of incomplete knowledge how-ever, missing classes and relationships need to be inferred. In addition, domain experts need assistance in checking the partial ontology declara-tions against FCA interpretations added to the context. To make FCA more accessible in such applications, we explore the use of types similar to those available in object-oriented design and program-ming, for which methods, tools, training and skills are widely available. We present typed FCA and report about supporting tools. We also intro-duce typed priming and show that it is consistent with conceptual scaling without requiring the generation of binary lattices.