Formal Concept Analysis and Resolution in Algebraic Domains

TitleFormal Concept Analysis and Resolution in Algebraic Domains
Publication TypeConference Paper
Year of Publication2003
AuthorsMatthias Wendt, Pascal Hitzler
Conference NameICCS 2003
Pagination205-221
Conference LocationShaker Verlag, Aachen
Abstract

We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.

Full Text

Matthias Wendt, 'Formal Concept Analysis and Resolution in Algebraic Domains,' ICCS Shaker Verlag, Aachen 2003, pp. 157-170.

Related Files: