What can concept diagrams say?

Authors:
Gem Stapleton;John Howse;Peter Chapman;Ian Oliver;Aidan Delaney
Affiliations:
Visual Modelling Group, University of Brighton, UK;Visual Modelling Group, University of Brighton, UK;Visual Modelling Group, University of Brighton, UK;Nokia Services, Finland;Visual Modelling Group, University of Brighton, UK
Venue:
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Year:
2012

Citing 3
Cited 0

Constraint diagrams: visualizing invariants in object-oriented models

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Logic and Visual Information

Logic and Visual Information
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logics that extend the syntax of Euler diagrams include Venn-II, Euler/Venn, spider diagrams and constraint diagrams, which are first-order. We show that concept diagrams can quantify over sets and binary relations, so they are second-order. Thus, concept diagrams are highly expressive compared with other diagrammatic logics.