今回は、専門用語を使わずに、 Quixote の 主な特徴のうち、 オブジェクト識別性、モジュール階層、仮説付き問い合わせ、 仮定付きの解 を説明しました。 この他にも Quixote には包摂制約、属性継承などの特徴も あります。
Quixote の 応用 としては、法的推論、素性構造、 状況推論の自然言語処理、生物データベースがあります。