Enabling real world Semantic Web applications through a

Download Report

Transcript Enabling real world Semantic Web applications through a

Enabling real world Semantic Web
applications through a coordination
middleware
Robert Tolksdorf, Lyndon J. B. Nixon, Elena Paslaru Bontas,
Duc Minh Nguyen, Franziska Liebsch
Free University of Berlin, Institute for Computer Science
AG Networked Information Systems
五十嵐 靖也 (igarashi@gigei.jp)
株式会社 日本技芸
1 : Introduction

Semantic Web


実環境への応用



Webにおける大規模な分散環境に最適な、知識表現モデ
ルとテクニック
広範囲、低信頼性、不安定な環境
ストレージ、効率的な推論、スケーラビリティ、データ分類、
耐障害性、セキュリティ…
セマンティックウェブのためのコーディネートミド
ルウェアを提示
2 : Overview of the scenario

交通管理システムへの適用

Semantic Webの応用分野




グリッドコンピューティングシステム
マルチエージェントシステム
マルチエージェントシステムにおける例として
構成



動的エージェント(乗り物など)
静的エージェント(信号、メッセージシステム、センサなど)
中央データストア
2 : Overview of the scenario

仕組み
2 : Overview of the scenario

仕組み


センサエージェントが各々独立して交通データを取得
し、交通管理システムに送信
交通管理システムは、ルートデータと交通データを参
照し、交通制御を行う


ボトルネックになっている地点の、信号やメッセージシステ
ムに表示メッセージを送信する
動的エージェント(乗り物)から交通管理システムに接
続可能

インテリジェントなナビゲーションシステム
2 : Overview of the scenario

オントロジーの拡張


エージェントが新しい情報を利用するための推論を可
能にする
拡張シナリオ

乗り物、道路、行きたい地点についてのオントロジー
ベースの知識を加えられる


乗り物のタイプによる制限(トラクターは高速道路を走らな
い)
特定のサービスを効率よく受けられる(ガソリンスタンド
等)
3 : Requirements for Semantic
Web Technologies

Webベースアプリケーションと連携するSemantic
Webミドルウェアの要件




エージェントによる効率的な情報の公開・検索が可能な分
散構造
スケーラビリティ
高次の抽象化
エージェント間やエージェントとミドルウェア間の非同期イ
ンタラクションのサポート

各エージェントがフレキシブルで効率的に交通情報の公開と検
索を行うために、時間的、空間的に分離しているべき
4: Semantic Web Technologies
Today

Semantic Web



機械処理可能なデータのセマンティクスをベースにし
た自動的な情報へのアクセスの提供
特定の表現言語(RDF(S)、OWL)の実現
シナリオで利用可能か


OWLのような言語は“静的な”ドメインの知識の表現
は可能
一時的な情報等の“動的な”知識は、より表現力のあ
る技法を要求する
4: Semantic Web Technologies
Today

現在のセマンティックウェブアプリケーション



古典的なクライアント・サーバモデルと交換処理に基
づいている
交通管理システムでは、異なるコミュニケーションパ
ラダイムを必要とする
tuplespaceパラダイムによる“Semantic Web
Spaces”

スケーラブルなミドルウェアで実現可能なソリューショ
ン
5 : Linda and TupleSpaces

Linda


並列コンピューティングにおいて、コンカレントプログ
ラミングをシーケンシャルプログラミング言語に導入
するために開発された
データ(tuples)を含む共有されたデータスペース
(tuplespace)と、共有されたデータスペースで適用さ
れるコーディネート操作(コーディネート基関数)で構成
5 : Linda and TupleSpaces

tuple



tuplespaces


(”Bobby Bear”, GBP, 25.18)
(”Bobby Bear”, GBP, ?amount):テンプレート
共有されたデータスペース
コーディネート基関数
tupleをtuplespaceから
取り出したり投入したりする
ための操作セット

5 : Linda and TupleSpaces

Lindaの特徴




相互に作用する処理を、時間的、空間的に分離する
結合しやすいアドレシングを可能にする
tuplespaceによる抽象化による、非同期と並行性の
サポート
プラットホームやプログラミング言語の特性から、コー
ディネート実装を分離
6 : Semantic Web Spaces

Semantic Web Space


要求要件(確実性、スケーラビリティ、自己組織化、
コーディネーション)を満たすミドルウェア・プラット
フォーム
tuplespacesをWebに適用する際の要件





