非正則的な命題動的論理の記述論理特徴拡張の探索

本論文では、ALC記述論理の非正則拡張であるALCvplの概念充足可能性問題に焦点を当てる。特に、Self演算子の追加や名義詞の追加によって、この問題が不可能になることを示す。さらに、単一の非正則言語r#s#を用いた非正則クエリの推論問題の不可能性も示す。