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