时空本体及其逻辑基础研究现状与展望  

Status and Prospect of Spatio-temporal Ontologies and Logic Foundation

作　　者：王生生[1] 刘大有[1] 李昕[2] 姜新雷[3] 袁旻昱 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学软件学院,长春130012 [3]中国建设银行股份有限公司,北京100032

出　　处：《计算机科学》2008年第12期15-18,共4页Computer Science

基　　金：国家自然科学基金重大项目(60496321);国家自然科学基金项目(60603030,60773099,60573073);国家863高技术研究发展计划项目(2006AA10Z245);吉林省科技发展计划重点项目(20060213);欧盟项目TH/AsiaLink/010(111084)

摘　　要：总结了时空本体及其逻辑基础——时空描述逻辑的研究工作。指出了时空本体和时空描述逻辑的主要问题是复杂度过高(一般情况下不可判定)、不支持多元的时空关系和时空关系复合推理。解决方案是将时空推理和描述逻辑、本体充分结合,建立表达和推理能力更强的时空本体。The researches of spatio-temporal ontologies and spatio-temporal description logic which is the logic foundation of spatio-temporal ontologies were summarized. The major problems of spatio-temporal ontologies and spatio-temporal description logic were pointed out,i, e. they are undecidable in the general case, they can not support multi-aspect spatio-temporal relations and spatio-temporal relations composition reasoning. The solution was also pointed out, that is building the spatio-temporal ontologies which are more powerful at representation and reasoning by combining description logics and ontologies with spatio-temporal reasoning.

关 键 词：时空本体 时空描述逻辑 时空推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] O412[自动化与计算机技术—控制科学与工程]