Skip to main content
SpringerLink
Log in

Organization of knowledge using order factors

  • Formal Concept Analysis
  • Conference paper
  • First Online:
Conceptual Structures: Fulfilling Peirce's Dream (ICCS 1997)

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

Included in the following conference series:

  • 133 Accesses

Abstract

A central mechanism for the storage and retrieval of conceptual structures is the generalization hierarchy. Improvements on search in the hierarchy have been made by analyzing the order structure. We continue this by factorising the order structure into scales. We show how a membership operation can be improved by scaling of knowledge. The membership problem is a special case of the insertion problem for creating hierarchies. We give a O(k, logk n) membership algorithm for a class of orders known as term products that can be generated from existing term encoding methods.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115–146, January 1989.

    Google Scholar 

  2. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, and Enrico Franconi. An empirical analysis of optimization techniques for terminological representation systems. In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, pages 270–281, Cambridge, MA, USA, October 1992. Morgan Kaufmann.

    Google Scholar 

  3. Yves Caseau. Efficient handling of multiple inheritance hierarchies. In. Proceedings of OOPSLA'93, pages 271–287, Washington, DC, USA, September 1993.

    Google Scholar 

  4. B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge [England] New York, 1990.

    Google Scholar 

  5. Gerard Ellis. Efficient retrieval from hierarchies of objects using lattice operations. In Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors, Conceptual Graphs for Knowledge Representation, number 699 in Lecture Notes in Artificial Intelligence, pages 274–293, Berlin, 1993. Springer-Verlag.

    Google Scholar 

  6. Gerard Ellis. Managing Complex Objects. PhD thesis, Computer Science Department, The University of Queensland, 4072, Queensland, Australia, February 1995.

    Google Scholar 

  7. Andrew Fall. Heterogeneous encoding. In Proceedings of International KRUSE'95 Conference: Knowledge Use, Retrieval and Storage for Efficiency, pages 162–167. University of California, Santa Cruz, August 11–13 1995.

    Google Scholar 

  8. Michel Habib, Marianne Huchard, and Lhouari Nourine. Embedding partially ordered sets into chain-products. In Proceedings of International KRUSE'95 Conference: Knowledge Use, Retrieval and Storage for Efficiency, pages 147–161. University of California, Santa Cruz, August 11–13 1995.

    Google Scholar 

  9. Robert A. Levinson. A self-organizing retrieval system for graphs. In The 3rd National Conference of the American Association for Artificial Intelligence, pages 203–206, Austin, Texas, 1984. AAAI Press, Menlo Park.

    Google Scholar 

  10. Thomas A. Lipkis. A KL-ONE classifier. In James G. Schmolze and Ronald J. Brachman, editors, 1981 KL-ONE Workshop, pages 128–145, Cambridge, MA, June 1982. Published as Bolt Beranek and Newmann Inc. BBN Report No. 4842 and Fairchild Technical Report No. 618.

    Google Scholar 

  11. Robert MacGregor. A deductive pattern matcher. In The 7th National Conference of the American Association for Artificial Intelligence, pages 403–408, Saint Paul, MI, 1988. AAAI Press, Menlo Park.

    Google Scholar 

  12. John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA, 1984.

    Google Scholar 

  13. Bernhard Ganter & Rudolf Wille. Conceptual scaling. Technical Report 1174, Technische Hochschule Darmstadt, D-6100 Darmstadt, Schlossgartenstrasse 7, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. A.C.N. 068-405-872, Peirce Holdings International Pty. Ltd., 376 Gore St., 3065, Fitzroy, Victoria, Australia

    Gerard Ellis & Stephen Callaghan

Authors
  1. Gerard Ellis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephen Callaghan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dickson Lukose Harry Delugach Mary Keeler Leroy Searle John Sowa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ellis, G., Callaghan, S. (1997). Organization of knowledge using order factors. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds) Conceptual Structures: Fulfilling Peirce's Dream. ICCS 1997. Lecture Notes in Computer Science, vol 1257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027882

Download citation

  • DOI: https://doi.org/10.1007/BFb0027882

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63308-2

  • Online ISBN: 978-3-540-69424-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation