| Abstract
|
Frame-based knowledge representation and r … 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. t of the notion of structural subsumption.
|
| Address
|
Cambridge, Massachusetts +
|
| Author
|
Alexander Borgida +,
Deborah L. McGuinness +
|
| Bibtype
|
inproceedings +
|
| Booktitle
|
Proceedings of Fifth International Conference on the Principles of Knowledge Representation and Reasoning +
|
| Key
|
dblp:conf/dlog/borgidam96 +
|
| Modification dateThis property is a special property in this wiki.
|
27 April 2009 16:02:53 +
|
| Month
|
November +
|
| Note
|
Also appears in Proceedings of International Workshop on Description Logics, Cambridge, Mass., November 1996 +
|
| Source
|
http://dblp.uni-trier.de/rec/bibtex/conf/dlog/BorgidaM96 +
|
| Tag
|
Computer science +
|
| Title
|
Asking Queries about Frames +
|
| Year
|
1996 +
|
| Categories |
Conference Paper,
Proceeding Paper,
Publication
|
