Skip to main content
Springer Nature Link
Log in

Logic-Based Networks: Concept Graphs and Conceptual Structures

  • Conference paper
Conceptual Structures: Logical, Linguistic, and Computational Issues (ICCS 2000)

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

Included in the following conference series:

  • 863 Accesses

Abstract

Logic-based networks are semantic networks that support reasoning capabilities. In this paper, knowledge processing within logic-based networks is viewed as three stages. The first stage involves the formation of concepts and relations: the basic primitives with which we wish to formulate knowledge. The second stage involves the formation of well-formed formulas that express knowledge about the primitive concepts and relations once isolated. The final stage involves efficiently processing the wffs to the desired end. Our research involves each of these steps as they relate to Sowa’s conceptual structures and Wille’s concept lattices. Formal Concept Analysis gives us a capability to perform concept formation via symbolic machine learning. Concept(ual) Graphs provide a means to describe relational properties between primitive concept and relation types. Finally, techniques from other areas of computer science are required to compute logic-based networks efficiently. This paper illustrates the three stages of knowledge processing in practical terms using examples from our research.

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.

Similar content being viewed by others

References

  1. 1998 MeSH, Annotated Alphabetic List. National Technical Information Service, U.S. Department of Commerce, Springfield, VA 22161 (1998)

    Google Scholar 

  2. Burrow, A.L., Eklund, P.W.: Visual structure representations and conceptual graphs. In: Proceeedings of the 3rd International Workshop on PEIRCE. ICCS 1994, pp. 45–52 (1994)

    Google Scholar 

  3. Burrow, A.L., Pollitt, S.E., Eklund, P.W.: WebKB-GE - A Visual Editor for Canonical Conceptual Graphs. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol. 1453, pp. 111–118. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  4. Carpineto, C., Romano, G.: A lattice conceptual clustering system and its application to browsing retrieval. Machine Learning 24, 95–122 (1996)

    Google Scholar 

  5. Cole, R.: Automated layout of concept lattices using force directed placement and genetic algorithms. In: Edwards, J. (ed.) The 23rd Australasian Computer Science Conference. Australian Computer Science Communications, vol. 22, pp. 31–42. IEEE Press, Los Alamitos (2000)

    Google Scholar 

  6. Cole, R., Eklund, P.: Analyzing an email collection using formal concept analysis. In: Żytkow, J.M., Rauch, J. (eds.) PKDD 1999. LNCS (LNAI), vol. 1704. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

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

    Article  Google Scholar 

  8. Coleman, M.K., Stott-Parker, D.: AGLO — Publications and Implementation. Software - Practice and Experience, 1415–1438 (December 1996)

    Google Scholar 

  9. Eklund, P.: Using path-algebras to encode directed graph knowledge-bases. In: 4th Annual Workshop on Conceptual Structures, Detroit, MN (1989)

    Google Scholar 

  10. Eklund, P., Kellett, J.M.: Prospects for conceptual graphs in knowledge acquisition interfaces. In: Proceedings of the 3rd European Workshop on Knowledge Acquisition (1989)

    Google Scholar 

  11. Eklund, P., Leane, J., Nowak, C.: GRIT: A GUI for Conceptual Structures. In: Proceeedings of the 2rd International Workshop on PEIRCE. ICCS 1993 (1993)

    Google Scholar 

  12. Eklund, P.W., Martin, P.H.: WebKB indexation and document retrieval using conceptual structures. In: Proceedings of IEEE Conference on Intelligence Information Processing ICIPS 1998, pp. 217–221. IEEE Press, Los Alamitos (1998)

    Google Scholar 

  13. Ellis, G.: Managing Complex Objects. PhD thesis, Computer Science Department, The University of Queensland, 4072, Queensland, Australia (1995)

    Google Scholar 

  14. Ganter, B., Wille, R.: Formal Concept Analysis: Logical Foundations. Springer, Heidelberg (1999)

    Google Scholar 

  15. Groh, B., Eklund, P.: Algorithms for creating relational power context families from conceptual graphs. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol. 1640, pp. 389–400. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  16. Groh, B., Eklund, P.W.: Dynamic hyper-linking by querying for a FCA-based query system. In: Proceedings of the Forth Australiasian Document Computing Symposium, pp. 9–14 (1999)

    Google Scholar 

  17. Haemmerlé, O.: CoGITo: une plate-forme de développement de logiciels sur les graphes conceptuels. PhD thesis, Montpellier II University (1995)

    Google Scholar 

  18. Martin, P., Eklund, P.: Embedding knowledge in Web documents. In: The 8th International World Wide Web Conference (WWW8), pp. 324–341. Elsevier, Amsterdam (1999) Also published in Int. Journal of Computer Telecommunication Networking 31, 1403-1419 (1999)

    Google Scholar 

  19. Martin, P., Eklund, P.: Knowledge indexation and retrieval and the Word Wide Web. Intelligent Systems — Special Issue on Knowledge Management and Knowledge Distribution over the Internet (May 2000)

    Google Scholar 

  20. Martin, P.H.: The WebKB set of tools: a common scheme for shared WWW annotations, shared knowledge bases and information retrieval. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol. 1257, pp. 588–595. Springer, Heidelberg (1997)

    Google Scholar 

  21. Nanard, J., Nanard, M., Massotte, A., Joubert, A., Betaille, H., Chauché, J.: Integrating knowledge-based hypertext and database for task-oriented access to documents. In: Wagner, R.R., Lazanský, J., Mařík, V. (eds.) DEXA 1993. LNCS (LNAI), vol. 720. Springer, Heidelberg (1993)

    Google Scholar 

  22. Prediger, S., Wille, R.: The lattice of concept graphs of a relationally scaled context. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol. 1640, pp. 401–411. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  23. Puder, A., Romer, K.: Generic Trading Service in Telecommunication Platforms. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS, vol. 1257, pp. 551–565. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  24. Sowa, J.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1983)

    Google Scholar 

  25. Sowa, J.: Conceptual graphs summary. In: Gerholz, L., Nagle, T., Nagle, J., Eklund, P. (eds.) Conceptual structures: Current theory and practice, p. 352. Ellis Horwood, (1992)

    Google Scholar 

  26. Wille, R.: Line diagrams of hierarchical concept systems. International Classification 11, 77–86 (1984)

    Google Scholar 

  27. Wille, R.: Conceptual graphs and formal concept analysis. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS, vol. 1257, Springer, Heidelberg (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Knowledge, Visualisation and Ordering Laboratory, School of Information Technology, Griffith University, Southport, Queensland, 9726, Australia

    Peter W. Eklund

Authors
  1. Peter W. Eklund
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Algebra, University of Technology, Dresden, Germany

    Bernhard Ganter

  2. Département d’informatique et de génie logiciel, Université Laval, Pavillon Adrien-Pouliot, 1065, av. de la Médecine, G1V 0A6, Quebec City, Québec, Canada

    Guy W. Mineau

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Eklund, P.W. (2000). Logic-Based Networks: Concept Graphs and Conceptual Structures. In: Ganter, B., Mineau, G.W. (eds) Conceptual Structures: Logical, Linguistic, and Computational Issues. ICCS 2000. Lecture Notes in Computer Science(), vol 1867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722280_28

Download citation

  • DOI: https://doi.org/10.1007/10722280_28

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67859-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics