Comparison of Performances of Galois Subhierarchy-building Algorithms

The Galois Sub-hierarchy (GSH) is a polynomial-size repre- sentation of a concept lattice which has been applied to several fields, such as software engineering and linguistics. In this paper, we analyze the performances, in terms of computation time, of three GSH-building algorithms with very different algorithmic strategies: Ares, Ceres and Pluton. We use Java and C++ as imple- mentation languages and Galicia as our development platform. Our results show that implementations in C++ are significantly faster, and that in most cases Pluton is the best algorithm.

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

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

[3]  Marianne Huchard,et al.  ARES, un algorithme d'Ajout avec REStructuration dans les hiérarchies de classes , 1994, LMO.

[4]  H. Leblanc.  Sous-hiérarchie de Galois : un modèle pour la construction et l'évolution des hiérarchies d'objets , 2000 .

[5]  Rokia Missaoui,et al.  Incremental structuring of knowledge bases , 1998 .

[6]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

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

[8]  Jeremy P. Spinrad,et al.  Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice , 2005, ICFCA.

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

[10]  Sergei O. Kuznetsov,et al.  Comparing performance of algorithms for generating concept lattices , 2002, J. Exp. Theor. Artif. Intell..

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

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

[13]  Guy W. Mineau,et al.  Automatic Structuring of Knowledge Bases by Conceptual Clustering , 1995, IEEE Trans. Knowl. Data Eng..

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