If you made any changes in Pure these will be visible here soon.

Research Output 2002 2019

2019

Exploring and Conceptualising Attestation

Oliver, I., Howse, J., Stapleton, G., Shams, Z. & Jamnik, M., 21 Feb 2019, (Accepted/In press) 24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Modeling
Computer systems
Information systems
Communication
Engineers

The efficacy of Euler diagrams and linear diagrams for visualizing set cardinality using proportions and numbers

Stapleton, G., Chapman, P., Rodgers, P., Touloumis, A., Blake, A. & Delaney, A., 28 Mar 2019, In : PLoS ONE. 14, 3, e0211234.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
2018

Accessible Reasoning with Diagrams: from Cognition to Automation

Shams, Z., Sato, Y., Jamnik, M. & Stapleton, G., 17 May 2018, 10th International Conference on the Theory and Application of Diagrams. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Edinburgh, Vol. 10871. p. 247-263 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Data handling
Ontology
Automation
Experiments

Deductive reasoning about expressive statements using external graphical representations

Sato, Y., Stapleton, G., Jamnik, M. & Shams, Z., 25 Jul 2018, (Accepted/In press) Proceedings of the 40th Annual Conference of the Cognitive Science Society. Austin, TX, p. 0-0 1 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Ontology
Topology
Experiments

Euler Diagrams Through the Looking Glass: From Extent to Intent

Stapleton, G., Moktefi, A., Howse, J. & Burton, J., 17 May 2018, 10th International Conference on the Theory and Application of Diagrams. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Edinburgh, Vol. 10871. p. 365-381 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
semantics

Generating Effective Euler Diagrams

Baimagambetov, A., Howse, J., Stapleton, G. & Delaney, A., 17 May 2018, 10th International Conference on the Theory and Application of Diagrams. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Edinburgh, Vol. 10871. p. 39-54 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Crime
Bioinformatics
Education

Human inference beyond syllogisms: an approach using external graphical representations

Sato, Y., Stapleton, G., Jamnik, M. & Shams, Z., 3 Aug 2018, In : Cognitive Processing. 20, 1, p. 103–115

Research output: Contribution to journalArticleResearchpeer-review

Ontology
Experiments

iCon: A Diagrammatic Theorem Prover for Ontologies

Shams, Z., Jamnik, M., Stapleton, G. & Sato, Y., 11 Jul 2018, (Accepted/In press) 16th International Conference on Principles of Knowledge Representation and Reasoning. California, 5 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Ontology
Visual languages
Specifications

Picturing Problems: Solving Logic Puzzles Diagrammatically

