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

Research Output 2002 2019

Filter
Conference contribution with ISSN or ISBN
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
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

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

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

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

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
2016

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 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

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
2014

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

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

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

Visualizing concepts with euler diagrams

Burton, J., Stapleton, G., Howse, J. & Chapman, P., 1 Jan 2014, Diagrams 2014. Australia, Vol. 8578. p. 54-56 3 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
Visualization
Ontology

Visualizing Sets: An Empirical Comparison of Diagram Types

Chapman, P., Stapleton, G., Rodgers, P., Micallef, L. & Blake, A., 1 Jan 2014, Diagrams 2014. Australia, Vol. 8578. p. 146-160 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
Visualization
2013

Delivering the potential of diagrammatic logics

Stapleton, G., 1 Jan 2013, Proceedings of the First International Workshop on Diagrams, Logic and Cognition (DLAC 2013). Kolkata, Vol. 1132. p. 1-8 8 p. (CEUR Workshop Proceedings).

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

Open Access
File
2012

Completeness proof strategies for Euler diagram logics

Burton, J., Stapleton, G. & Howse, J., 2 Jul 2012, Euler Diagrams 2012: Proceedings of the 3rd International Workshop on Euler Diagrams. Tilburg University, The Netherlands, Vol. 854. p. 2-16 15 p.

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

Open Access
File

Does the Orientation of an Euler Diagram Affect User Comprehension?

Blake, A., Stapleton, G., Rodgers, P., Cheek, L. & Howse, J., 19 Dec 2012, Proceedings of the 18th international conference on distributed multimedia systems, international workshop on visual languages and computing. Miami, p. 185-190 6 p.

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

comprehension
visualization
interpretation
language

Formalizing the syntax of Codecharts

Nicholson, J., Delaney, A. & Stapleton, G., 10 Aug 2012, Proceedings of the 18th International Conference on Distributed Multimedia Systems. Skokie, IL, USA, p. 181-184 4 p. (Proceedings of the International Conference on Distributed Multimedia Systems).

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

2011

Deriving sound inference rules for concept diagrams

Chapman, P., Stapleton, G., Howse, J. & Oliver, I., 1 Jan 2011, Proceedings of the IEEE symposium on visual languages and human-centric computing 2011. Washington DC, USA, p. 87-94 8 p.

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

Ontology
Acoustic waves
Visualization

Drawing Euler diagrams with circles and ellipses

Stapleton, G. & Rodgers, P., 1 Jan 2011, IEEE Symposium on Visual Languages and Human-Centric Computing 2011. New York, USA, p. 209-212 4 p.

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

Visual languages

Recognising sketches of Euler diagrams augmented with graphs

Stapleton, G., Delaney, A., Rodgers, P. & Plimmer, B., 2011, Visual Languages and Computing. p. 279-284 6 p.

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

Visual languages
Engines

SketchSet: creating Euler diagrams using pen or mouse

Wang, M., Plimmer, B., Schmeider, P., Stapleton, G., Rodgers, P. & Delaney, A., 18 Sep 2011, IEEE Symposium on Visual Languages and Human-Centric Computing 2011. Washington DC, USA, p. 75-82 8 p.

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

Visual languages
Semantics

Visualizing ontologies: a case study

Howse, J., Stapleton, G., Taylor, K. & Chapman, P., 1 Jan 2011, Proceedings of the 10th International Semantic Web Conference, Part I. Berlin Heidelberg, Vol. 7031. p. 257-272 16 p. (Lecture Notes in Computer Science).

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

Ontology
Sensor networks
Semantics
Sensors
2010

Drawing area-proportional Venn-3 diagrams with convex polygons

Rodgers, P., Flower, J., Stapleton, G. & Howse, J., 9 Aug 2010, 6th International Conference on the Theory and Application of Diagrams. Berlin, Germany, p. 54-68 15 p. (Lecture Notes in Computer Science).

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

File
polygon
diagram
medicine
marketing
ecology

