タグ

技術と分出原理に関するpolynityのブックマーク (1)

  • RDF再々入門その5,包括原理って何? : セマンティックウェブ・ダイアリー

    このシリーズの一番最初に,「なぜ包括原理」というタイトルで書かせてもらいました.でも(その1)で書いたOWLにおける「包括原理」と(その2)で書いた集合論の「包括原理」がどうしても合わなくて,これが不思議だったのです.違うものだということは分かるのですが,なぜ違うことを同じことのように言っているのかが分からなかったのです.だって,それでOWL-DL派は「包括原理はパラドックスを導く」とRDFを攻撃しているのですからね. それが,最近,ひょっとしたらこれのせい?というのが見つかったのです.ここからはあくまでも,私個人の推測ですから,それを最初にお断りしておきますが,ここは日記ですからね.日記として以下に,大胆に書かせていただきます. Google.com in Englishで,「list comprehension」としてググると,いくつかの記事が出てきますが,そうですね,wikipedi

    RDF再々入門その5,包括原理って何? : セマンティックウェブ・ダイアリー
    polynity
    polynity 2011/02/27
    RDFが導入しているのは包括原理ではなく分出原理なのでラッセルのパラドックスは回避されているらしい。
  • 1