Howse, J., Stapleton, G., Burton, J. & Blake, A., 18 Jun 2018, International Workshop on Set Visualization and Reasoning. Sato, Y. & Shams, Z. (eds.). Edinburgh, Vol. 2116. p. 12-27 (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File

Reasoning with Diagrams: Observation, Inference and Overspecificity

Stapleton, G., 1 Jan 2018, p. 0-0. 1 p.

Research output: Contribution to conferenceOtherResearch

Open Access
File
Inference
Diagrams
Import
Leonhard Euler
Translating

Spider Diagrams with Absence: Inference Rules for Clutter Reduction

Stapleton, G., Choudhury, L. & Chakraborty, M., 17 Sep 2018, (Accepted/In press) In : Journal of Visual Languages and Sentient Systems.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Acoustic waves

The Observational Advantages of Euler Diagrams with Existential Import

Stapleton, G., Shimojima, A. & Jamnik, M., 17 May 2018, 10th International Conference on the Theory and Application of Diagrams. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Edinburgh, Vol. 10871. p. 313-329 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Set theory

Visualizing ALC Using Concept Diagrams

Stapleton, G., Delaney, A., Compton, M. & Chapman, P., 21 Mar 2018, Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. Croitoru, M., Marquis, P., Marquis, P. & Stapleton, G. (eds.). 1 ed. p. 99-117 18 p. (Lecture Notes in Computer Science ; vol. 10775).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Ontology
2017

2016 IEEE Symposium on Visual Languages and Human-Centric Computing

Blackwell, A. (ed.), Plimmer, B. (ed.) & Stapleton, G. (ed.), 1 Jan 2017, 1 p.

Research output: Book/ReportBook - editedResearch

Open Access
File
Visual languages

An empirical evaluation of argumentation in explaining inconsistency tolerant query answering

Hecham, A., Arioua, A., Stapleton, G. & Croitoru, M., 1 Jul 2017, 30th International Workshop on Description Logics. France, p. 0-0 1 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Repair
Semantics
Experiments

Evaluating the Effects of Size in LineSets

Tranquille, D., Stapleton, G., Burton, J. & Rodgers, P., 1 Jan 2017, The 10th International Symposium on Visual Information Communication and Interaction. Bangkok, p. 0-0 1 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Drawing (graphics)
Visualization

How Network-based and Set-based Visualizations Aid Consistency Checking in Ontologies

Sato, Y., Stapleton, G., Jamnik, M., Shams, Z. & Blake, A., 1 Jan 2017, The 10th International Symposium on Visual Information Communication and Interaction. New York, NY, p. 0-0 1 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

ontology
visualization
cognition

Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison

Stapleton, G., Blake, A., Burton, J. & Touloumis, A., 20 Feb 2017, In : Studia Logica. 105, 4, p. 787-815 29 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Cognition
Research

Reasoning with Concept Diagrams about Antipatterns

Shams, Z., Jamnik, M., Stapleton, G. & Sato, Y., 9 May 2017, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (short papers). Botswana, p. 0-0 1 p. (EPiC Series in Computing).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File

Reasoning with Concept Diagrams about Antipatterns in Ontologies

Shams, Z., Jamnik, M., Stapleton, G. & Sato, Y., 28 Jun 2017, 10th Conference on Intelligent Computer Mathematics. Edinburgh, p. 0-0 1 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Ontology
Positive ions
Acoustic waves

The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments

Alharbi, E., Howse, J., Stapleton, G., Hamie, A. & Touloumis, A., 4 Oct 2017, ISWC2017 The 16th International Semantic Web Conference. Vienna, p. 20-36 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Ontology

Visualizing OWL 2 Using Diagrams

Stapleton, G., Compton, M. & Howse, J., 13 Nov 2017, IEEE Symposium on Visual Languages and Human-Centric Computing 2017. USA, p. 0-0 1 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Ontology
Visualization

Visual Logics Help People: An Evaluation of Diagrammatic, Textual and Symbolic Notations

Alharbi, E., Howse, J., Stapleton, G., Hamie, A. & Touloumis, A., 17 Dec 2017, IEEE Symposium on Visual Languages and Human-Centric Computing 2017. USA, p. 0-0 1 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Ontology

What Makes an Effective Representation of Information: A Formal Account of Observational Advantages

Stapleton, G., Jamnik, M. & Shimojima, A., 7 Apr 2017, In : Journal of Logic, Language and Information. 26, 2, p. 143-177 35 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
2016

A Task-Based Evaluation of Combined Set and Network Visualization

Rodgers, P., Stapleton, G., Alsallakh, B., Michallef, L., Baker, R. & Thompson, S., 2 Jun 2016, In : Information Sciences. 367-8, p. 58-79 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Crime
Electric network analysis
Gene expression
Visualization

Diagrammatic Ontology Engineering

Stapleton, G., 1 Jan 2016, p. 0-0. 1 p.

Research output: Contribution to conferenceOtherResearch

Open Access
File
Ontology

Effective Representation of Information: Generalizing Free Rides

Stapleton, G., Jamnik, M. & Shimojima, A., 1 Jan 2016, p. 296-299. 4 p.

Research output: Contribution to conferenceAbstractResearch

Open Access
File
set theory
poster

Evaluating Diagrammatic Patterns for Ontology Engineering

Alharbi, E., Howse, J., Stapleton, G. & Hamie, A., 1 Jan 2016, Proceedings of the International Conference on the Theory and Application of Diagrams. Germany, p. 51-66 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Ontology
Semantics

Evaluating the Effects of Colour in LineSets

Tranquille, D., Stapleton, G., Burton, J. & Rodgers, P., 1 Jan 2016, p. 283-285. 3 p.

Research output: Contribution to conferenceAbstractResearch

Open Access
File

Evaluating the Impact of Clutter in Linear Diagrams

Alqadah, M., Stapleton, G., Howse, J. & Chapman, P., 6 Aug 2016, International Workshop on Set Visualization and Reasoning 2016. Philadelphia, p. 4-18 15 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Visualization

Minimizing Clutter Using Absence in Venn-i e

Burton, J., Chakraborty, M., Choudhury, L. & Stapleton, G., 26 Jul 2016, International Conference on the Theory and Application of Diagrams. Germany, Vol. 9781. p. 107-122 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Semantics
Acoustic waves

Observing the Truth: Diagrams, Sets and Free Rides

Stapleton, G., 1 Jan 2016, p. 59-61. 3 p.

Research output: Contribution to conferenceOtherResearch

Open Access
File
diagram

Proceedings of the 22nd International Conference on Conceptual Structures

Haermale, O. (ed.), Stapleton, G. (ed.) & Faron Zucker, C. (ed.), 1 Jan 2016, Annecy, France

Research output: Other contributionResearch

Open Access
File

The Perception of Clutter in Linear Diagrams

Alqadah, M., Stapleton, G., Chapman, P. & Howse, J., 26 Jul 2016, Proceedings of the International Conference on the Theory and Application of Diagrams. Germany, p. 250-257 8 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
2015

Combining sketching and traditional diagram editing tools

Stapleton, G., Plimmer, B., Delaney, A. & Rodgers, P., 1 Mar 2015, In : ACM Transactions on Intelligent Systems and Technology. 6, 1

Research output: Contribution to journalArticleResearchpeer-review

Visualization
Syntactics

Graph Structures for Knowledge Representation and Reasoning

Croitoru, M. (ed.), Marquis, P. (ed.), Rudolph, S. (ed.) & Stapleton, G. (ed.), 1 Jan 2015, 1 p.

Research output: Book/ReportBook - editedResearch

Knowledge representation

Journal of Logic, Language and Information, Special Issue on Euler and Venn Diagrams

Burton, J. (ed.) & Stapleton, G. (ed.), 1 Jan 2015, Hingham, MA, USA

Research output: Other contributionResearch

Open Access
File
language

Speedith: A reasoner for spider diagrams

Urbas, M., Jamnik, M. & Stapleton, G., 1 Dec 2015, In : Journal of Logic, Language and Information. 24, 4, p. 487-540 54 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Acoustic waves

The impact of topological and graphical choices on the perception of Euler diagrams

Blake, A., Stapleton, G., Rodgers, P. & Howse, J., 15 May 2015, In : Information Sciences. 330, p. 455-482 28 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
diagram
network analysis
social network
crime

Visualizing Sets with Linear Diagrams

Rodgers, P., Stapleton, G. & Chapman, P., 1 Sep 2015, In : ACM Transactions on Computer-Human Interaction. 22, 6

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Visualization
Human computer interaction
Color
2014

A normal form for spider diagrams of order

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Dec 2014, In : Journal of Visual Languages and Computing. 25, 6, p. 935-944 10 p.

Research output: Contribution to journalArticleResearchpeer-review

Spiders
Normal Form
Diagram
Reasoning
Logic

A vision for diagrammatic ontology engineering

Stapleton, G., Howse, J., Bonnington, A. & Burton, J., 1 Jan 2014, Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics (VISUAL 2014). Sweden, Vol. 1299. p. 1-13 13 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Ontology
Engineers

Drawing area-proportional Euler diagrams representing up to three sets

Rodgers, P., Stapleton, G., Flower, J. & Howse, J., 1 Jan 2014, In : IEEE Transactions on Visualization and Computer Graphics. 20, 1, p. 56-69 14 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Drawing (graphics)
Visualization
Industry
Experiments

Evaluating the impact of clutter in Euler diagrams

Alqadah, M., Stapleton, G., Howse, J. & Chapman, P., 1 Jan 2014, Proceedings of the 8th International Conference, Diagrams 2014. Germany, Vol. 8578. p. 108-122 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Visual languages

How Should We Use Colour in Euler Diagrams?

Blake, A., Stapleton, G., Rodgers, P. & Howse, J., 5 Aug 2014, VINCI 2014 Proceedings of the 7th International Symposium on Visual Information Communication and Interaction. Sydney, Australia, p. 1-10 10 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Color
Visualization
Crime
Electric network analysis
Open Access
File
Visualization

Journal of Visual Languages and Computing: Special Issue on Diagram Aesthetics and Layout

Plimmer, B. (ed.), Rodgers, P. (ed.) & Stapleton, G. (ed.), 1 Jan 2014, In : Journal of Visual Languages and Computing. 25, 2, p. 55-56 2 p.

Research output: Contribution to journalEditorialResearch

Open Access
File
Esthetics
Language

On the drawability of 3D venn and euler diagrams

Flower, J., Stapleton, G. & Rodgers, P., 1 Jan 2014, In : Journal of Visual Languages and Computing. 25, 3, p. 186-209 24 p.

Research output: Contribution to journalArticleResearchpeer-review

File
Labels

PaL Diagrams: a linear diagram-based visual language

Chapman, P., Stapleton, G. & Rodgers, P., 1 Jan 2014, In : Journal of Visual Languages and Computing. 25, 6, p. 945-954 10 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Visual languages

The Impact of Shape on the Perception of Euler Diagrams

Blake, A., Stapleton, G., Rodgers, P., Cheek, L. & Howse, J., 1 Jan 2014, Diagrams 2014. Australia, Vol. 8578. p. 123-137 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File