A Finite State Model for On-Line Analytical Processing in Triadic Contexts

About ten years ago, triadic contexts were presented by Lehmann and Wille as an extension of Formal Concept Analysis. However, they have rarely been used up to now, which may be due to the rather complex structure of the resulting diagrams. In this paper, we go one step back and discuss how traditional line diagrams of standard (dyadic) concept lattices can be used for exploring and navigating triadic data. Our approach is inspired by the slice & dice paradigm of On-Line-Analytical Processing (OLAP).We recall the basic ideas of OLAP, and showhowthey may be transferred to triadic contexts. For modeling the navigation patterns a user might follow, we use the formalisms of finite state machines. In order to present the benefits of our model, we show how it can be used for navigating the IT Baseline Protection Manual of the German Federal Office for Information Security.

[1]  Klaus Biedermann,et al.  An equational theory for trilattices , 1999 .

[2]  Bernhard Ganter,et al.  Conceptual Structures for Knowledge Creation and Communication , 2003, Lecture Notes in Computer Science.

[3]  Klaus Biedermann,et al.  Triadic Galois connections , 1997 .

[4]  Klaus Biedermann,et al.  How Triadic Diagrams Represent Conceptual Structures , 1997, ICCS.

[5]  Gerd Stumme,et al.  On-Line Analytical Processing with Conceptual Information Systems , 1998, FODO.

[6]  Rudolf Wille,et al.  Lattices of Triadic Concept Graphs , 2000, ICCS.

[7]  Marie-Laure Mugnier,et al.  Conceptual Structures: Theory, Tools and Applications , 1998, Lecture Notes in Computer Science.

[8]  Susanne Prediger.  Nested Concept Graphs and Triadic Power Context Families , 2000, ICCS.

[9]  Gerd Stumme,et al.  Conceptual Structures: Broadening the Base , 2001, Lecture Notes in Computer Science.

[10]  Rudolf Wille,et al.  The Basic Theorem of triadic concept analysis , 1995 .

[11]  Rudolf Wille,et al.  Concept Graphs with Subdivision: A Semantic Approach , 2003, ICCS.

[12]  John F. Sowa,et al.  Conceptual Structures: Applications, Implementation and Theory , 1995, Lecture Notes in Computer Science.

[13]  John F. Sowa,et al.  Conceptual Structures: Fulfilling Peirce's Dream , 1997, Lecture Notes in Computer Science.

[14]  Klaus Biedermann.  Powerset Trilattices , 1998, ICCS.

[15]  Klaus Biedermann.  Completion of triordered sets and trilattices , 1997 .

[16]  Joachim Hereth.  Relational Scaling and Databases , 2002 .

[17]  Bernhard Ganter,et al.  Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.

[18]  Bernhard Ganter,et al.  Implications in Triadic Formal Contexts , 2004, ICCS.

[19]  Rudolf Wille.  Triadic Concept Graphs , 1998, ICCS.

[20]  Klaus Biedermann.  A foundation of the theory of trilattices , 1998 .

[21]  Harry S. Delugach,et al.  Conceptual Structures at Work , 2004, Lecture Notes in Computer Science.

[22]  Uta Priss.  A Triadic Model of Information Flow , 2001 .

[23]  R. Wille,et al.  Grundlagen einer Triadischen Begriffsanalyse , 2000 .

[24]  Gerd Stumme,et al.  Reverse Pivoting in Conceptual Information Systems , 2001, ICCS.

[25]  Galia Angelova,et al.  Conceptual Structures: Integration and Interfaces , 2002, Lecture Notes in Computer Science.

[26]  Rudolf Wille,et al.  A Triadic Approach to Formal Concept Analysis , 1995, ICCS.