|
|||||
|
|
| 时空本体及其逻辑基础研究现状与展望 | |
| 引用本文： | 王生生,刘大有,李昕,姜新雷,袁旻昱.时空本体及其逻辑基础研究现状与展望[J].计算机科学,2008,35(12):15-18. |
| 作者姓名： | 王生生 刘大有 李昕 姜新雷 袁旻昱 |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,长春,130012 2. 吉林大学软件学院,长春,130012 3. 中国建设银行股份有限公司,北京,100032 |
| 基金项目： | 国家自然科学基金重大项目，国家自然科学基金项目，国家863高技术研究发展计划项目，吉林省科技发展计划重点项目，欧盟项目TH/Asia Link/010 |
| 摘 要： | 总结了时空本体及其逻辑基础--时空描述逻辑的研究工作.指出了时空本体和时空描述逻辑的主要问题是复杂度过高(一般情况下不可判定)、不支持多元的时空关系和时空关系复合推理.解决方案是将时空推理和描述逻辑、本体充分结合,建立表达和推理能力更强的时空本体. |
| 关 键 词： | 时空本体 时空描述逻辑 时空推理 |
Status and Prospect of Spatio-temporal Ontologies and Logic Foundation |
|
| WANG Sheng-sheng,LIU Da-you,LI Xin,JIANG Xin-lei,YUAN Min-yu.Status and Prospect of Spatio-temporal Ontologies and Logic Foundation[J].Computer Science,2008,35(12):15-18. | |
| Authors: | WANG Sheng-sheng LIU Da-you LI Xin JIANG Xin-lei YUAN Min-yu |
| Affiliation: | WANG Sheng-sheng1 LIU Da-you1 LI Xin2 JIANG Xin-lei3 YUAN Min-yu1(College of Computer Science , Technology,Jilin University,Changchun 130012,China)1(Software College of Jilin University,China)2 (China Construction Bank,Beijing 100032,China)3 |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |
