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