Preprint · ✓完成 · 深堀り済 2026.07.07 Horn DLsにおける適合問題:計算複雑性の新たな視点 Horn DL論理式の適合問題:ELとELIにおけるシミュレーション量化子と有限モデル 査読前の可能性がある研究情報 Horn DLsにおける適合問題の計算複雑性を解析 description logic ontology fitting simulation quantifiers finite models arXiv cs.AI