空間、セマンティクス、構造の命名
tuplesの入れ子構造
参照メカニズム
分離メカニズム
よりリッチな分類
6 : Semantic Web Spaces

Semantic Web Spaceでは、




tuple = RDFステートメント
tuplespace = RDFグラフ
tuplespaceの各tupleは3つに分類されたRDFs
を持つ(RDFトリプルのモデリング)
全てのRDFリソースがtupleフィールドにURIに
よって表される

tuplespaceのそれぞれのフィールド値はRDFタイプ
に関連づけられる
6 : Semantic Web Spaces

3つのRDFモデル化基関数



空白のノード(BlankNode)
 どんな形式のURI識別もないノード
 tuplespaceにある空白のノードを表現するために、tupleで具体
化され、内部的にユニークなURIの値を与える
コンテナとコレクション
 rdfs:Container (rdf:Bag, rdf:Alt, rdf:Seq):可変配列
 collection(rdf:List):固定配列
 BlankNodeかURIで参照することができ、rdfs:memberプロパ
ティのステートメントによるメンバと連携
具体化
 rdf:Statement、rdf:subject、rdf:predicate、rdf:object
 RDFが、別のステートメントのオブジェクトとして、ステートメント
をURIを同一に扱えるようにする
6 : Semantic Web Spaces

入れ子のtupleの使用


入れ子のtupleは、識別子としてグローバルなURIを
伴ったrdf:Statement
RDFSpaces, XMLSpaces



RDFSpaces:Semantic Web Spacesの原型
XML指向構文を利用する際に、XMLSpacesを参照
XMLSpaces:

tupleとtupleフィールドのタイプとしてXML文書の管理をサ
ポートする、LindaモデルのJavaと.NETによる実装
6 : Semantic Web Spaces

Semantic Web Spacesの構造
7 : Design of the Traffic
Management System

Lindaモデルに基づくシステムの設計




共通のデータ・ストア
複数のエージェント間の相互連携サポート
時間的、空間的なインタラクションと分離の調整
アーキテクチャ


直接エージェントがデータ・ストアとリンダの基関数を
使用することで対話可能
モジュール化されたシステムにより、どのような要求
を持ったエージェントでも直接利用可能
7 : Design of the Traffic
Management System
7-1 : Point of interest Use Case:
Getting to the nearest Esso station

要件



ユーザが何を求めているかを理解(ESSOとは何か)
それに関する情報(ESSOが位置している場所)に近
づく手段を持つ
ESSOが近くになかったら

推論:TOTALが近くにあるならユーザは問題にしない



ユーザはESSOの顧客カードを持っている
TOTALガソリンスタンドでもESSOのカードが使える
TOTALも近くになかったら

推論:ユーザは他のガソリンスタンドへ向かっても受
け入れる

ポイントはもらえないが、ガソリンを買うことができる
7-1 : Point of interest Use Case:
Getting to the nearest Esso station

Description Logics

エージェントからのルートリクエスト
7-1 : Point of interest Use Case:
Getting to the nearest Esso station

ルート設定システムでの処理

設定ルートの読み込み
7-2:Vehicle Use Case:
Routing a slow-moving truck


道路と乗り物の間の関連性によるルーティング
の最適化
ルーティングからの控除のためのメタデータ


乗り物のタイプと特性
道路タイプと特性
7-2:Vehicle Use Case:
Routing a slow-moving truck

乗り物と道路のオントロジー的知識のモデル化
7-2:Vehicle Use Case:
Routing a slow-moving truck

与えられたルートに対して

GPSとルートとのマッピング

矛盾の解決
7-3:Route Use Case: Checking
the traffic on the whole route

与えられた道路上にあるセンサを検索
現在の交通速度のステータスを確認

どのルートが最も速いかを確認しルーティング





動的エージェントが現地でtuplespaceをアップデート
トラフィックルータが、目的地へのルートを示すtupleをアップ
デート
動的エージェントとルートの特性は、ルート上で論理的な矛盾を
特定するのに使用
ルートの選択肢から、tuplespaceで表される交通状態を使用す
ることで最も迅速なルートを選択
8 : Conclusions and Future
Work

tuplespaceは、これまでの情報管理の代替手段
とWebとの相互作用モデルとして適している


セマンティックウェブによるtuplespacesの拡張


エージェントによる情報の公開・検索が、時間的・空
間的に分けられるため
Lindaモデルのスケーラビリティの問題や基関数に関
する改訂
SemanticWebSpace


システムのスケーラビリティにフォーカス
Lindaの基関数の再定義を今後行う