Author

Gem Stapleton

103 papers · 1999–2025

1999peak 10 in 20102025

Frequent co-authors

Papers

showing 1–25 of 103 RSS

Spider Diagrams

John Howse, Gem Stapleton, John Taylor

Artificial Intelligence · LMS Journal of Computation and Mathematics · 2005 · cited 82× · DOI ↗ · more like this ·

Abstract The use of diagrams in mathematics has traditionally been restricted to guiding intuition and communication. With rare exceptions such as Peirce's alpha and beta systems, purely diagrammatic formal reasoning has not been in the mathematician's or logician's toolkit. This paper develops a purely diagrammatic reasoning system of “spider diagrams” that builds on Euler, Venn and Peirce diagrams. The system is known to be expressively equivalent to first-order monadic logic with equality. Two levels of diagrammatic syntax have been developed: an ‘abstract’ syntax that captures the structure of diagrams, and a ‘concrete’ syntax that captures topological properties of drawn diagrams. A number of simple diagrammatic transformation rules are given, and the resulting reasoning system is shown to be sound and complete.

Inductively Generating Euler Diagrams

Gem Stapleton, Peter Rodgers, John Howse +1 more

Computer Vision and Pattern Recognition · IEEE Transactions on Visualization and Computer Graphics · 12 Feb 2010 · cited 51× · DOI ↗ · more like this ·

Euler diagrams have a wide variety of uses, from information visualization to logical reasoning. In all of their application areas, the ability to automatically layout Euler diagrams brings considerable benefits. In this paper, we present a novel approach to Euler diagram generation. We develop certain graphs associated with Euler diagrams in order to allow curves to be added by finding cycles in these graphs. This permits us to build Euler diagrams inductively, adding one curve at a time. Our technique is adaptable, allowing the easy specification, and enforcement, of sets of well-formedness conditions; we present a series of results that identify properties of cycles that correspond to the well-formedness conditions. This improves upon other contributions toward the automated generation of Euler diagrams which implicitly assume some fixed set of well-formedness conditions must hold.…

The Expressiveness of Spider Diagrams

Gem Stapleton

Computer Vision and Pattern Recognition · Journal of Logic and Computation · 29 Nov 2004 · cited 51× · DOI ↗ · more like this ·

Spider diagrams are a visual language for expressing logical statements. In this paper we identify a well-known fragment of first-order predicate logic, that we call , equivalent in expressive power to the spider diagram language. The language is monadic and includes equality but has no constants or function symbols. To show this equivalence, in one direction, for each diagram we construct a sentence in that expresses the same information. For the more challenging converse we prove that there exists a finite set of models for a sentence that can be used to classify all the models for . Using these classifying models we show that there is a diagram expressing the same information as .

Visualizing Sets with Linear Diagrams

Peter Rodgers, Gem Stapleton, Peter Chapman

Computer Vision and Pattern Recognition · ACM Transactions on Computer-Human Interaction · 24 Sep 2015 · cited 48× · DOI ↗ · more like this ·

This paper presents the first design principles that optimize the visualization of sets using linear diagrams. These principles are justified through empirical studies that evaluate the impact of graphical features on task performance. Linear diagrams represent sets using straight line segments, with line overlaps corresponding to set intersections. This study builds on recent empirical research, which establishes that linear diagrams can be superior to prominent set visualization techniques, namely Euler and Venn diagrams. We address the problem of how to best visualize overlapping sets using linear diagrams. To solve the problem, we investigate which graphical features of linear diagrams significantly impact user task performance. To this end, we conducted seven crowdsourced empirical studies involving a total of 1,760 participants. These studies allowed us to identify the following…

A Survey of Reasoning Systems Based on Euler Diagrams

Gem Stapleton

Software · Electronic Notes in Theoretical Computer Science · June 2005 · cited 47× · DOI ↗ · more like this ·

Euler diagrams have been used for centuries as a means for conveying ideas in an intuitive, informal way. Recently much research has been conducted to develop formal, diagrammatic reasoning systems based on Euler diagrams. Most of these systems extend Euler diagrams by adding further syntax to increase expressiveness. In this paper we survey such systems and draw comparisons between them.

Properties of Euler Diagrams

Gem Stapleton, Peter Rodgers, John Howse +1 more

