Query processing for partial information databases in QUIXOTE

In advanced knowledge processing, partial information plays an important role in coping with complex data and knowledge. To handle such information, we developed the knowledge representation language (which may be regarded as a deductive object-oriented database language) QUIXOTE. The language has the features of both logic and object-orientation concepts, as well as database features. In this paper, we introduce the query processing mechanism for partial information databases in QUIXOTE, as a tool for effective data processing, taking the example of legal reasoning, and show its applicability to many applications in artificial intelligence.<>