Drawing Euler diagrams for information visualization

Howse, J., Rodgers, P. & Stapleton, G., 1 Jan 2010, Proceedings of the 6th International Conference on the Theory and Application of Diagrams. Berlin Heidelberg, Vol. 6170. p. 4-4 1 p. (Lecture Notes in Computer Science).

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

Drawing (graphics)
Visualization
Experiments

Drawing Euler diagrams with circles

Stapleton, G., Zhang, L., Howse, J. & Rodgers, P., 23 Sep 2010, Proceedings of the 6th International Conference, Diagrams 2010. Berlin Heidelberg, Vol. 6170. p. 23-38 16 p. (Lecture Notes in Computer Science).

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

File
Drawing (graphics)
Data visualization
Visualization

Euler graph transformations for Euler diagram layout

Rodgers, P., Stapleton, G., Howse, J. & Zhang, L., 11 Nov 2010, Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing. New York, USA, p. 111-118 8 p.

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

Visual languages
Visualization

Fragments of spider diagrams of order and their relative expressiveness

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Jan 2010, Proceedings of the 6th international conference on diagrammatic representation and inference. Berlin Heidelberg, Vol. 6170. p. 69-83 15 p. (Lecture Notes in Computer Science).

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

Syntactics
Sugars
Redundancy
Semantics

Introducing second order spider diagrams for defining regular languages

Chapman, P. & Stapleton, G., 1 Jan 2010, 2010 IEEE Symposium on Visual Languages and Human-Centric Computing. Washington DC, USA, p. 159-167 9 p.

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

Formal languages
Algebra

Levels of syntax for Euler diagram logics

Howse, J., Rodgers, P. & Stapleton, G., 1 Jan 2010, Handbook of the World Congress and Summer School on Universal Logic. Basel, p. 0-0 1 p.

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

syntax
semantics
present

On the relative expressiveness of second-order spider diagrams and regular expressions

Stapleton, G. & Chapman, P., 2010, 16th International Conference on Distributed Multimedia Systems, Visual Languages and Computing. p. 283-288 6 p.

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

Recognizing sketches of Euler diagrams drawn with ellipses

Delaney, A., Plimmer, B., Stapleton, G. & Rodgers, P., 1 Oct 2010, Proceedings of the 16th international conference on distributed multimedia systems. Skokie, IL, USA, p. 305-310 6 p.

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

Open Access
File
Visual languages
Semantics

Visual reasoning about ontologies

Howse, J., Stapleton, G. & Oliver, I., 1 Nov 2010, Proceedings of the 9th International Semantic Web Conference (ISWC2010). Berlin, Germany, Vol. 6496. 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
2009

A proposed diagrammatic logic for ontology specification and visualization

Oliver, I., Howse, J., Stapleton, G., Nuutlia, E. & Torma, S., 2009, 8th International Semantic Web Conference ISWC 2009 (Posters and Demos).

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

Ontology
Visualization
Specifications

Changing Euler diagram properties by edge transformation of Euler dual graphs

Howse, J., Rodgers, P. & Stapleton, G., 1 Sep 2009, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009). New York, USA, p. 177-184 8 p. (IEEE Symposium on Visual Languages and Human-Centric Computing).

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

Diagrammatic formal specification of a configuration control platform

Howse, J., Schuman, S., Stapleton, G. & Oliver, I., 1 Jan 2009, Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Amsterdam, The Netherlands, Vol. 259. p. 87-104 18 p. (Electronic Notes in Theoretical Computer Science (ENTCS)).

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

Refining
Formal specification

Some results for drawing area-proportional Venn3 with convex curves

Rodgers, P., Flower, J., Stapleton, G. & Howse, J., 4 Aug 2009, Proceedings of the 13th International Conference on Information Visualisation, IV 2009. New York, NY, USA, p. 667-672 6 p. (International Conference Information Visualization).

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

Convex Curve
Directly proportional
Specification
Diagram
Intersection