ユニバーサルクラスって何？ : セマンティックウェブ・ダイアリー
ずっと，RDF意味論で言うユニバーサルクラスって何だろう，と思っていて，てっきり rdfs:Class のことだろうと思っていて，このブログでもそれを前提に書いていたりしましたが，今回はっきりそれがわかる資料をW3Cメールアーカイブの中から見つけました． それは，Pat Hayes からTim Berners-Leeに宛ててかかれた次のものです． http://lists.w3.org/Archives/Public/www-tag/2007Sep/0168.html ちょっとスレッドをたどってみると，TBL が URI はWeb上の URL を指してもいいし，実世界や仮想世界の何かを指してもいい，として，すべてのものを 'resource' という言葉で表現したことに対して，Pat がすでに 'thing' とか 'entity' という言葉があるのだからやめてくれと言ったことに対しての
RDF再々入門その５，包括原理って何？ : セマンティックウェブ・ダイアリー
このシリーズの一番最初に，「なぜ包括原理」というタイトルで書かせてもらいました．でも（その１）で書いたOWLにおける「包括原理」と（その２）で書いた集合論の「包括原理」がどうしても合わなくて，これが不思議だったのです．違うものだということは分かるのですが，なぜ違うことを同じことのように言っているのかが分からなかったのです．だって，それでOWL-DL派は「包括原理はパラドックスを導く」とRDFを攻撃しているのですからね． それが，最近，ひょっとしたらこれのせい？というのが見つかったのです．ここからはあくまでも，私個人の推測ですから，それを最初にお断りしておきますが，ここは日記ですからね．日記として以下に，大胆に書かせていただきます． Google.com in Englishで，「list comprehension」としてググると，いくつかの記事が出てきますが，そうですね，wikipedi
RDF再々入門その０ : セマンティックウェブ・ダイアリー
２年弱前にRDF意味論の和訳をさせていただいて，今年１月にRDF再入門と題して，普通のセマンティックウェブ教科書には載っていないような微妙な話をさせていただきました．そこで今度は，RDF再々入門と題して，教科書には絶対に載っていなくて，研究者たちもよく分かっていなくて（多分），でも話だけはするよねみたいな話題を，勝手に（これは自己満足的に，自分のメモとして），書かせていただきます． だんだん「パイプのけむり」みたいになってきましたが・・・． でも，すべてRDF研究者としては絶対抑えておくべきことがらなのですよ．それはZermelo-Fraekelの集合論，包括原理，Russellのパラドックス，ゲーデル数，などです．これらはいずれも集合論もうすこし広くは数理論理学の基礎のお話なのですが，HayesのRDF意味論やPatel-Schneider, Horrocksらの論文に出てくるのです．で
RDF再入門その４，クラスとdisjoint問題 : セマンティックウェブ・ダイアリー
やっと，クラスとdisjoint問題に入ります． RDF意味論とOWL意味論において，クラスとはその外延で定義されます．以前の私のブログでは，次のように書いています． 「今，何か世の中にあるオブジェクトを考えて（ベースオブジェクト），何かの考え方でもってそれを分類して，複数の集合を作ったとします．そしたらそのある集合ごとに名前をつけましょう．たとえば，この集合は『イヌ』，この集合は『ネコ』，これには『ネコヤナギ』，これには『イヌフグリ』．そうしたときに，そのつけた名前が表示するものをクラスと呼んで，ベースオブジェクトの集合をそのクラス外延と呼びます．」 「イヌ」のクラス外延と「ネコ」のクラス外延が一部でも重なることはありませんから，こういうクラスを「互いに素」(disjoint)あるいは「離接」(disjointness)と言います．どちらの日本語訳もいまいちピンときませんので，以下ではそ
RDF再入門その３，スコープ問題 : セマンティックウェブ・ダイアリー
クラスとdisjointの話に入る前に，RDFとOWLにおけるスコープ問題を取り上げます． XML名前空間はあれど，RDFとOWLの三つ組においてすべてのURI参照やQNameはグローバルです．それはちょうど昔のBASICのように，プログラム言語においてすべての変数がグローバルでしかないのと類似のことです．ですから別々のオントロジーで名前空間も含め同じ名前があったら，それは同じものを指しますが，そのオントロジー記述がグローバルなものではなかったら，とんでもないことになります． たとえば，2010年2月22日にお財布に1万円あったとして，翌日5千円だったとして，その二つの知識をトリプルでうかつにマージすると，このようになります． あるオントロジーで MyBag rdf:_01 MyWallet . MyWallet contains MyMoney . MyMoney rdf:va
RDF再入門その２，非唯一名仮説（その2），内包と外延 : セマンティックウェブ・ダイアリー
いつまでたっても，内包と外延の議論というのは，どこか隔靴掻痒的なところがあるのですが，ここではせっかくのブログですから，なかなか論文には書けないような話を大胆に展開したいと思います．それが本当に正しいかどうかは一旦置いておいて・・・． 内包と外延ですぐ出てくる話が，宵の明星と明けの明星の話です．つまり内包としては，古来人間の認識としては両者は別物ですが，外延としては，実は同一物（すなわち金星）だった．でもだからと言って，この話からはなかなか有益な結果は得られないような気がします． (実はコンテキストが意味を支えるものとして出てきて，文脈依存という話はまた溝口流オントロジーとしても重要な話が一杯出てくるのですが，それはまたいつか） 私が一時期一番好きな定義は，広辞苑による定義でした． 内包： 概念の適用される範囲（外延）に属する諸事物が共通に有する徴表（性質）の全体。 外延： ある概念の適用
RDF再入門その２，非唯一名仮説（その１），イタリアンワインとカリフォルニアワインはどう違うのか : セマンティックウェブ・ダイアリー
準備不十分かも知れませんが，ついに本題に突入． まず最初は，唯一名仮説(Unique Name Assumption，略してUNA)と非唯一名仮説(non-UNA)です．えーっと，本当はnon-UNAというのかどうか私は知りません．だれか知っていたら教えてください． ワインオントロジーではvin:ItalianWineとvin:CariforniaWineはこうなっています． <owl:Class rdf:ID="ItalianWine"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#Wine" /> <owl:Restriction> <owl:onProperty rdf:resource="#locatedIn" /> <owl:hasValue rdf:resource="#Itali
RDF再入門その１，Pat Hayesの意味論（その2） : セマンティックウェブ・ダイアリー
KIF意味論の話に入る前にもう一つの文献を紹介しておきます． 1975年のIJCAI(San Fransisco)で彼は論理側に立った論文「In Defense of Logic」を発表します．とは言っても，知識表現と意味論から見た論理の重要性を強調してですが．論理の「本当の価値は通常の薄っぺらな統語論にあるのではなく，それが提供する意味論にある」と． Pat曰く，「論理はある種の世界についてのある種の知識をどう言い表したらよいかという考えの集積である．論理のメタ理論とは，このクラスの表現言語を解析するための数学的道具立てを集めたものである．これらの道具立てが解析するものは，解釈器の挙動でもなく，稼動システムのプロセスの構造でもなく，ある言語の表現がある外部の世界についての主張していると受け取られるときの，その外延的(extensional)意味である．言語の意味と，その解釈器の挙動は，別
RDF意味論を踏まえたRead,Eval,Printループ : セマンティックウェブ・ダイアリー
Lisp の対話型環境はRead, Eval, Print ループ（REPL)と呼ばれます．ユーザがコマンドをS式としてタイプし，システムはそれを読み，評価し，評価結果を印刷します．Lisp ではこの一連の動作は，当然 Lisp の意味論にしたがって，それを実現するようになっているわけです．しかし，この Lisp の意味論にはそれほど数学的論理的にきっちりとした定義があるわけではありません．Lisp の実装者はCommon Lisp の仕様書，CLtL1やCLｔL2，ANSI-CL仕様書を読んで，それを実現するように実装するわけです．もちろん，参考とするためのソースコードがあったりするわけですが（初期にはSpice Lisp, CLOSにはPCLがあった．湯浅先生と萩谷先生は参考ソースコードなしでKCLを開発したが），一方Schemeには立派な（すぎる？）表示的意味論の仕様があったりします
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
