KANZAKI, Masahide

KANZAKI, Masahide at

possible world (Re: rdf and category theory) https://lists.w3.org/Archives/Public/semantic-web/2018Sep/0002.html PatHayesから。2004のRDF意味論仕様でタルスキ的モデル理論の基本を直感的に説明しようとしてpossible worldという言葉を用いたのは失敗だったとして、RDF 1.1意味論ではこうした直感的説明を一切排除して意味論を直接・形式的に記述した。その末尾に、RDFデータセットの様相(modal)的拡張の可能性を言及しているが、そのためには意味論の拡張とスコープ記述のための構文導入が必要。クアッドを用いれば追加情報の記述はできるが、それはmodalとは違う。など