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.
Keywords
- Binary Relation
- Function Symbol
- Information Fusion
- Logical Expression
- Functional Term
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Fahlman, S.: NETL: A System for Representing and Using Real-World Knowledge. MIT Press, Cambridge (1979)
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)
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)
Franz Inc., Oakland, CA: Allegro CL 8.2 Documentation (2010, http://www.franz.com/support/documentation/8.2/doc/
Harris, N.: OBO-Edit (2011), http://oboedit.org/
Hickey, R.: Clojure (2011), http://clojure.org/
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
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)
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
National Geospatial-Intelligence Agency: NGA GEOnet names server, GNS (2011), http://earth-info.nga.mil/gns/html/
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)
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)
Revelytix, Inc.: Knoodl (2011), http://www.knoodl.com/
Ruppenhofer, J., Ellsworth, M., Petruck, M.R.L., Johnson, C.R., Scheczyk, J.: FrameNet II: Extended theory and practice (2006) (unpublished manuscript)
Shapiro, S.C.: Belief spaces as sets of propositions. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 5(2&3), 225–235 (1993)
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)
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)
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)
Shapiro, S.C., Rapaport, W.J., Kandefer, M., Johnson, F.L., Goldfain, A.: Metacognition in SNePS. AI Magazine 28, 17–31 (2007)
Stanford Center for Biomedical Informatics Research: The Protégé ontology editor and knowledge acquisition system (2011), http://protege.stanford.edu/
The JUNG Framework Development Team: JUNG - Java universal network/graph framework (2010), http://jung.sourceforge.net/
Zloof, M.M.: Query by example. In: AFIPS, vol. 44 (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)
