オントロジーの階層的構造の表示自体は、最近GUIなツールがいくつも出ている。ヨーロッパではOWLのグラフィカルな表示ツールがあるし、日本でも大阪大学の「法造」などがある（こちら参照）。しかし、論理体系によるアプローチでは、そもそも階層的構造は導…

JAIST先端レクチャー・シリーズ"From Pure Logic to Ontology Engineering"の第三回目。 今回は、異なるバージョン同士の理論の間の違いをどう効率的に表示するか、という話。のサイズが10万の時、通常のやり方だと10分かかるところ、モデルを作る順番を逆に…

とても暖かい日。午前中はホテルで資料読み、午後は大学へ。 講演会終了後、香林坊に出る。109地下にあった本屋を探すが、移転したそうでがっかりする。寺喜屋で夕食、白身魚中心の海鮮丼が美味。