(1)在時空數(shù)據(jù)概念模型方面，從基于OWL的時空數(shù)據(jù)形式化表示入手，對時空OWL公理類進行研究。在此基礎上，研究時空OWL邏輯類。(2)在時空數(shù)據(jù)數(shù)據(jù)模型方面，首先，提出了一個基于RDF的時空數(shù)據(jù)模型，定義了時空RDF數(shù)據(jù)圖的4種結(jié)構(gòu)。在此基礎上，研究了stRDFS中的主要類，并對它們進行描述。再次，研究五種類型的stRDFS圖代數(shù)。最后，研究了時空RDF數(shù)據(jù)的拓撲關(guān)系。(3)在時空數(shù)據(jù)查詢方法方面，首先研究了時空RDF數(shù)據(jù)的匹配：通過時間交操作、時間并操作和時間跨度研究了時空RDF數(shù)據(jù)中時間區(qū)間的匹配，通過空間交操作、空間并操作和空間跨度研究了時空RDF數(shù)據(jù)中空間區(qū)間的匹配。之后，定義查詢候選域，并提出了匹配順序的計算方法。在此基礎上，定義了時空RDF數(shù)據(jù)中的子圖同構(gòu)，并基于子圖同構(gòu)提出了時空RDF數(shù)據(jù)的查詢方法。