Research on Basic Technique for Construction of Adaptive Semantic Web
Research on Basic Technique for Construction of Adaptive Semantic Web
自适应语义网构建基本技术研究
批准号：
17300027
负责人：
AKAMA Kiyoshi
金额：
$4.63万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2005
资助国家：
日本
项目状态：
已结题
起止时间：
2005 至 2008
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
セマンテックWeb上の高度な処理を正確かつ高速に行うプログラムを、適応的に自動生成する技術を研究した。 セマンテックWebにおける質問応答問題を一般的にかつ厳密に定式化し、それを等価変換で解く手続きを開発した。 適応的なセマンテックWebを実現するために、正当で高速なプログラムを自動的に構築する方法を研究し、ルール生成に基づくプログラム生成システムの強化を行った。 これらにより、適応的なセマンテックWebを実現するための基礎技術を得た。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Expanding Transformation : A Basis for Correctness Verification of Rewriting Rules
扩展转型:重写规则正确性验证的基础
扩展转型:重写规则正确性验证的基础
DOI：
--
发表时间：
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
语义查询优化：正确性和控制
语义查询优化：正确性和控制
DOI：
--
发表时间：
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
基于专门化生成转换生成正确的并行程序
基于专门化生成转换生成正确的并行程序
DOI：
--
发表时间：
2006
期刊：
Proceedings of the 7th international conference on intelligent technologies (InTech'06)
影响因子：
--
作者：
[江川 陽, 白山 晋, Kiyoshi Akama, Kiyoshi Akama]
通讯作者：
Kiyoshi Akama
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
[Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi]
通讯作者：
and Hiroshi Mabuchi
Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation
专业化系统的逻辑结构:形式化和可满足性保持转换
专业化系统的逻辑结构:形式化和可满足性保持转换
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
[Kiyoshi Akama, Ekawit Nantajeewarawat and Hidemi Ogasawara]
通讯作者：
Ekawit Nantajeewarawat and Hidemi Ogasawara
共 29 条
Constructing A Constraint Logic Programming Language Based on User Defined Objects
-
批准号：02558003
-
项目类别：Grant-in-Aid for Developmental Scientific Research (B)
-
资助金额：$1.47万
-
财政年份：1990
-
负责人：AKAMA Kiyoshi
-
依托单位：
Stepwise Refinement for Semantic Analysis of Natural Language Sentences
-
批准号：01580018
-
项目类别：Grant-in-Aid for General Scientific Research (C)
-
资助金额：$1.09万
-
财政年份：1989
-
负责人：AKAMA Kiyoshi
-
依托单位：
Development of Knowledge Representation Language Based on the Inheritance Hierarchy Prolog
-
批准号：63880005
-
项目类别：Grant-in-Aid for Developmental Scientific Research (B).
-
资助金额：$2.05万
-
财政年份：1988
-
负责人：AKAMA Kiyoshi
-
依托单位：