モンテカルロ木探索による記述論理の充足可能性判定

抄録

Web情報をコンピュータで処理・活用するためにセマンティックwebではメタデータやオントロジーが用いられる．記述論理はWebオントロジー言語OWLの理論的基盤であり，オントロジーを記述するための言語や，推論を行うための知識ベースを提供する．命題論理の充足可能性問題に対してモンテカルロ木探索を適用した先行研究をもとに，本研究ではモンテカルロ木探索を用いて記述論理の充足可能性を判定する手法を提案する．評価実験では，実装したALC概念の充足可能性判定に対して提案手法が有用であることを示す．