Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice

Galois sub-hierarchies have been introduced as an interesting polynomial-size sub-order of a concept lattice, with useful applications. We present an algorithm which, given a context, efficiently computes an ordered partition which corresponds to a linear extension of this sub-hierarchy.

[1]  Pascal Hitzler,et al.  Default Reasoning over Domains and Concept Hierarchies , 2004, KI.

[2]  Hafedh Mili,et al.  Building and maintaining analysis-level class hierarchies using Galois Lattices , 1993, OOPSLA '93.

[3]  Rainer Osswald,et al.  Induction of Classifications from Linguistic Data , 2002 .

[4]  Anne Berry,et al.  Maintaining Class Membership Information , 2002, OOIS Workshops.

[5]  Bernhard Thalheim,et al.  Conceptual Modeling — ER '96 , 1996, Lecture Notes in Computer Science.

[6]  Anne Berry,et al.  Concepts can't afford to stammer , 2003 .

[7]  Hervé Leblanc,et al.  A new approach to factorization - introducing metrics , 2002, Proceedings Eighth IEEE Symposium on Software Metrics.

[8]  Günther Palm,et al.  KI 2004: Advances in Artificial Intelligence , 2004, Lecture Notes in Computer Science.

[9]  Lotfi Lakhal,et al.  iO2 - An Algorithmic Method for Building Inheritance Graphs in Object Database Design , 1996, ER.

[10]  Rokia Missaoui,et al.  Design of Class Hierarchies Based on Concept (Galois) Lattices , 1998, Theory Pract. Object Syst..

[11]  Wiebke Petersen,et al.  A Set-Theoretical Approach for the Induction of Inheritance Hierarchies , 2004, FGMOL.

[12]  Robert Godin,et al.  Comparaison d'algorithmes de construction de hiérarchies de classes , 1999, Obj. Logiciel Base données Réseaux.

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

[14]  Hervé Leblanc,et al.  Galois lattice as a framework to specify building class hierarchies algorithms , 2000, RAIRO Theor. Informatics Appl..

[15]  Zohra Bellahsene,et al.  Advances in Object-Oriented Information Systems , 2002, Lecture Notes in Computer Science.

[16]  R. P. Dilworth.  Review: G. Birkhoff, Lattice theory , 1950 .

[17]  Marianne Huchard,et al.  Improving Generalization Level in UML Models Iterative Cross Generalization in Practice , 2004, ICCS.

[18]  Jeremy P. Spinrad,et al.  Doubly Lexical Ordering of Dense 0 - 1 Matrices , 1993, Inf. Process. Lett..

[19]  Anne Berry,et al.  Representing a concept lattice by a graph , 2002, Discret. Appl. Math..