文章基本信息
- 标题：OWLの推論とその計算量
- 本地全文：下载
- 作者：兼岩 憲
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2005
- 卷号：22
- 期号：4
- 页码：4_26-4_34
- DOI：10.11309/jssst.22.4_26
- 出版社：Japan Society for Software Science and Technology
- 摘要：
本解説では，Webオントロジー言語OWLにおける推論とその計算量について解説する．OWLには3つの下位言語(OWL Full/OWL DL/OWL Lite)が提案されており，特にOWL DLには，Description Logic (DL)に基づく理論的な基盤が整備されている．それにより，OWL DLで記述したオントロジーに対する論理的推論と決定可能性が保証されることを説明する．
