文章基本信息

标题：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で記述したオントロジーに対する論理的推論と決定可能性が保証されることを説明する．