Semantic Type System Using Web Ontologies

• Project/Area Number: 18700023
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: Yokohama National University
• Principal Investigator: KURAMITSU Kimio Yokohama National University, 大学院工学研究院, 准教授 (30323504)
• Project Period (FY): 2006 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥3,830,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥330,000); Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2007: ¥1,100,000 (Direct Cost: ¥1,100,000); Fiscal Year 2006: ¥1,300,000 (Direct Cost: ¥1,300,000)
• Keywords: 情報学 / プログラミング言語 / ソフトウェア / オントロジ / 意味論 / 言語設計 / オープンソース / ユビキタス情報処理 / プログラミング / スクリプト言語 / ユビキタス

Research Abstract

本研究は、オントロジ意味推論システムとプログラミング言語の型システムの統合する点が新しいアイディアであり、独立開発されたソフトウェア部品の相互運用性が向上し誤動作を防ぐことができる。研究課題は、オントロジ意味推論のためのバーチャルマシン効率化、セマンティック・コンパイラ技術、更にユビキタス環境を想定したマルチプラットホーム環境の組み込みシステム向けのコンパクト化である。研究成果は、Konohaプログラミング言語システムとして、オープンソースによる公開とソフトウェア配布を行った。

Research Products

• [Journal Article] A Map-based Integration of Ontologies into an Object-Oriented Programming Language (2008)
  • Author(s): Kimio Kuramitsu
  • Journal Title: Artificial Intelligence in Theory and Practice II, Springer Volume 276 Pages: 457-461
  • Peer Reviewed
• [Journal Article] A Map-based Integration of Ontologies into Object-Oriented Programming Language (2008)
  • Author(s): Kimio Kuramitsu
  • Journal Title: Artificial Intelligence in Theory and Practice II 276 Pages: 457-461
  • Peer Reviewed
• [Journal Article] A Map-based Integration of Ontologies into Object-Oriented Programming Language (2008)
  • Author(s): Kimio Kuramitsu
  • Journal Title: Lecture Notes in Computer Science (印刷中)
  • Peer Reviewed
• [Presentation] 次世代スクリプティング言語の開発 (2008)
  • Author(s): 倉光君郎
  • Organizer: TRONSHOW2009, 学術セッション
  • Place of Presentation: 東京(招待講演)
  • Year and Date: 2008-12-10
• [Presentation] 次世代スクリプティング言語の開発 (2008)
  • Author(s): 倉光君郎
  • Organizer: 次世代スクリプティング言語の開発
  • Place of Presentation: 東京ミッドタウン
  • Year and Date: 2008-12-10
• [Presentation] 軽量オントロジによるセマンティックプログラミング (2008)
  • Author(s): 倉光君郎
  • Organizer: 人工知能学会セマンティックWeb研究会
  • Place of Presentation: 大阪大学
  • Year and Date: 2008-12-03
• [Presentation] 組み込みシステム対応の軽量なデータベースドライバーの実装 (2008)
  • Author(s): 高井昭英、金又現、橋本諒太、倉光君郎
  • Organizer: 電子情報通信学会データ工学ワークショップ(DEWS2008)
  • Place of Presentation: 宮崎
  • Year and Date: 2008-03-10
• [Presentation] SQLなどをマッピング定義として用いた軽量なORM機構 (2008)
  • Author(s): 村上直、倉光君郎
  • Organizer: 電子情報通信学会データ工学ワークショップ(DEWS2008)
  • Place of Presentation: 宮崎
  • Year and Date: 2008-03-10
• [Presentation] MapQL: マッピングに基づくオントロジクエリ言語 (2008)
  • Author(s): 橋本諒太、倉光君郎
  • Organizer: 電子情報通信学会データ工学ワークショップ(DEWS2008)
  • Place of Presentation: 宮崎
  • Year and Date: 2008-03-10
• [Presentation] MapQL:マッピングに基づくオントロジクエリ言語 (2008)
  • Author(s): 橋本諒太、倉光君郎
  • Organizer: 電子情報通信学会データ工学ワークショップ(DEWS2008)
  • Place of Presentation: 宮崎
  • Year and Date: 2008-03-10
