A Logic-based Formalism for Reasoning about Visual Representations ( Extended Abstract )

This paper presents a logic-based formalism for formal reasoning about visual representations. This formalism is based on previous work about describing visual notations (Haarslev 1998). However, in this paper we discuss major extensions to this formalism providing decidable reasoning mechanisms that support truly spatial domains such as geographical… CONTINUE READING