A Logic-based Formalism for Reasoning about Visual Representations

VOLKER HAARSLEV
1999 Journal of Visual Languages and Computing  
This article presents a logic-based formalism for formal reasoning about visual representations. This formalism is based on previous work about describing visual notations [Haarslev, 1998a] . However, in this article we discuss major extensions to this formalism providing decidable reasoning mechanisms that support truly spatial domains such as geographical information systems (GIS). We demonstrate the application of this formalism to specifying semantics of visual query languages for GIS and to meta reasoning about spatial queries.
doi:10.1006/jvlc.1999.0133 fatcat:7prafphxk5dsfbm5awvva63jpm