人工知能学会第二種研究会資料
Online ISSN : 2436-5556
表示意味論にもとづくRDF/OWL意味論の形式化
小出 誠二武田 英明
著者情報
研究報告書・技術報告書 フリー

2013 年 2013 巻 SWO-029 号 p. 06-

詳細
抄録

OWL意味論は,Direct Model-Theoretic SemanticsとRDF-Compatible Model-Theoretic Semanticsの二つの意味論によって展開されているが,Direct Mode-Theoretic SemanticsはRDF 意味論で用いられた表示意味論に基づいていないため,またRDF-Compatible Model-Theoretic Semanticsにおいてもその展開が表層的なレベルにとどまっているため,かえってRDF/OWL意味論の深い理解を妨げている.本論文ではRDF意味論のベースである表示意味論をOWL意味論の議論にも徹底させ,OWL Fullの理解を可能にさせる真のRDF-CompatibleなOWL意味論を展開する.

著者関連情報
© 2013 著作者
前の記事 次の記事
feedback
Top