A general-purpose logic-based visualization framework

Camil Demetrescu, Irene Finocchi

Computer and Systems Science Department
University of Rome "La Sapienza"
Via Salaria 113, 00198 Rome, Italy
demetres@dis.uniroma1.it

Department of Computing Science
University of Rome "La Sapienza"
Via Salaria 113, 00198 Rome, Italy
finocchi@dsi.uniroma1.it

This paper describes a general-purpose visualization framework for producing images through reasoning processes. The approach is significantly different from the usual imperative one: indeed, the visualizer retrieves visual information from a knowledge base that may depend on an external source of data. This knowledge base is written by the user in a logic-based language and contains declarations about visual objects, their interrelations and their geometric and retinal features. Different algorithms for querying the knowledge base are presented, discussing both their temporal complexity and their robustness.

Keywords: visualization, logic languages