Track:
Contents
Downloads:
Abstract:
This paper presents a logic-based formalism for formalreasoning about visual representations. This formalism is based on previous work about describing visual notations. However, in this paper we discuss major extensions to this formalism providing decidable reasoning mechanisms that support truly spatial domains such as geographical information systems (GIS). We sketch out the application of this formalism to the specification of syntax and semantics of visual query languages for GIS and to metareasoning about spatial queries.