论文部分内容阅读
总结了时空本体及其逻辑基础——时空描述逻辑的研究工作。指出了时空本体和时空描述逻辑的主要问题是复杂度过高(一般情况下不可判定)、不支持多元的时空关系和时空关系复合推理。解决方案是将时空推理和描述逻辑、本体充分结合,建立表达和推理能力更强的时空本体。
Summarized the space-time ontology and its logical basis - temporal and spatial description of the logic of the work. It is pointed out that the main problems in the logic of spatiotemporal ontology and space-time description are the complexity is too high (generally undecidable), do not support the multiple reasoning of space-time relations and space-time relations. The solution is to fully integrate spatio-temporal reasoning with descriptive logic and ontology, and to establish a spatio-temporal ontology that is more capable of expressing and reasoning.