A Logic-based Formalism for Reasoning about Visual Representations

Volker Haarslev

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.