Title

Contexts, Concepts, and Logic of Domains

Document Type

Report

Publication Date

1-1-2002

Abstract

We related two formerly independent areas: Formal concept analysis and logic of domains. We will establish a transformation of contexts into domains, and vice-versa, such that the notion of resolution in domains due to Rounds and Zhang (2001) corresponds to the construction of concepts from contexts, as in formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.

Comments

Technical Report WV-02-12 of the Artificial Intelligence Institute, Department of Computer Science, Dresden University.