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意味論を展開する.