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

Status and Prospect of Spatio-temporal Ontologies and Logic Foundation

总结了时空本体及其逻辑基础——时空描述逻辑的研究工作。指出了时空本体和时空描述逻辑的主要问题是复杂度过高(一般情况下不可判定)、不支持多元的时空关系和时空关系复合推理。解决方案是将时空推理和描述逻辑、本体充分结合,建立表达和推理能力更强的时空本体。

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.