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