国立情報学研究所
2005 年 22 巻 4 号 p. 4_26-4_34
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
本解説では，Webオントロジー言語OWLにおける推論とその計算量について解説する．OWLには3つの下位言語(OWL Full/OWL DL/OWL Lite)が提案されており，特にOWL DLには，Description Logic (DL)に基づく理論的な基盤が整備されている．それにより，OWL DLで記述したオントロジーに対する論理的推論と決定可能性が保証されることを説明する．
すでにアカウントをお持ちの場合 サインインはこちら
