Title :
On specifying semantics of visual spatial query languages
Author :
Haarsley, V. ; Möller, Ralf ; Wessel, Michael
Author_Institution :
Dept. of Comput. Sci., Hamburg Univ., Germany
Abstract :
We present a first treatment dealing with semantics of visual spatial query languages for GIS using a suitable description logic. This decidable space logic is described and its usefulness for GIS exemplified. The logic supports the specification of semantics, reasoning about query subsumption and about applying default knowledge
Keywords :
geographic information systems; nonmonotonic reasoning; query languages; visual languages; decidable space logic; default knowledge; description logic; geographic information system; query subsumption; reasoning; semantics specification; visual spatial query languages; Computer science; Concrete; Database languages; Equations; Geographic Information Systems; Information retrieval; Information systems; Logic; Spatial databases; Visual databases;
Conference_Titel :
Visual Languages, 1999. Proceedings. 1999 IEEE Symposium on
Conference_Location :
Tokyo
Print_ISBN :
0-7695-0216-4
DOI :
10.1109/VL.1999.795869
