Status and Prospect of Spatio-temporal Ontologies and Logic Foundation
Yuan Min-yu · 2008
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.