{'fraction_non_alphanumeric': 0.01864406779661017, 'fraction_numerical': 0.001694915254237288, 'mean_word_length': 5.715909090909091, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Logic-based Formalism for Reasoning about Visual Representations

This article presents a logic-based formalism for formal reasoning about visual representations. This formalism is based on previous work about describing visual notations 1. 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.