Demonstration 

Quixote is not only a knowledge representation language for deductive 
object-oriented databases, but also a constraint logic programming language, 
database programming language, and situated programming language. 

We show the basic features and the effectiveness of Quixote through the 
following four demonstrations: 

Basic Features of Quixote 

Application to Situated Inference 

Application to Molecular Biological Databases 

Legal Reasoning System TRIAL 


Basic Features of Quixote

Objects 

The concept of an object plays a central role in Quixote. An object 
consists of an object identifier (OID) and a set of attributes (properties). An 
OID is represented in the form of complex objects. For example, 



are OIDs. The first represents the concept of apple, while the latter two 
represent sub-concepts of apple with intrinsic attributes. Extrinsic attributes 
are written on the right hand side of "/" as follows: 



Objects can be intensionally defined by rules as follows: 



Subsumption Relation and Property Inheritance 
Subsumption relation  is defined among OIDs. 



This is extended to the relation among complex objects: apple[color=red]
apple. Properties are represented in the form of constraints based on the 
subsumption relation and Hoare's ordering relation  defined by : 


					- 82 -