Research on Construction Technology of Semantic Web

• Project/Area Number: 25280078
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Partial Multi-year Fund
• Section: 一般
• Research Field: Intelligent informatics
• Research Institution: Hokkaido University
• Principal Investigator: Akama Kiyoshi 北海道大学, -, 名誉教授 (50126265)
• Co-Investigator(Kenkyū-buntansha): ARAKI Kenji 北海道大学, 情報科学研究科, 教授 (50202742) ; MIURA Katsunori 北見工業大学, 工学部, 講師 (50636587)
• Research Collaborator: Sirindhorn Ekawit Nantajeewarawat International Institute of Technology, Computer Science Program, Associate Professor
• Project Period (FY): 2013-04-01 – 2016-03-31
• Project Status: Completed (Fiscal Year 2015)
• Budget Amount: ¥6,890,000 (Direct Cost: ¥5,300,000、Indirect Cost: ¥1,590,000); Fiscal Year 2015: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000); Fiscal Year 2014: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000); Fiscal Year 2013: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
• Keywords: 等価変換 / 求解問題 / 意味理解 / モデルインターセクション問題 / 関数変数 / ルール適用制御 / 自然言語インターフェイス / アンフォールド変換 / 等価変換ルール / 確定節除去変換 / ルール生成 / 並列プログラム生成 / 参照制約 / 論理構造 / モデルインターセクション / 言語学習 / セマンテックＷｅｂ

Outline of Final Research Achievements

We have constructed a theory for solving query-qnswering problems as a core technology of Semantic Web. A query-qnswering problem is transformed by using meaning-preserving Skolemization into a set of extended clauses with function variables, which is further transformed by using equivalent transformation rules. The ET solution together with meaning-preserving Skolemization has been proved to be very general and fundamental, since its correctness has been shown for a very large class of problems. In order to utilize a query-answering solver from outer world, we conducted research on automatic construction of natural language interface, and have evaluated the learning capability by experiment.

Research Products

• [Journal Article] A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation (2015)
  • Author(s): Kiyoshi Akama and Ekawit Nantajeewarawat
  • Journal Title: Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management Volume: 2 Pages: 38-49
  • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
• [Journal Article] Function-variable Elimination and Its Limitations (2015)
  • Author(s): Kiyoshi Akama and Ekawit Nantajeewarawat
  • Journal Title: Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management Volume: 2 Pages: 212-222
  • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
• [Journal Article] Deterministic Programs on Specialization Systems (2014)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Journal Title: International Journal of Innovative Computing, Information and Control Volume: Vol. 10, No. 5 Pages: 1653-1667
  • Peer Reviewed
• [Journal Article] Equivalent Transformation in an Extended Space for Solving Query-Answering Problems (2014)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Journal Title: Lecture Notes in Artificial Intelligence (LNAI 8397, ISSN: 0302-9743) Volume: LNAI 8397 Pages: 232-241
  • Peer Reviewed
• [Journal Article] Constructing Knowledge Representation Systems with First-Order Formulas (2014)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida
  • Journal Title: Journal of Industrial and Intelligent Information Volume: Vol.3, No.3 Pages: 238-245
  • Peer Reviewed
• [Journal Article] ET-based Bidirectional Search for proving Formulas in the Class ES (2014)
  • Author(s): Katsunori Miura and Kiyoshi Akama
  • Journal Title: International Journal of Innovative Computing, Information and Control Volume: Vol.10, No.6
  • NAID: 120005649802
  • Peer Reviewed
• [Journal Article] THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS (2013)
  • Author(s): Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
  • Journal Title: International Journal of Innovative Computing, Information and Control Volume: Vol. 9, No. 6 Pages: 2635-2650
  • NAID: 120005649800
  • Peer Reviewed
• [Journal Article] Unfolding-Based Simplification of Query-Answering Problems in an Extended Clause Space (2013)
  • Author(s): Kiyoshi Akama and Ekawit Nantajeewarawat
  • Journal Title: International Journal of Innovative Computing, Information and Control Volume: Vol. 9, No. 9 Pages: 3515-3526
  • Peer Reviewed
• [Journal Article] PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES (2013)
  • Author(s): Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
  • Journal Title: International Journal of Innovative Computing, Information and Control Volume: Vol. 9, No. 11 Pages: 4419-4430
  • NAID: 120005649801
  • Peer Reviewed
• [Presentation] 推論から等価変換へ (2016)
  • Author(s): 赤間 清
  • Organizer: 電子情報通信学会（システム数理と応用研究会）
  • Place of Presentation: 海峡メッセ下関(山口県・下関市)
  • Year and Date: 2016-03-03
  • Invited
• [Presentation] Solving Query-Answering Problems with If-and-Only-If Formulas (2014)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Organizer: KEOD 2014
  • Place of Presentation: Rome (Itaｌy)
  • Year and Date: 2014-10-21 – 2014-10-24
• [Presentation] Constructing Knowledge Representation Systems with First-Order Formulas (2014)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida
  • Organizer: ICFIT 2014
  • Place of Presentation: Bangkok (Thailand)
  • Year and Date: 2014-10-10 – 2014-10-12
• [Presentation] Multiple-World Extension of Clausal Logical Structures (2014)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida
  • Organizer: ADVCOMP 2014
  • Place of Presentation: Rome (Itaｌy)
  • Year and Date: 2014-08-24 – 2014-08-28
• [Presentation] Equivalent Transformation in an Extended Space for Solving Query-Answering Problems (2014)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Organizer: 6th Asian Conference, ACIIDS 2014
  • Place of Presentation: Bangkok (Thailand)
  • Year and Date: 2014-04-07 – 2014-04-09
• [Presentation] Solving Query-Answering Problems for the Semantic Web Using Equivalent Transformation (2013)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat and Hidekatsu Koike
  • Organizer: 2nd International Conference on Software and Computer Applications (ICSCA 2013)
  • Place of Presentation: Timhotel (Paris, France)
• [Presentation] Embedding Proof Problems into Query-Answering Problems and Problem Solving by Equivalent Transformation (2013)
  • Author(s): Kiyoshi Akama and Ekawit Nantajeewarawat
  • Organizer: 5th International Conference on Knowledge Engineering and Ontology Development (KEOD 2013)
  • Place of Presentation: Tivoli Marina Vilamoura (Portugal)
• [Presentation] An ET-Based Low-Level Solution for Query-Answering Problems (2013)
  • Author(s): Kiyoshi Akama and Ekawit Nantajeewarawat
  • Organizer: Multi-Disciplinary Trends in Artificial Intelligence, 7th International Workshop (MIWAI 2013)
  • Place of Presentation: Krabi Heritage Hotel (Thailand)
• [Presentation] Solving Query-Answering Problems Using All-Solution Satisfiability Solvers: Algorithm and Correctness (2013)
  • Author(s): Kiyoshi Akama and Ekawit Nantajeewarawat
  • Organizer: Third World Congress on Information and Communication Technologies (WICT 2013)
  • Place of Presentation: Le Quy Don Technical University (Hanoi, Vietnam)