オブジェクト識別性
包摂制約
属性継承
モジュール階層
仮説付き問合せ、仮定付き解
応用:
法的推論
自然言語処理(素性構造、状況推論)
生物 DB