PaL Diagrams: a linear diagram-based visual language

Peter Chapman, Gem Stapleton, Peter Rodgers

Research output: Contribution to journalArticle

Abstract

Linear diagrams have recently been shown to be more effective than Euler diagrams when used for set-based rea- soning. However, unlike the growing corpus of knowledge about formal aspects of Euler and Venn diagrams, there has been no formalisation of linear diagrams. To fill this knowl- edge gap, we present and formalise Point and Line (PaL) di- agrams, an extension of simple linear diagrams containing points, thus providing a formal foundation for an effective visual language. We prove that PaL diagrams are exactly as expressive as monadic first-order logic with equality, gain- ing, as a corollary, an equivalence with the Euler diagram extension called spider diagrams. The method of proof pro- vides translations between PaL diagrams and sentences of monadic first-order logic.
Original languageEnglish
Pages (from-to)945-954
Number of pages10
JournalJournal of Visual Languages and Computing
Volume25
Issue number6
DOIs
Publication statusPublished - 1 Jan 2014

Bibliographical note

© 2015, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/

Keywords

  • Line diagrams
  • Expressiveness
  • First-order logic

Fingerprint Dive into the research topics of 'PaL Diagrams: a linear diagram-based visual language'. Together they form a unique fingerprint.

  • Cite this