Skip to main content
SpringerLink
Log in

A File System Based on Concept Analysis

  • Conference paper
  • First Online:
Computational Logic — CL 2000 (CL 2000)

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

Included in the following conference series:

Abstract

We present the design of a file system whose organization is based on Concept Analysis “à la Wille-Ganter”. The aim is to combine querying and navigation facilities in one formalism. The file system is supposed to offer a standard interface but the interpretation of common notions like directories is new. The contents of a file system is interpreted as a Formal Context, directories as Formal Concepts, and the sub-directory relation as Formal Concepts inclusion. We present an organization that allows for an efficient implementation of such a Conceptual File System.

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. L. Chaudron and N. Maille. 1st order logic formal concept analysis: from logic programming to theory. Computer and Information Science, 13(3), 1998.

    Google Scholar 

  2. S. Ferré and O. Ridoux. Une géenéralisation logique de l’analyse de concepts logique. Technical Report RR-3820, Inria, Institut National de Recherche en Informatique et en Automatique, December 1999. An english version is available at http://www.irisa.fr/lande/ferre.

  3. Sébastien Ferré and Olivier Ridoux. A logical generalization of formal concept analysis. In Guy Mineau and Bernhard Ganter, editors, International Conference on Conceptual Structures, August 2000. To appear.

    Google Scholar 

  4. David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, and James W. Jr O’Toole. Semantic file systems. In Proceedings of 13th ACM Symposium on Operating Systems Principles, pages 16–25. ACM SIGOPS, October 1991.

    Google Scholar 

  5. Burra Gopal and Udi Manber. Integrating content-based access mechanisms with hierarchical file systems. In Proceedings of third symposium on Operating Systems Design and Implementation, pages 265–278. USENIX Association, 1999.

    Google Scholar 

  6. R. Godin, R. Missaoui, and A. April. Experimental comparison of navigation in a Galois lattice with conventional information retrieval methods. International Journal of Man-Machine Studies, 38(5):747–767, 1993.

    Article  Google Scholar 

  7. B. Ganter and R. Wille. Formal Concept Analysis — Mathematical Foundations. Springer, 1999.

    Google Scholar 

  8. M. Krone and G. Snelting. On the inference of configuration structures from source code. In Proceedings of the 16th International Conference on Software Engineering, pages 49–58. IEEE Computer Society Press, May 1994.

    Google Scholar 

  9. C. Lindig. Concept-based component retrieval. In IJCAI95 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs, 1995.

    Google Scholar 

  10. G. Snelting. Concept analysis — A new framework for program understanding. ACM SIGPLAN Notices, 33(7):1–10, July 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRISA, Campus Universitaire de Beaulieu, 35042, Rennes cedex

    Sébastien Ferré & Olivier Ridoux

Authors
  1. Sébastien Ferré
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olivier Ridoux
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Australian National University, Australia

    John Lloyd

  2. Simon Fraser University, Canada

    Veronica Dahl

  3. Universität Koblenz, Germany

    Ulrich Furbach

  4. The University of Birmingham, UK

    Manfred Kerber

  5. University of Manchester, UK

    Kung-Kiu Lau

  6. The Pennsylvania State University, USA

    Catuscia Palamidessi

  7. Universidade Nova de Lisboa, Portugal

    Luís Moniz Pereira

  8. The Hebrew University of Jerusalem, Israel

    Yehoshua Sagiv

  9. The University of Melbourne, Australia

    Peter J. Stuckey

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ferré, S., Ridoux, O. (2000). A File System Based on Concept Analysis. In: Lloyd, J., et al. Computational Logic — CL 2000. CL 2000. Lecture Notes in Computer Science(), vol 1861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44957-4_69

Download citation

  • DOI: https://doi.org/10.1007/3-540-44957-4_69

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67797-0

  • Online ISBN: 978-3-540-44957-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation