Research on Basic Technique for Construction of Adaptive Semantic Web

2008 Fiscal Year Final Research Report

• Project/Area Number: 17300027
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Media informatics/Database
• Research Institution: Hokkaido University
• Principal Investigator: AKAMA Kiyoshi Hokkaido University, 情報基盤センター, 教授 (50126265)
• Co-Investigator(Kenkyū-buntansha): MABUCHI Hiroshi 岩手県立大学, 情報ソフトウェア学部, 准教授 (20281545)
• Project Period (FY): 2005 – 2008
• Keywords: セマンテックWeb / 求解問題 / プログラム生成 / 開世界問題 / 正当性 / 等価変換 / スコーレム化

Research Abstract

セマンテックWeb上の高度な処理を正確かつ高速に行うプログラムを、適応的に自動生成する技術を研究した。 セマンテックWebにおける質問応答問題を一般的にかつ厳密に定式化し、それを等価変換で解く手続きを開発した。 適応的なセマンテックWebを実現するために、正当で高速なプログラムを自動的に構築する方法を研究し、ルール生成に基づくプログラム生成システムの強化を行った。 これらにより、適応的なセマンテックWebを実現するための基礎技術を得た。

Research Products

• [Journal Article] Generating Functionality-based Rules for Program Construction (2009)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Journal Title: International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.9(掲載決定)
  • Peer Reviewed
• [Journal Article] Creation of ET Rules from Logical Formulas representing Equivalent Relations (2009)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Journal Title: International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.2 Pages: 263-277
  • Peer Reviewed
• [Journal Article] Extension of logical structures by safe extension of specialisation systems (2008)
  • Author(s): Kiyoshi Akama, and Ekawit Nantaeewarawat
  • Journal Title: Int. J. Automation and Control Vol. 2, Nos. 2/3 Pages: 340-364
  • Peer Reviewed
• [Journal Article] Generating Speq Rules based on Automatic Proof of Logical Equivalence (2008)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Journal Title: International Journal of Computer Science (IJCS) vol.3, no.3 Pages: 190-198
  • Peer Reviewed
• [Journal Article] Expanding Transformation : A Basis for Correctness Verification of Rewriting Rules (2007)
  • Author(s): Ekawit Nantajeewarawat, Kiyoshi Akama, and Hidekatsu Koike
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.5 Pages: 478-490
  • Peer Reviewed
• [Journal Article] State-Transition Computation Models and Program Correctness Thereon (2007)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.10 Pages: 1250-1261
  • Peer Reviewed
• [Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method, PSI 2006, LNCS 4378 (2007)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat and Hidekatsu Koike
  • Journal Title: Springer-Verlag Berlin Heidelberg, Pages: 41-54
  • Peer Reviewed
• [Journal Article] Formalization of the Equivalent Transformation Computation Model (2006)
  • Author(s): Kiyoshi Akama, and Ekawit Nantajeewarawat
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3 Pages: 245-259
  • Peer Reviewed
• [Presentation] Creation of ET Rules via Logical Equivalence (2009)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Organizer: Proceeding of the Second International Conference on Innovative Computing, Information and Control (ICICIC2007), ICICIC-2007-2149, JAPAN ISBN : 0-7695-2882-1
  • Place of Presentation: Kumamoto
  • Year and Date: 20090905-07
• [Presentation] Meaning-Preserving Skolemization on Logical Structures (2008)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Organizer: Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
  • Place of Presentation: Samui, Thailand
  • Year and Date: 20081007-09
• [Presentation] Conceptual Modelling and Program Generation for Dynamic Interactive Systems (2008)
  • Author(s): C. Powell, Kiyoshi Akama, and T. Wakatsuki
  • Organizer: The 9th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2008)
  • Place of Presentation: Dunedin, New Zealand
  • Year and Date: 2008-12-02
• [Presentation] Extension of Logical Structures by Safe Extension of Specialization Systems (2007)
  • Author(s): Kiyoshi Akama, and Ekawit Nantajeewarawat
  • Organizer: Proceedings of the 8th International Conference on Intelligent Technologies (InTech'07)
  • Place of Presentation: Sydney, Australia
  • Year and Date: 20071212-14
• [Presentation] Solving Logic Problem with ET rules (2007)
  • Author(s): Zheng Cheng, Kiyoshi Akama, Ekawit Nantajeewarawat
  • Organizer: Proceedings of the Eighth International Conference on Intelligent Technolog ies (InTech'07)
  • Place of Presentation: Sydney, Australia
  • Year and Date: 20071212-14
• [Presentation] Construction of Equivalent Transformation Rules from Logical Equivalence (2007)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Organizer: Proceedings of the Eighth International Conference on Intelligent Technologi es (InTech'07)
  • Place of Presentation: Sydney, Australia
  • Year and Date: 20071212-14
• [Presentation] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation (2006)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat and Hidemi Ogasawara
  • Organizer: Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  • Place of Presentation: Taipei Taiwan
  • Year and Date: 20061212-15
• [Presentation] Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence (2006)
  • Author(s): Katsunori Miura, Kiyoshi Akama, Yoshinori Shigeta, and Hiroshi Mabuchi
  • Organizer: Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  • Place of Presentation: Taipei Taiwan
  • Year and Date: 20061212-15
• [Presentation] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method (2006)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
  • Organizer: Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference
  • Place of Presentation: Novosibirsk, Akademgorodok, Russia
  • Year and Date: 20060627-30
• [Presentation] The Squeeze Method -A Method for Program Construction in the Equivalent Transformation Computation Model (2005)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
  • Organizer: Proceedings of the 6th international conference on intelligent technologies (InTech'05)
  • Place of Presentation: Phuket, Thailand
  • Year and Date: 20051214-16
• [Presentation] State-Transition Computation Models and Program Correctness Thereon (2005)
  • Author(s): Kiyoshi Akama, and Ekawit Nantajeewarawat
  • Organizer: Proceedings of the 6th international conference on intelligent technologies (InTech'05)
  • Place of Presentation: Phuket, Thailand
  • Year and Date: 20051214-16