• [Presentation] Konoha: ハイブリッドな型検査システムを備えたスクリプティング言語 (2008)
  • Author(s): 倉光君郎
  • Organizer: 日本ソフトウェア科学会プログラミング言語シンポジウムPPL2008
  • Place of Presentation: 仙台
  • Year and Date: 2008-03-05
• [Presentation] Konoha:ハイブリッドな型検査システムを備えたスクリプティング言語 (2008)
  • Author(s): 倉光君郎
  • Organizer: 日本ソフトウェア科学会プログラミング言語シンポジウムPPL2008
  • Place of Presentation: 仙台
  • Year and Date: 2008-03-05
• [Presentation] 軽量オントロジによるセマンティックプログラミング(A802-07) (2008)
  • Author(s): 倉光君郎
  • Organizer: 人工知能学会セマンティックWeb研究会
  • Place of Presentation: 大阪大学
• [Presentation] A Map-based Integration of Ontologies into an Object-Oriented Programming Language (2008)
  • Author(s): Kimio Kuramitsu
  • Organizer: IFIP AI2008
  • Place of Presentation: Milan, Italy
• [Presentation] ユビキタス環境のためのスクリプト言語の設計 (2007)
  • Author(s): 倉光君郎
  • Organizer: 情報処理学会ユビキタスコンピューティングシステム研究会報告(UBI16)
  • Place of Presentation: 東京
  • Year and Date: 2007-11-29
• [Presentation] 魔法の水晶: 音声インタラクションを備えたAmbient Display の実装 (2007)
  • Author(s): 橋本諒太、金又現、伊藤俊延、倉光君郎
  • Organizer: 情報処理学会ユビキタスコンピューティングシステム研究会報告(UBI16)
  • Place of Presentation: 東京
  • Year and Date: 2007-11-29
• [Presentation] ユビキタス環境向けのスクリプティング言語の設計 (2007)
  • Author(s): 倉光君郎
  • Organizer: 情報処理学会ユビキタスコンピューティング研究会
  • Place of Presentation: 東京
  • Year and Date: 2007-11-29
• [Presentation] 「魔法の水晶:音声インタラクションを備えたAmbient Displayの実装 (2007)
  • Author(s): 橋本諒太, 金 又現, 伊藤俊廷, 倉光君郎
  • Organizer: 情報処理学会ユビキタスコンピューティング研究会
  • Place of Presentation: 東京
  • Year and Date: 2007-11-29
• [Presentation] 情報爆発時代に適した情報統合に適したスクリプト言語の設計 (2007)
  • Author(s): 倉光君郎
  • Organizer: 情報処理学会データベースとWEBシンポジウム(DBWeb2007)
  • Place of Presentation: 東京
  • Year and Date: 2007-11-22
• [Presentation] 情報爆発時代のデータ翻訳に適したスクリプティング言語 (2007)
  • Author(s): 倉光君郎
  • Organizer: 情報処理学会データベースとWebに関するシンポジウム2007(DBWeb2007)
  • Place of Presentation: 東京
  • Year and Date: 2007-11-22
• [Presentation] ユビキタス環境ごとのアクセス制御モデルの切り替えをサポートするスクリプティング言語エンジン (2007)
  • Author(s): 倉光君郎、橋本諒太、中田晋平
  • Organizer: 情報処理学会コンピュータシステムセキュリティシンポジウム(CSS2007)デモセッション
  • Place of Presentation: 奈良
  • Year and Date: 2007-10-27
• [Presentation] ユビキタス環境ごとのアクセス制御モデルの切り替えをサポートするスクリプティング言語エンジン (2007)
  • Author(s): 倉光君郎、橋本諒太、中田晋平
  • Organizer: 情報処理学会コンピュータシステムセキュリティシンポジウム2007
  • Place of Presentation: 奈良
  • Year and Date: 2007-10-27
• [Presentation] Merlot. A Next Generation Programming Language (2006)
  • Author(s): Kimio Kuramitsu
  • Organizer: Visiting Scholar Research Talk at Georgia Institute of Technology
  • Place of Presentation: Atlanta, USA
  • Year and Date: 2006-11-29
• [Remarks] ホームページ等
  • URL: http://konoha.sourceforge.jp/
• [Remarks]
  • URL: http://konoha.sourceforge.jp/
• [Remarks]
  • URL: http://konoha.sourceforge.jp/