ユニバーサルクラスって何？ : セマンティックウェブ・ダイアリー
ずっと，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らの論文に出てくるのです．で
OWLはどこに行くのか？ : セマンティックウェブ・ダイアリー
今年の人工知能学会全国大会は長崎で開かれますが，そこで「RDF意味論とOWL意味論の統合」と題して，このブログで最近書いてきたようなことを発表します．論文の内容はｐｄｆで公開されていますので，興味のあるかたは是非ブラウズしてみてください． 発表で本当は色々と取り上げたいことはあるのですが，時間が限られているので，その内容はやはり個物の同一性の問題とクラスの等価性の問題中心になると思います．そして結論は「現在のＯＷＬ仕様はオントロジーの知見を反映していない，このままではOWLに未来はない」というものになると思います． OWLについては，色々な評価があると思われます．肯定的な面では オントロジー記述の標準化？が達成された？オントロジー記述の定式化が達成された．オントロジー記述を一般に普及させた？ などということが言えるでしょう． その一方で，否定的な評価としては 難しすぎる．そんな高機能まで必
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意味論を踏まえた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には立派な（すぎる？）表示的意味論の仕様があったりします
我々はどこまできたか：セマンティックWeb ダイアリー - AOLダイアリー
米国のサブプライムローンをきっかけに，経済状況が悪化しています．これがSWビジネスにどんな影響を及ぼすのか，気になるところですが，最近Franz社のCEOが来日した際にこれを聞いてみました．答えは何も影響していない．逆に彼が宿泊したホテルで読んだ英字新聞では日本の国債が近い将来大量に売られて，日本が破産するという記事が載っていたことを挙げて，日本は大丈夫かと聞かれてしまいました． サブプライムローン問題にもかかわらず，米国のセマンティックウェブはまだ元気なようですね．今年もサンノゼでSemantic Technology Conferenceが開かれます．今年のスポンサー企業は28社です．去年のスポンサーはこれよりも少なかったように思います．残念ながら私は参加できませんので，誰かがまた報告してくれることを期待しましょう． 日本のセマンティックウェブはいっこうに盛り上がってきませんが，こ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
来場お礼とその他あれこれ：セマンティックWeb ダイアリー - AOLダイアリー