The expressiveness of spider diagrams augmented with constants

Authors:
Gem Stapleton;John Taylor;Simon Thompson;John Howse
Affiliations:
Visual Modelling Group, University of Brighton, Brighton, UK;Visual Modelling Group, University of Brighton, Brighton, UK;Computing Laboratory, University of Kent, Canterbury, UK;Visual Modelling Group, University of Brighton, Brighton, UK
Venue:
Journal of Visual Languages and Computing
Year:
2009

Citing 11
Cited 3

Notes on logic and set theory

Notes on logic and set theory
Constraint diagrams: visualizing invariants in object-oriented models

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Three dimensional software modelling

Proceedings of the 20th international conference on Software engineering
On Diagram Tokens and Types

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Visualization of Formal Specifications

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
VENNFS: A Venn-Diagram File Manager

IV '03 Proceedings of the Seventh International Conference on Information Visualization
The Expressiveness of Spider Diagrams Augmented with Constants

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Collaborative knowledge capture in ontologies

Proceedings of the 3rd international conference on Knowledge capture
The Expressiveness of Spider Diagrams

Journal of Logic and Computation
Using Euler Diagrams in Traditional Library Environments

Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams

Journal of Visual Languages and Computing

Diagrammatic Reasoning Systems

ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Heterogeneous proofs: spider diagrams meet higher-order provers

ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Visualizing and specifying ontologies using diagrammatic logics

AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112

Quantified Score

Hi-index	0.00

Visualization

Abstract

Spider diagrams are a visual language for expressing logical statements or constraints. Several sound and complete spider diagram systems have been developed and it has been shown that they are equivalent in expressive power to monadic first order logic with equality. However, these sound and complete spider diagram systems do not contain syntactic elements analogous to constants in first order predicate logic. We extend the spider diagram language to include constant spiders which represent specific individuals. Formal semantics are given for the extended diagram language. We prove that this extended system is equivalent in expressive power to the language of spider diagrams without constants and, hence, equivalent to monadic first order logic with equality.