Skip to main content
SpringerLink
Log in

Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs

  • Conference paper
Graph Structures for Knowledge Representation and Reasoning

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

Abstract

The knowledge base of a knowledge representation and reasoning system can simultaneously be thought of as being logic-, frame-, and graph-based. We present a method for naturally extending this three-fold view to methods for visual interaction with the knowledge base in the context of SNePS 3 and its newly developed user interface. Addition to, and querying of, the knowledge base are tasks well suited to a frame or logical representation. Visualization and exploration on the other hand are best done through the use of propositional graphs. We show how these interaction techniques, which are extensions of the underlying knowledge base representation, augment each other to allow users to manipulate and view large knowledge bases.

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. Bodenreider, O.: Experiences in visualizing and navigating biomedical ontologies and knowledge bases. In: Proceedings of the ISMB 2002 SIG Meeting: Bio-ontologies, pp. 29–32 (2002)

    Google Scholar 

  2. Fahlman, S.: NETL: A System for Representing and Using Real-World Knowledge. MIT Press, Cambridge (1979)

    MATH  Google Scholar 

  3. Fillmore, C.J.: The case for case. In: Bach, E., Harms, R.T. (eds.) Universals in Linguistic Theory, pp. 1–88. Holt, Rinehart and Winston, New York (1968)

    Google Scholar 

  4. Fillmore, C.J.: Frame semantics and the nature of language. In: Annals of the New York Academy of Sciences: Conference on the Origin and Development of Language and Speech, vol. 280, pp. 20–32 (1976)

    Google Scholar 

  5. Franz Inc., Oakland, CA: Allegro CL 8.2 Documentation (2010, http://www.franz.com/support/documentation/8.2/doc/

  6. Harris, N.: OBO-Edit (2011), http://oboedit.org/

  7. Hickey, R.: Clojure (2011), http://clojure.org/

  8. ISO/IEC: Information technology — Common Logic (CL): a framework for a family of logic-based languages, ISO/IEC 24707:2007(E). ISO/IEC, Switzerland, 1st edn. (October 2007), http://standards.iso/ittf/license.html

  9. Jurafsky, D., Martin, J.H.: Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition, 2nd edn. Prentice Hall, Upper Saddle River (2000)

    Google Scholar 

  10. de Marneffe, M.C., Manning, C.D.: Stanford typed dependencies manual. Stanford Natural Language Processing Group (September 2008), http://nlp.stanford.edu/software/dependencies_manual.pdf

  11. National Geospatial-Intelligence Agency: NGA GEOnet names server, GNS (2011), http://earth-info.nga.mil/gns/html/

  12. Prentice, M., Kandefer, M., Shapiro, S.C.: Tractor: A framework for soft information fusion. In: Proceedings of the 13th International Conference on Information Fusion, Chicago, IL (2010)

    Google Scholar 

  13. Prentice, M., Shapiro, S.C.: Using propositional graphs for soft information fusion. In: Proceedings of the 14th International Conference on Information Fusion, Edinburgh, UK (2011)

    Google Scholar 

  14. Revelytix, Inc.: Knoodl (2011), http://www.knoodl.com/

  15. Ruppenhofer, J., Ellsworth, M., Petruck, M.R.L., Johnson, C.R., Scheczyk, J.: FrameNet II: Extended theory and practice (2006) (unpublished manuscript)

    Google Scholar 

  16. Shapiro, S.C.: Belief spaces as sets of propositions. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 5(2&3), 225–235 (1993)

    Article  Google Scholar 

  17. Shapiro, S.C.: An Introduction to SNePS 3. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS(LNAI), vol. 1867, pp. 510–524. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  18. Shapiro, S.C.: A logic of arbitrary and indefinite objects. In: Dubois, D., Welty, C., Williams, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), pp. 565–575. AAAI Press, Menlo Park (2004)

    Google Scholar 

  19. Shapiro, S.C.: Set-oriented logical connectives: Syntax and semantics. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 593–595. AAAI Press, Menlo Park (2010)

    Google Scholar 

  20. Shapiro, S.C., Rapaport, W.J., Kandefer, M., Johnson, F.L., Goldfain, A.: Metacognition in SNePS. AI Magazine 28, 17–31 (2007)

    Google Scholar 

  21. Stanford Center for Biomedical Informatics Research: The Protégé ontology editor and knowledge acquisition system (2011), http://protege.stanford.edu/

  22. The JUNG Framework Development Team: JUNG - Java universal network/graph framework (2010), http://jung.sourceforge.net/

  23. Zloof, M.M.: Query by example. In: AFIPS, vol. 44 (1975)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, NY, 14260, USA

    Daniel R. Schlegel & Stuart C. Shapiro

Authors
  1. Daniel R. Schlegel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stuart C. Shapiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University Montpellier II, 161 rue Ada, 34095, Montpellier, France

    Madalina Croitoru

  2. Karlsruhe Institue of Technology, Karlsruhe, Germany

    Sebastian Rudolph

  3. 4C Computater Science, University College Cork, Western Road, Cork, Ireland

    Nic Wilson

  4. School of Computing, Engineering and Mathematics, University of Brighton, Lewes Road, BN2 4GJ, Brighton, UK

    John Howse

  5. INRIA, 2004 route des Lucioles, 6902, Sophia Antipolis, France

    Olivier Corby

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schlegel, D.R., Shapiro, S.C. (2012). Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs. In: Croitoru, M., Rudolph, S., Wilson, N., Howse, J., Corby, O. (eds) Graph Structures for Knowledge Representation and Reasoning. Lecture Notes in Computer Science(), vol 7205. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29449-5_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29449-5_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29448-8

  • Online ISBN: 978-3-642-29449-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation