Research on Basic Technique for Construction of Adaptive Semantic Web

自适应语义网构建基本技术研究

• 批准号: 17300027
• 负责人: AKAMA Kiyoshi
• 金额: $ 4.63万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17300027/
• 关键词: セマンテックWeb; 求解問題; プログラム生成; 開世界問題; 正当性; 等価変換; スコーレム化; 意味保存スコーレム化; 質問応答問題; 論理等価式; 一般論理構造; 例に導かれた探索; 適応

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

Research on high speed processing and automatic generation technology on the Web The answer to the question is general, and the answer is specific. Research on the method of automatic construction of high-speed Web application, and strengthen the system of web application The basic technology of the Web is acquired.

项目成果

Expanding Transformation : A Basis for Correctness Verification of Rewriting Rules

扩展转型:重写规则正确性验证的基础

• 发表时间: 2007
• 期刊: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.5
• 作者: Ekawit Nantajeewarawat;Kiyoshi Akama;and Hidekatsu Koike
• 通讯作者: and Hidekatsu Koike

Semantic Query Optimization : Correctness and Control

语义查询优化：正确性和控制

• 发表时间: 2006
• 期刊: Journal of Advanced Computational Intelligence and Intelligent Informatics 10・3
• 作者: Uchida;M.;Shirayama;S.;Kiyoshi Akama;白山 晋;Pongtawat Chippimolchai
• 通讯作者: Pongtawat Chippimolchai

Generation of Correct Parallel Programs Based on Specializer Generation Transformations

基于专门化生成转换生成正确的并行程序

• 发表时间: 2006
• 期刊: Proceedings of the 7th international conference on intelligent technologies (InTech'06)
• 作者: 江川 陽;白山 晋;Kiyoshi Akama;Kiyoshi Akama
• 通讯作者: Kiyoshi Akama

Construction of Equivalent Transformation Rules from Logical Equivalence

从逻辑等价构建等价变换规则

• 发表时间: 2007
• 作者: Katsunori Miura;Kiyoshi Akama;and Hiroshi Mabuchi
• 通讯作者: and Hiroshi Mabuchi

Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation

专业化系统的逻辑结构:形式化和可满足性保持转换

• 发表时间: 2006
• 作者: Kiyoshi Akama;Ekawit Nantajeewarawat and Hidemi Ogasawara
• 通讯作者: Ekawit Nantajeewarawat and Hidemi Ogasawara