Skip to main content
SpringerLink
Log in

Tool Support for FCA

  • Conference paper
Concept Lattices (ICFCA 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2961))

Included in the following conference series:

Abstract

Over the last two decades a number of tools have been developed to support the application of Formal Concept Analysis (FCA) to a wide variety of domains. This paper presents an overview of tool support for FCA.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Duquenne, V., Chabert, C., Cherfouh, A., Delabar, J.M., Doyen, A.L., Pickering, D.: Structuration of phenotypes/genotypes through galois lattices and implications. In: Nguifo, E., Liquiére, M., Duquenne, V. (eds.) CLKDD 2001: Concept Lattices-based Theory, Methods and Tools for Knowledge Discovery in Databases, vol. 42, pp. 21–32. CEUR (2001)

    Google Scholar 

  2. Burmeister, P.: Formal concept analysis with ConImp: Introduction to the basic features. Technical report, TU-Darmstadt, Darmstadt, Germany (1996)

    Google Scholar 

  3. Hereth, J.: DOS programs of the Darmstadt research group on formal concept analysis (1999)

    Google Scholar 

  4. Becker, P., Correia, J.H.: The ToscanaJ suite for implementing conceptual info. systems. In: Stumme, G., ed.: Proceedings of the First Int’l Conf. on Formal ConceptAnalysis - ICFCA 2003, Springer-Verlag (2003) (to appear)

    Google Scholar 

  5. Vogt, F., Wille, R.: TOSCANA- a graphical tool for analyzing and exploring data. In: Tamassia, R., Tollis, I.G. (eds.) GD 1994. LNCS, vol. 894, pp. 226–233. Springer, Heidelberg (1995)

    Google Scholar 

  6. Groh, B.: A Contextual-Logic Framework based on Relational Power Context Families. PhD thesis, Griffith Uni., School of Info. and Communication Tech. (2002)

    Google Scholar 

  7. Becker, P.: Multi-dimensional representations of conceptual hierarchies. In: Conceptual Structures—Extracting and Representing Semantics, Contributions to ICCS 2001, pp. 145–158 (2001)

    Google Scholar 

  8. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)

    MATH  Google Scholar 

  9. Valtchev, P., Gosser, D., Roume, C., Hacene, M.: Galicia: an open platform for lattices. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 241–254. Shaker Verlag, Aachen (2003)

    Google Scholar 

  10. Valtchev, P., Missaoui, R., Godin, R., Meridji, M.: Generating frequent itemsets incrementally: two novel approaches based on galois lattice theory. Journal of Experimental and Theoretical Artificial Intelligence (JETAI): Special Issue on Concept Lattice-based theory, methods and tools for Knowledge Discovery in Databases 14, 115–142 (2002)

    MATH  Google Scholar 

  11. Valtchev, P., Missaoui, R., Godin, R.: A framework for incremental generation of frequent closed itemsets. In: Proceedings of theWorkshop on Discrete Mathematics and Data Mining (DM&DM 2002), Arlington, VA (2002)

    Google Scholar 

  12. Huchard, M., Roume, C., Valtchev, P.: When concepts point at other concepts: the case of UML diagram reconstruction. In: Advances in Formal Concept Analysis for Knowledge Discovery in Databases, FCAKDD 2002, pp. 32–43 (2002)

    Google Scholar 

  13. Düwel, S.: BASE - ein begriffsbasiertes Analyseverfahren für die Software-Entwicklung. PhD thesis, Philipps-Universität, Marburg (2000)

    Google Scholar 

  14. Taran, T., Tkachev, O.: Applications of formal concept analysis in humane studies. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 271–274. Shaker Verlag, Aachen (2003)

    Google Scholar 

  15. Cole, R., Eklund, P.: Scalability in formal concept analysis. Computational Intelligence 15, 11–27 (1999)

    Article  Google Scholar 

  16. Cole, R., Eklund, P., Stumme, G.: CEM - A program for visualization and discovery in email. In: Zighed, D.A., Komorowski, J., Żytkow, J.M. (eds.) PKDD 2000. LNCS (LNAI), vol. 1910, pp. 367–374. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  17. Lindig, C., Snelting, G.: Assessing modular structure of legacy code based on mathematical concept analysis. In: Proceedings of the Int’l Conf. on Software Eng. (ICSE 1997), Boston, pp. 349–359 (1997)

    Google Scholar 

  18. Snelting, G.,Tip, F.: Reengineering class hierarchies using concept analysis. Technical Report RC 21164(94592)24APR97, IBM T.J. Watson Research Center, IBM T.J. Watson Research Center, P.O. Box 704,Yorktown Heights, NY 10598, USA (1997)

    Google Scholar 

  19. Lindig, C.: Concept-based component retrieval. In: Köhler, J., Giunchiglia, F., Green, C., Walther, C. (eds.) Working Notes of the IJCAI 1995 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, pp. 21–25 (1995)

    Google Scholar 

  20. van Deursen, A., Kuipers, T.: Identifying objects using cluster and concept analysis. In: Proceedings of the 21st Int’l Conf. on Software Eng., ICSE-1999, pp. 246–255. ACM, New York (1999)

    Chapter  Google Scholar 

  21. Kuipers, T., Moonen, L.: Types and concept analysis for legacy systems. Technical Report SEN-R0017, Centrum voor Wiskunde en Informatica (2000)

    Google Scholar 

  22. Eisenbarth, T., Koschke, R., Simon, D.: Locating features in source code. IEEE Transactions on Software Eng. 29, 195–209 (2003)

    Article  Google Scholar 

  23. Ammons, G., Mandelin, D., Bodik, R., Larus, J.: Debugging temporal specifications with concept analysis. In: Proceedings of the Conf. on Programming Language Design and Implementation PLDI 2003, ACM, New York (2003)

    Google Scholar 

  24. Bojic, D., Velasevic, D.: Reverse eng. of use case realizations in UML. In: Symposium on Applied Computing - SAC 2000, ACM, New York (2000)

    Google Scholar 

  25. Böttger, K., Schwitter, R., Richards, D., Aguilera, O., Mollá, D.: Reconciling use cases via controlled language and graphical models. In: INAP 2001 - Proc. of the 14th Int’l Conf. on Applications of Prolog, Japan, Uni. of Tokyo, pp. 20–22 (2001)

    Google Scholar 

  26. Tonella, P.: Concept analysis for module restructuring. IEEE Transactions on Software Eng. 27, 351–363 (2001)

    Article  Google Scholar 

  27. Antoniol, G., Fiutem, R., Lutteri, G., Tonella, P., Zanfei, S.: Program understanding and maintenance with the CANTO environment. In: Proceedings Int’l Conf. on Software Maintenance, pp. 72–81 (1997)

    Google Scholar 

  28. Arévalo, G.: Understanding behavioral dependencies in class hierarchies using concept analysis. In: Proceedings of LMO 2003 (Langages et Modéles á Object), Paris, France, Hermes (2003)

    Google Scholar 

  29. Arévalo, G., Ducass, S., Nierstrasz, O.: Understanding classes using x-ray views. In: MASPEGHI 2003, MAnaging SPEcialization/Generalization HIerarchies (MASPEGHI) Workshop at ASE 2003, Montreal, Canada (2003); Preliminary Version

    Google Scholar 

  30. Buchli, F.: Detecting software patterns using formal concept analysis. Technical Report IAM- 03-010, Institut für Informatik und angewandte Mathematik, Universität Bern, Switzerland (2003)

    Google Scholar 

  31. Tilley, T.: Towards an FCA based tool for visualising formal specifications. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 227–240. Shaker Verlag, Aachen (2003)

    Google Scholar 

  32. Spivey, J.: The Z notation: a reference manual. Prentice-Hall Int’l, Englewood Cliffs (1989)

    MATH  Google Scholar 

  33. Sun, J., Dong, J., Lui, J., Wang, H.: Object-Z web environment and projections to UML. In: WWW10 - 10th Int’l World Wide Web Conf., pp. 725–734. ACM, New York (2001)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, Australia

    Thomas Tilley

Authors
  1. Thomas Tilley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Systems and Technology, University of Wollongong, Northfields Ave, NSW 2522, Wollongong, Australia

    Peter Eklund

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tilley, T. (2004). Tool Support for FCA. In: Eklund, P. (eds) Concept Lattices. ICFCA 2004. Lecture Notes in Computer Science(), vol 2961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24651-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24651-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21043-6

  • Online ISBN: 978-3-540-24651-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation