ローカライズされたRETEによる増分的グラフクエリの処理

ユーザーが関心のある部分グラフに対してのみ完全な結果を保証しつつ、効率的に増分的なグラフクエリを実行する手法を提案する。