Reasoning Web 2005論文集について

F-logicは、論理とオブジェクト指向プログラミングをすっきりと宣言的に統合する形式主義である。情報統合、オントロジーモデリング、エージェントベースシステム、ソフトウェアエンジニアリングなどに利用され、成功を収めている。本論文では、F-logicの概要を説明し、オントロジー言語の観点からその特徴を論じる。

WebやセマンティックWeb上で強力なデータ検索を実現するために、さまざまな技術が開発されている。ウェブクエリー言語は、検索可能なデータの形式によって3つのカテゴリーに分けられる。XML、RDF、トピックマップである。本論文では、これらのカテゴリに分類される言語を紹介し、その主要な側面を要約する。各言語は、共通のサンプルデータとクエリタイプを使用して紹介されている。結論として、クエリ言語の重要な側面が強調されている。

ウェブやセマンティックウェブは、自律的に進化するデータソースを組み合わせ、それぞれが認識した事象に反応する「生命体」として理解することができる。データソースのウェブというよりは、情報システムのウェブを想定している。そのようなシステムは、情報を収集する能力（永続的なデータへの問い合わせや、発生するイベントなどの不安定なデータの「聴取」）のほかに、永続的なデータを更新し、変更を伝え、他のシステムで永続データの変更を要求し、他のシステムからの要求に対して反応することが可能である。このようなWebの動的特性から、データの進化を指定するための宣言型言語とメカニズムが必要となる。

このコースでは、一般的に進化と反応性言語の基礎について話し、その後、ウェブとセマンティックウェブにおける進化と反応性がもたらすいくつかの具体的な問題に集中的に取り組みます。

一般的な検索エンジンで「パーソナライズ」という言葉の意味を調べると、「Webサーバーへのページ要求時に、ビジネスルールに基づいて分類されたコンテンツを異なるエンドユーザーに適合させるプロセス」「コンテンツやサービスを個人に適合させるために、継続的に調整されるユーザープロファイルを使用」、さらには「ディスプレイ、特にWebページを、特定の顧客が以前に購入したものなどの既知の好みにリアルタイムに合わせる」など、23の異なる回答が出てきます。もう少し一般的に言うと、パーソナライゼーションとは、情報のアクセス、検索、保存においてユーザーに最適なサポートを提供するプロセスであり、個人の嗜好、特性、好みに合わせてソリューションを構築することである。この結果は、機械が解釈可能な意味情報を利用することによってのみ達成することができる。パーソナライゼーションは、意味情報に適用される推論プロセスによって実現され、それは特定のタスクに応じて多くの異なる方法で実行することができる。本論文の目的は、セマンティックウェブでパーソナライゼーションを実現するための問題と方法について首尾一貫した紹介を行うことである。

Attempto Controlled English (ACE)は、英語の構文を持つ知識表現言語である。ACEは英語の構文を持つ知識表現言語であるため、形式的な表記に慣れ親しんでいなくても、誰でも使うことができる。At- tempto Parsing EngineはACEのテキストを一階論理の変形である談話表現構造に変換する。したがって、ACEは完全な一階論理に相当する論理言語であることがわかる。このように、自然言語と論理言語という2つの視点は、ACEを人間にも機械にも読みやすいものにするために、互いに補い合うものである。本論文では、ACEの両観点について述べる。第1部では、ACEという言語を簡単に紹介し、第2部では、ACEテキストから得られる談話表現構造の概要を説明する。

この論文では、UMLをベースとしたルールモデリングに関するいくつかの問題を取り上げる。UMLのクラスモデルとOWLボキャブラリーとの関係について述べる。また、OCLの助けを借りて、特定のルールをクラス図で指定する方法を示す。また、UMLクラス図を用いて、ルール概念をどのように記述し、RDF、OWL、SWRL、RuleMLの抽象構文をどのように定義することができるかを簡潔に示す。

World WideWebは、知識・情報の宝庫です。しかし、残念ながら、必要な情報を検索し、アクセスすることは容易ではありません。そのため、必要な情報にアクセスし、抽出し、変換し、共有するための言語とツールが必要である。ウェブは人間が消費するだけでなく、機械とのコミュニケーションにも役立つものでなければならない。そのため、様々な異なるWebソース、一般的には様々な異種ソースから情報を抽出し、統合するための表現言語に基づいた強力かつ使いやすいツールが必要である。このチュートリアルでは、この文脈で必要とされるWeb技術を紹介し、情報抽出と統合に用いられる様々なアプローチと技術を紹介する。さらに、様々なドメインでのサンプルアプリケーションは、議論されたトピックを動機付け、セマンティックWebのためのデータインスタンスを生成することが例示されている1。

セマンティック技術を用いたアプリケーションは、他のソフトウェア製品と基本的に異なるものではありません。標準的なアプリケーションとして、よく定義された開発プロセス、適切なモデリング技術、そして構築コストを削減するために、モデルやコンポーネントの優れた再利用技術が必要である。本論文では、オントロジーを採用することで、再利用率を高めることができることを示す。オントロジーは、オブジェクト指向ソフトウェア開発における改良プロセスの改善、製品ラインの設計の簡素化、コンポーネントベースのシステムにおける相互運用性の向上、Webサービスなどのサービスベースのアプリケーションに役立つ。したがって、オントロジーは今後のソフトウェア製品のエンジニアリングにおいて重要な役割を果たすことになる。