Artificial Intelligence · Kent Academic Repository (University of Kent) · 12 Mar 2024 · cited 40× · DOI ↗ · more like this ·

Euler diagrams have numerous application areas, with a large variety of languages based on them. In relation to software engineering, such areas encompass modelling and specification including from a formal perspective. In all of these application areas, it is desirable to provide tools to layout Euler diagrams, ideally in a nice way. Various notions of `niceness' can be correlated with certain properties that an Euler diagram may or may not possess. Indeed, the relevant layout algorithms developed to date produce Euler diagrams that have certain sets of properties, sometimes called well-formedness conditions. However, there is not a commonly agreed definition of an Euler diagram and the properties imposed on them are rarely stated precisely. In this paper, we provide a very general definition of an Euler diagram, which can be constrained in varying ways in order to match the variety of…

Towards Overcoming Deficiencies in Constraint Diagrams

Gem Stapleton, Aidan Delaney

Software · University of Brighton Repository (University of Brighton) · September 2007 · cited 37× · DOI ↗ · more like this ·

The constraint diagram language was designed to be used in conjunction with the Unified Modelling Language (UML), primarily for placing formal constraints on software models. In particular, constraint diagrams play a similar role to the textual object constraint language in that they can be used for specifying system invariants and operation contracts in the context of a UML model. Constraint diagrams can also be used independently of the UML. In this paper, we illustrate a range of counter-intuitive features of constraint diagrams and highlight some (potential) expressiveness limitations. We propose a generalized version of the constraint diagram language that overcomes the illustrated counter-intuitive features and limitations.

Drawing Euler Diagrams with Circles: The Theory of Piercings

Gem Stapleton, Leishi Zhang, John Howse +1 more

Computer Vision and Pattern Recognition · IEEE Transactions on Visualization and Computer Graphics · 29 Sep 2010 · cited 36× · DOI ↗ · more like this ·

Euler diagrams are effective tools for visualizing set intersections. They have a large number of application areas ranging from statistical data analysis to software engineering. However, the automated generation of Euler diagrams has never been easy: given an abstract description of a required Euler diagram, it is computationally expensive to generate the diagram. Moreover, the generated diagrams represent sets by polygons, sometimes with quite irregular shapes that make the diagrams less comprehensible. In this paper, we address these two issues by developing the theory of piercings, where we define single piercing curves and double piercing curves. We prove that if a diagram can be built inductively by successively adding piercing curves under certain constraints, then it can be drawn with circles, which are more esthetically pleasing than arbitrary polygons. The theory of piercings…

A Decidable Constraint Diagram Reasoning System

Gem Stapleton, John Howse, John Taylor

Software · Journal of Logic and Computation · December 2005 · cited 34× · DOI ↗ · more like this ·

Constraint diagrams are a visual notation designed for use by software engineers to formally specify information systems. In this paper we formalize a fragment of the constraint diagram language. A set of reasoning rules are defined and we prove that this set is both sound and complete. Given constraint diagrams D1 and D2 such that D2 is a semantic consequence of D1, to prove completeness we construct a proof of D2 from D1. A decision procedure can be extracted from this proof construction process and it follows that the system is decidable.

A constraint diagram reasoning system

Gem Stapleton, John Howse, John Taylor

Software · 2003 · cited 25× · OpenAlex ↗ · more like this ·

Abstract — The Unified Modeling Language (UML) is a collection of notations which are mainly diagrammatic. These notations are used by software engineers in the process of object oriented modelling. The only textual notation in the UML is the Object Constraint Language (OCL). The OCL is used to express logical constraints such as system invariants. Constraint diagrams are designed to provide a diagrammatic alternative to the OCL. Since constraint diagrams are visual they complement existing notations in the UML. Spider diagrams form the basis of constraint diagrams and sound and complete reasoning systems have been developed. Spider diagrams allow subset relations between sets and cardinality constraints on sets to be expressed. In addition to this, constraint diagrams allow universal quantification and relational navigation and hence are vastly more expressive. In this paper we present…

Incoporating negation into visual logics: a case study using Euler diagrams

Gem Stapleton, Judith Masthoff

Computer Vision and Pattern Recognition · Distributed Multimedia Systems · 2007 · cited 24× · OpenAlex ↗ · more like this ·

Many diagrammatic logics based on Euler diagrams have been defined with the aim of making precise reasoning easier for people. In such logics it is unusual to find the negation operator (¬) included. This is likely to impact the usability of the logics when users try to make statements that are naturally phrased using the ¬ operator. Furthermore, if one wishes to use semantic tableaux methods for the purposes of establishing entailment then including ¬ is essential. Thus, there are good reasons for extending existing diagrammatic logics to include ¬ explicitly. In this paper, we take Euler diagrams and extend the notation to include the ¬ operator, as well as 'or' and 'and'. Various expressiveness results for the logic are established. We present a sound and complete set of reasoning rules for the logic, drawing parallels with existing completeness proof strategies and highlighting…

SketchSet: Creating Euler diagrams using pen or mouse

Mengdi Wang, Beryl Plimmer, P. Schmieder +3 more

Human-Computer Interaction · Kent Academic Repository (University of Kent) · September 2011 · cited 22× · DOI ↗ · more like this ·

Euler diagrams form the basis of various visual languages but tool support for creating them is generally limited to generic diagram editing software using mouse and keyboard interaction. A more natural and convenient mode of entry is via a sketching interface which facilitates greater cognitive focus on the task of diagram creation. Previous work has developed sketching interfaces for Euler diagrams drawn with ellipses. This paper presents SketchSet, the first sketch tool for Euler diagrams whose curves can be circles, ellipses, or arbitrary shapes. SketchSet allows the creation of formal diagrams via point and click interaction. The user drawn diagram, in sketched or formal format, is automatically converted to a diagram in the other format, thus maintaining both views. We provide a mechanism that allows semantic differences between the sketch and the formal diagram to be rectified…

Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets

Peter Rodgers, Gem Stapleton, Jean Flower +1 more

Computer Vision and Pattern Recognition · IEEE Transactions on Visualization and Computer Graphics · 26 Jul 2013 · cited 20× · DOI ↗ · more like this ·

Area-proportional Euler diagrams representing three sets are commonly used to visualize the results of medical experiments, business data, and information from other applications where statistical results are best shown using interlinking curves. Currently, there is no tool that will reliably visualize exact area-proportional diagrams for up to three sets. Limited success, in terms of diagram accuracy, has been achieved for a small number of cases, such as Venn-2 and Venn-3 where all intersections between the sets must be represented. Euler diagrams do not have to include all intersections and so permit the visualization of cases where some intersections have a zero value. This paper describes a general, implemented, method for visualizing all 40 Euler-3 diagrams in an area-proportional manner. We provide techniques for generating the curves with circles and convex polygons, analyze the…

Does the Orientation of an Euler Diagram Affect User Comprehension

Andrew Blake, Gem Stapleton, Peter Rodgers +2 more

Computer Vision and Pattern Recognition · University of Brighton Repository (University of Brighton) · 19 Dec 2012 · cited 20× · OpenAlex ↗ · more like this ·

Abstract—Euler diagrams, which form the basis of numerous visual languages, can be an effective representation of information when they are both well-matched and well-formed. However, being well-matched and well-formed alone does not imply effectiveness. Other diagrammatical properties need to be considered. Information visualization theorists have known for some time that orientation has the potential to affect our interpretation of diagrams. This paper begins by explaining why well-matched and well-formed drawing principles are insufficient and discusses why we should study the orientation of Euler diagrams. To this end an empirical study is presented, designed to observe the effect of orientation upon the comprehension of Euler diagrams. The paper concludes that the orientation of Euler diagrams does not significantly affect comprehension. I.

Automated Theorem Proving with Spider Diagrams

Jean Flower, Gem Stapleton

Artificial Intelligence · Electronic Notes in Theoretical Computer Science · February 2004 · cited 20× · DOI ↗ · more like this ·

Spider diagrams are a visual notation for expressing logical statements. In this paper we describe a tool that supports reasoning with a sound and complete spider diagram system. The tool allows the construction of diagrams and proofs by users. We present an algorithm which the tool uses to determine whether one diagram semantically entails another. If the premise diagram does semantically entail the conclusion diagram then a proof is presented to the user. Otherwise it gives a counterexample: a model for the premise that is not a model for the conclusion. The proof of completeness given in [Howse, J., G. Stapleton and J. Taylor, Spider diagrams, In preparation, to appear: www.cmis.brighton.ac.uk/research/vmg] can be used to create an alternative proof writing algorithm. The algorithm described here improves upon this by providing counterexamples and significantly shorter proofs.

Embedding Wellformed Euler Diagrams

Peter Rodgers, Leishi Zhang, Gem Stapleton +1 more

Computer Vision and Pattern Recognition · Kent Academic Repository (University of Kent) · July 2008 · cited 18× · DOI ↗ · more like this ·

Euler diagrams are collections of labelled closed curves. They are often used to represent information about the relationship between sets and, as such, they have numerous applications including: visualizing biological data, diagrammatic logics, and visual database querying. Various methods to automatically generate Euler diagrams have been proposed. Typically, the generation process starts with an abstract description of an Euler diagram, which is then converted to a planar dual graph. Finally, the process attempts to embed the Euler diagram from the dual graph. This paper describes a method for embedding wellformed Euler diagrams from dual graphs. There are several mechanisms to generate dual graphs but, prior to the novel work described here, no general method for embedding a wellformed Euler diagram from a dual graph had been demonstrated. The method in this paper achieves an…

How Should We Use Colour in Euler Diagrams?

Andrew Blake, Gem Stapleton, Peter Rodgers +1 more

Computer Vision and Pattern Recognition · Kent Academic Repository (University of Kent) · 5 Aug 2014 · cited 16× · DOI ↗ · more like this ·

This paper addresses the problem of how best to use colour in Euler diagrams. The choice of using coloured curves, rather than black curves, possibly with coloured fill is often made in tools that automatically draw Euler diagrams for information visualization as well as when they are drawn manually. We address the problem by empirically evaluating various different colour treatments: coloured or black curves combined with either no fill or coloured fill. By collecting performance data, we conclude that Euler diagrams with coloured curves and no fill significantly outperform all other colour treatments. Most automated layout algorithms adopt colour fill and are, thus, reducing the effectiveness of the Euler diagrams produced. As Euler diagrams can be used in a multitude of areas, ranging from crime control to social network analysis, our results stand to increase the ability of users to…

Properties of euler diagrams and graphs in combination

Mithileysh Sathiyanarayanan, Gem Stapleton, Jim Burton +1 more

Computer Vision and Pattern Recognition · July 2014 · cited 15× · DOI ↗ · more like this ·

Euler diagrams and graphs are used as visualisations individually in a large variety of application areas such as network analysis, medicine and engineering. Existing methods which combine both Euler diagrams and graphs such as Bubble Sets and Euler View provide somewhat limited results with suboptimal layout. In particular, they do not produce diagrams that are known to be most effective for performing user-driven tasks. That said, our knowledge is rather limited about what constitutes an effective layout for Euler diagrams and graphs in combination. Our ultimate aim is to automatically visualise large networks in an effective manner. To produce effective layouts, we need to identify properties that may correlate with effective layouts of Euler diagrams combined with graphs. Such properties are considered in this paper. In future, empirical studies will be conducted to inform and…

Deriving sound inference rules for concept diagrams

Peter Chapman, Gem Stapleton, John Howse +1 more

Artificial Intelligence · University of Brighton Repository (University of Brighton) · September 2011 · cited 15× · DOI ↗ · more like this ·

The process of designing and modelling an ontology can be difficult, especially if the user finds the syntax to be relatively inaccessible. Providing users with graphical syntax with which they can model and visualise their ontology has the potential to be helpful. Previously, we informally introduced concept diagrams for ontology visualisation and modelling. We present a case study comprising: (a) a set of axioms for an ontology, and (b) a set of theorems that follow from the axioms, together with their proofs. The proofs have been constructed so that they are, in our opinion, of an intuitive style. From these proofs, we derive a set of sound inference rules that can be used to formally reason about ontologies following the same intuitive style. This approach to designing inference rules differs from previous efforts where the primary focus has been on obtaining a set of sound and…

Formal issues in languages based on closed curves

Andrew Fish, Gem Stapleton

Computer Vision and Pattern Recognition · University of Brighton Repository (University of Brighton) · August 2006 · cited 14× · OpenAlex ↗ · more like this ·

Three important questions arise when using visual languages: for any given piece of information can we draw a diagram representing that information, can we reliably interpret the diagrams and can we reason diagrammatically about that information? The desirable answer to all three questions is yes, but these desires are often conflicting; for example, well-formedness conditions can be enforced to assist diagram interpretation but this can result in drawability problems. In this paper, we focus on visual languages based on closed curves, which are used in numerous computing applications. Many such languages effectively use spatial properties such as containment and disjointness. We consider the consequences of enforcing various well-formedness conditions, such as simplicity and connectedness of minimal regions, in relation to the above questions. We suggest refinements of the conditions…

A task-based evaluation of combined set and network visualization

Peter Rodgers, Gem Stapleton, Bilal Alsallakh +3 more

Computer Vision and Pattern Recognition · Information Sciences · 3 Jun 2016 · cited 13× · DOI ↗ · more like this ·

This paper addresses the problem of how best to visualize network data grouped into overlapping sets. We address it by evaluating various existing techniques alongside a new technique. Such data arise in many areas, including social network analysis, gene expression data, and crime analysis. We begin by investigating the strengths and weakness of four existing techniques, namely Bubble Sets, EulerView, KelpFusion, and LineSets, using principles from psychology and known layout guides. Using insights gained, we propose a new technique, SetNet, that may overcome limitations of earlier methods. We conducted a comparative crowdsourced user study to evaluate all five techniques based on tasks that require information from both the network and the sets. We established that EulerView and SetNet, both of which draw the sets first, yield significantly faster user responses than Bubble Sets…

Visualizing OWL 2 using diagrams

Gem Stapleton, Michael Compton, John Howse

Artificial Intelligence · University of Brighton Repository (University of Brighton) · October 2017 · cited 12× · DOI ↗ · more like this ·

Diagrams can be an effective means of communicating complex ideas and can aid ontology engineering. Indeed, domain experts often do not have the expertise required to understand or create the complex logical statements of an ontology in description logic (DL). This paper presents a visualisation method, concept diagrams, geared toward expressing assertions and class expression axioms alongside providing support for literals, datatypes and data properties. Property diagrams are introduced, targeted at object property and data property expression axioms. We demonstrate that concept diagrams and property diagrams provide a large coverage of OWL 2 axioms and are, thus, closely aligned in expressive power.

An empirical evaluation of argumentation in explaining inconsistency tolerant query answering

Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton +1 more

Artificial Intelligence · University of Brighton Repository (University of Brighton) · July 2017 · cited 11× · OpenAlex ↗ · more like this ·

In this paper we answer empirically the following research question:"Are dialectical explanation methods more effective than one-shot explanation methods for Intersection of Closed Repairs inconsistency tolerant semantics inexistential rules knowledge bases?" We ran two experiments with 84 and respectively 38 participants and showed that under certain conditions dialectica approaches are significantly more effective than one-shot explanations.

Generating Euler Diagrams from Existing Layouts

Gem Stapleton, John Howse, Peter Rodgers +1 more

Computer Vision and Pattern Recognition · University of Brighton Repository (University of Brighton) · 12 Mar 2024 · cited 10× · DOI ↗ · more like this ·

Euler diagrams have a wide variety of uses, from information visualization to logical reasoning. In the case of software engineering, they form the basis of a number of notations, such as state charts and constraint diagrams. In all of their application areas, the ability to automatically layout Euler diagrams brings considerable benefits. There have been several recent contributions towards the automatic generation and layout of Euler diagrams, all of which start from an abstract description of the diagram and produce a collection of closed curves embedded in the plane. In this paper, we are concerned with producing layouts by modifying existing ones. This type of layout approach is particularly useful in domains where we require an updated, or modified, diagram such as in a logical reasoning context. We provide two methods to add a curve to an Euler diagram in order to create a new…

Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations

Eisa Alharbi, John Howse, Gem Stapleton +2 more

Artificial Intelligence · University of Brighton Repository (University of Brighton) · October 2017 · cited 10× · DOI ↗ · more like this ·

Our aim is to provide empirical evidence that diagrammatic logics are more effective than symbolic and textual logics in allowing people to better understand information. Ontologies provide an important focus for such an empirical study: people need to understand the axioms of which ontologies comprise. A between-groups study compared six frequently-used axiom types using the (textual) Manchester OWL Syntax (MOS), (symbolic) description logic (DL) and concept diagrams. Concept diagrams yielded significantly better task performance than DL for all six, and MOS for four, axiom types. MOS outperformed concept diagrams for just one axiom type and DL for only three axiom types. Thus diagrams could ensure ontologies are developed more robustly.