Relational constructions on power context families and semiconcept graphs
by
Silke Pollandt
TU Darmstadt

The aim of the talk is to sketch an application of contextual relation algebra as introduced by R. Wille. A Contextual Logic of Relations can be developed as a Contextual Attribute Logic on the relational contexts of power context families. Formal Concept Analysis has been combined with Sowas conceptual graphs (by R. Wille and S. Prediger) to design a mathematical Logic of Judgement in the framework of contextual logic. There is a correspondence between power context families and semiconcept graphs. Thus, a logic of relations on semiconcept graphs corresponding to the Contextual Logic of Relations on power context families can be developed. The operations from Peircean Algebraic Logic ( i.e. of relation algebras of power context families) are used to generate compound semiconcepts (or relations, resp.). These compound semiconcepts can be constructed directly on semiconcept graphs. For an arbitrary semiconcept graph, most specific semiconcept graphs can be constructed, where a compound semiconcept is assigned to each of the edges.

Date received: February 1, 2001

Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cafo-68.