Asking Queries about Frames
Knowledge Systems Laboratory
Stanford University

Abstract: Asking Queries About Frames

Frame-based knowledge representation and reasoning systems typically provide procedural interfaces for asking about properties of individuals and concepts. We propose an alternative declarative approach that extends standard interface functionality by supporting selective viewing of components of complex objects. Instead of just returning sets of individuals, our queries match concepts and filtered fragments of descriptions. The query language is an extended form of the language used to describe the knowledge-base contents, thus facilitating user training. In this paper, we describe a variety of possible semantics for answering queries in description logics. We investigate the algorithms required when answers are deduced by matching queries against a ``structural normal form'' of descriptions. As part of our approach, we introduce a useful refinement of the notion of structural subsumption.

Alex Borgida and Deborah L. McGuinness. `` Asking Queries About Frames ,'' in the Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning , Cambridge, Massachusetts, November, 1996. Morgan Kaufmann. Also appears in Proceedings of International Workshop on Description Logics, Cambridge, Mass., November 1996. ( abstract )

Return to Selected Papers of Deborah L. McGuinness.

home | people | software and network services | projects | contact | technical reports | links

Copyright @1999 Stanford University
All Rights Reserved.