OWL 2 DLのニューロシンボリック学習にSDDを活用するBaobabを発表

arXiv cs.AI ・ 2026-08-18

原題: Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits

AI による要約

OWL 2 DLオントロジーのニューロシンボリック学習に、命題論理決定図（SDD）へのコンパイル手法「Baobab」を提案した。有限ABoxをSDDに飽和させ、知覚ネットワークを部分ABox監督下で学習する。$\mathcal{SROIQ}$の全機能を扱う初の手法である。

この要約は当サイトの AI が生成したものです。正確な内容は元記事（arXiv cs.AI）をご確認ください。