Objects, Properties, and Modules in QUIXOTE.
Hideki Yasukawa, Hiroshi Tsuda, Kazumasa Yokota · 1992
This paper describes a knowledge representation language QUIXOT E. QUIXOT E is designed and developed at ICOT to support wide range of applications in the Japanese FGCS project. QUIXOT E is basically a deductive system equipped with the facilities for representing various kind of knowledge, and for classifying knowledge. In QUIXOT E , basic notions for representing concept and knowledge are objects and their properties. Objects are represented by extended terms called object terms, and their properties are represented by subsumption constraints over the domain of object terms. Another distinguished feature of QUIXOT E is its concept of modules. Modules play an important role in classifying knowledge, modularizing a program or a database, assumption-based reasoning, and so on. In this paper, concepts of objects, properties, and modules are presented. We also present how modules work with objects and their properties. 1 Introduction Logic programming is a powerful paradigm for knowle...