Contact me

Professor John Howse

Computing, Engineering and Mathematics

University of Brighton

Lewes Road

Brighton

BN2 4GJ

Telephone: +44 (0) 1273 642523

Email: John.Howse@ brighton.ac.uk

Biography

I graduated from the University of Leicester with BSc Honours in Mathematics in 1978. I moved to Nottingham University and graduated with an MSc in Mathematics in 1980 and stayed on to undertake a PhD in Group Theory, supervised by Dr Dave Johnson, which was awarded in 1984. I became a Lecturer in Mathematics at Mid-Kent College and, part-time, at the University of Kent.

In 1988, I joined Brighton Polytechnic (as it then was) as a Senior Lecturer in Mathematics. During this period, I became interested in the application of discrete mathematics in computing, in particular, the use of formal methods. This involves the mathematical modelling of software systems. It became clear that communicating these models to domain experts and other stakeholders was difficult due to the use of symbolic mathematics. To overcome this problem, we developed intuitive diagrammatic notations that were formal mathematical languages but were more effective in communicating the models. These languages included constraint diagrams and spider diagrams. In 1999, I founded the Visual Modelling Research Group to investigate the properties of these languages and to develop visual (diagrammatic) models of software systems.

In 2001, I was appointed Reader and, in 2004, Professor of Mathematics and Computation. More recently, I’ve become interested in ontology engineering, developing notations, including concept diagrams, to model and reason about ontologies.Research output

**78**.

Stapleton, Gem, Moktefi, Amirouche, Howse, John and Burton, James
(2018)
*Euler Diagrams Through the Looking Glass: From Extent to Intent*
In: 10th International Conference on the Theory and Application of Diagrams, Edinburgh, 18-22 June, 2018.

Baimagambetov, Almas, Howse, John, Stapleton, Gem and Delaney, Aidan
(2018)
*Generating Effective Euler Diagrams*
In: 10th International Conference on the Theory and Application of Diagrams, Edinburgh, 18-22 June 2018.

Howse, John, Stapleton, Gem, Burton, James and Blake, Andrew
(2018)
*Picturing Problems: Solving Logic Puzzles Diagrammatically*
In: International Workshop on Set Visualization and Reasoning, Edinburgh, UK, 18 June 2018.

Alharbi, Eisa, Howse, John, Stapleton, Gem, Hamie, Ali and Touloumis, Anestis
(2017)
*Visual Logics Help People: An Evaluation of Diagrammatic, Textual and Symbolic Notations*
In: IEEE Symposium on Visual Languages and Human-Centric Computing 2017, Raleigh, North Carolina, USA, 11-14 Oct 2017.

Stapleton, Gem, Compton, Michael and Howse, John
(2017)
*Visualizing OWL 2 Using Diagrams*
In: IEEE Symposium on Visual Languages and Human-Centric Computing 2017, Raleigh, North Carolina, USA, 11-14 October 2017.

Alharbi, Eisa, Howse, John, Stapleton, Gem, Hamie, Ali and Touloumis, Anestis
(2017)
*The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments*
In: ISWC2017 The 16th International Semantic Web Conference, Vienna, Austria, 21-25 October 2017.

Burton, James and Howse, John
(2017)
*The Semiotics of Spider Diagrams*
Logica Universalis, 11 (2).
pp. 177-204.
ISSN 1661-8297

Alqadah, Mohanad, Stapleton, Gem, Howse, John and Chapman, Peter
(2016)
*Evaluating the Impact of Clutter in Linear Diagrams*
In: International Workshop on Set Visualization and Reasoning 2016, Philadelphia, 7 August, 2016.

Alqadah, Mohanad, Stapleton, Gem, Chapman, Peter and Howse, John
(2016)
*The Perception of Clutter in Linear Diagrams*
In: Proceedings of the International Conference on the Theory and Application of Diagrams, Philadelphia, USA, 7-10 August, 2016.

Alharbi, Eisa, Howse, John, Stapleton, Gem and Hamie, Ali
(2016)
*Evaluating Diagrammatic Patterns for Ontology Engineering*
In: Proceedings of the International Conference on the Theory and Application of Diagrams, Philadelphia, USA, 7-10 August, 2016.

Blake, Andrew, Stapleton, Gem, Rodgers, Peter and Howse, John
(2015)
*The impact of topological and graphical choices on the perception of Euler diagrams*
Information Sciences, 330.
pp. 455-482.
ISSN 0020-0255

Blake, Andrew, Stapleton, Gem, Rodgers, Peter and Howse, John
(2014)
*How Should We Use Colour in Euler Diagrams?*
In: VINCI 2014 Proceedings of the 7th International Symposium on Visual Information Communication and Interaction, Sydney, Australia, 5-8 August, 2014.

Rodgers, Peter, Stapleton, Gem, Flower, Jean and Howse, John
(2014)
*Drawing area-proportional Euler diagrams representing up to three sets*
IEEE Transactions on Visualization and Computer Graphics, 20 (1).
pp. 56-69.
ISSN 1077-2626

Rodgers, Peter, Stapleton, Gem, Flower, Jean and Howse, John
(2014)
*Drawing area-proportional euler diagrams representing up to three sets*
IEEE Transactions on Visualization and Computer Graphics, 20 (1).
pp. 56-69.
ISSN 1077-2626

Alqadah, Mohanad, Stapleton, Gem, Howse, John and Chapman, Peter
(2014)
*Evaluating the impact of clutter in Euler diagrams*
In: Proceedings of the 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia 28 July – 1 August, 2014.

Blake, Andrew, Stapleton, Gem, Rodgers, Peter, Cheek, Liz and Howse, John
(2014)
*The Impact of Shape on the Perception of Euler Diagrams*
In: Diagrams 2014, Melbourne, Australia, 28 July - 1 August 2014.

Burton, James, Stapleton, Gem, Howse, John and Chapman, Peter
(2014)
*Visualizing concepts with euler diagrams*
In: Diagrams 2014, Melbourne, Australia, 28 July - 1 August, 2014.

Stapleton, Gem, Howse, John, Bonnington, Adrienne and Burton, James
(2014)
*A vision for diagrammatic ontology engineering*
In: Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics (VISUAL 2014), Linkoping, Sweden, 24 November, 2014.

Burton, James, Stapleton, Gem and Howse, John
(2013)
*Generalized constraint diagrams and the classical decision problem*
Journal of Logic and Computation, 23 (1).
pp. 199-262.
ISSN 0955-792X

Blake, Andrew, Stapleton, Gem, Rodgers, Peter, Cheek, Liz and Howse, John
(2012)
*Does the Orientation of an Euler Diagram Affect User Comprehension?*
In: Proceedings of the 18th international conference on distributed multimedia systems, international workshop on visual languages and computing, Miami, 2012.

Burton, James, Stapleton, Gem and Howse, John
(2012)
*Completeness proof strategies for Euler diagram logics*
In: Euler Diagrams 2012: Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, 2 July, 2012.

Stapleton, Gem, Flower, Jean, Rodgers, Peter and Howse, John
(2012)
*Automatically drawing Euler diagrams with circles*
Journal of Visual Languages and Computing, 23 (3).
pp. 163-193.
ISSN 1045-926X

Stapleton, Gem, Rodgers, Peter and Howse, John
(2011)
*A general method for drawing area-proportional Euler diagrams*
Journal of Visual Languages and Computing, 22 (6).
pp. 426-442.
ISSN 1045-926X

Stapleton, Gem, Zhang, Leishi, Howse, John and Rodgers, Peter
(2011)
*Drawing Euler diagrams with circles: the theory of piercings*
IEEE Transactions on Visualization and Computer Graphics, 17 (7).
pp. 1020-1032.
ISSN 1077-2626

Cox, Philip, Fish, Andrew and Howse, John
(2011)
*Special Issue on Visual Languages and Logic: guest editors' introduction*
Journal of Visual Languages and Computing, 22 (1).
pp. 1-2.
ISSN 1045-926X

Chapman, Peter, Stapleton, Gem, Howse, John and Oliver, Ian
(2011)
*Deriving sound inference rules for concept diagrams*
In: Proceedings of the IEEE symposium on visual languages and human-centric computing 2011, 18-22 September 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

Clark, R., Fish, Andrew, Garrett, Christopher and Howse, John
(2011)
*Developing a rigorous bottom-up modular static failure modelling methdology*
In: Proceedings of the 6th international conference on system safety, 2011, Birmingham, UK, 20-22 September, 2011.

Stapleton, Gem, Rodgers, Peter, Howse, John and Zhang, Leishi
(2011)
*Inductively generating Euler diagrams*
IEEE Transactions on Visualization and Computer Graphics, 17 (1).
pp. 88-100.
ISSN 1077-2626

Howse, John, Stapleton, Gem, Taylor, Kerry and Chapman, Peter
(2011)
*Visualizing ontologies: a case study*
In: Proceedings of the 10th International Semantic Web Conference, Part I, Bonn, Germany, October 23-27, 2011.

Rodgers, Peter, Stapleton, Gem, Howse, John and Zhang, Leishi
(2010)
*Euler graph transformations for Euler diagram layout*
In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, Leganes, Madrid, Spain, 21-25 September, 2010.

Howse, John, Stapleton, Gem and Oliver, Ian
(2010)
*Visual reasoning about ontologies*
In: Proceedings of the 9th International Semantic Web Conference (ISWC2010), 7-11 November 2010, Shanghai, China, 7-11 November, 2010.

Stapleton, Gem, Zhang, Leishi, Howse, John and Rodgers, Peter
(2010)
*Drawing Euler diagrams with circles*
In: Proceedings of the 6th International Conference, Diagrams 2010, Portland, Oregon, USA, 9-11 August, 2010.

Rodgers, Peter, Flower, Jean, Stapleton, Gem and Howse, John
(2010)
*Drawing area-proportional Venn-3 diagrams with convex polygons*
In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, Oregon, USA, 9-11 August, 2010.

Howse, John, Rodgers, Peter and Stapleton, Gem
(2010)
*Drawing Euler diagrams for information visualization*
In: Proceedings of the 6th International Conference on the Theory and Application of Diagrams, Portland, OR, USA, 9-11 August, 2010.

Howse, John, Rodgers, Peter and Stapleton, Gem
(2010)
*Levels of syntax for Euler diagram logics*
In: Handbook of the World Congress and Summer School on Universal Logic, Monte Estoril, Lisbon, Portugal, 18-25 April, 2010.

Hamie, Ali, Howse, John and Fish, Andrew
(2010)
*Visual specification patterns*
In: Proceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010), 21 September 2010, Madrid, Spain, 21 September, 2010.

Stapleton, Gem, Howse, John and Rodgers, Peter
(2010)
*A graph theoretic approach to general euler diagram drawing*
Theoretical Computer Science, 411 (1).
pp. 91-112.
ISSN 0304-3975

Howse, John, Rodgers, Peter and Stapleton, Gem
(2009)
*Changing Euler diagram properties by edge transformation of Euler dual graphs*
In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon, USA, 20-24 September, 2009.

Howse, John, Rodgers, Peter and Stapleton, Gem
(2009)
*Automated diagram drawing*
In: IEEE Symposium on Visual Languages and Human-Centric Computing 2009, 20-24 September, 2009, Corvallis, Oregon, USA.

Rodgers, Peter, Flower, Jean, Stapleton, Gem and Howse, John
(2009)
*Some results for drawing area-proportional Venn3 with convex curves*
In: Proceedings of the 13th International Conference on Information Visualisation, IV 2009, Barcelona, Spain, 15-17 July, 2009.

Stapleton, Gem, Taylor, John, Thompson, Simon and Howse, John
(2009)
*The expressiveness of spider diagrams augmented with constants*
Journal of Visual Languages and Computing, 20 (1).
pp. 91-98.
ISSN 1045-926X

Howse, John, Schuman, Steve, Stapleton, Gem and Oliver, Ian
(2009)
*Diagrammatic formal specification of a configuration control platform*
In: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009), Eindhoven, The Netherlands, 3 November, 2009.

Oliver, Ian, Howse, John, Stapleton, Gem, Nuutila, Esko and Torma, Seppo
(2009)
*Visualizing and specifying ontologies using diagrammatic logics*
In: Proceedings of the 5th Australasian Ontology Workshop, Melbourne, Australia, 1 December, 2009.

Oliver, Ian, Howse, John, Stapleton, Gem, Nuutlia, Esko and Torma, Seppo
(2009)
*A proposed diagrammatic logic for ontology specification and visualization*
In: 8th International Semantic Web Conference ISWC 2009 (Posters and Demos), 25-29 October 2009, Chantilly, VA, USA.

Flower, Jean, Fish, Andrew and Howse, John
(2008)
*Euler diagram generation*
Journal of Visual Languages and Computing, 19 (6).
pp. 675-694.
ISSN 1045-926X

Howse, John and Stapleton, Gem
(2008)
*Visual mathematics: Diagrammatic formalization and proof*
In: Proceedings of the 7th international MKM conference on Intelligent Computer Mathematics, Birmingham, UK, 28 July - 1 August, 2008.

Howse, John
(2008)
*Diagrammatic reasoning systems*
In: Proceedings of the 16th International Conference on Conceptual Structures, Toulouse, France, 7-11 July, 2008.

Stapleton, Gem, Howse, John, Rodgers, Peter and Zhang, Leishi
(2008)
*Generating Euler diagrams from existing layouts*
In: Proceedings of the Second International Workshop on Layout of (Software) Engineering Diagrams (LED 2008), Herrsching am Ammersee, Germany, 15-19 September, 2008.

Stapleton, Gem, Rodgers, Peter, Howse, John and Taylor, John
(2007)
*Properties of Euler diagrams*
In: Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007), Coeur d'Alene, Idaho, USA, 27 September, 2007.

Stapleton, Gem and Howse, John
(2006)
*Enhancing the expressiveness of spider diagram systems*
In: Proceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, Grand Canyon, USA, 30 August - 1 September, 2006.

John, Chris, Fish, Andrew, Howse, John and Taylor, John
(2006)
*Exploring the notion of 'clutter' in Euler diagrams*
In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

Stapleton, Gem, Howse, John and Toller, Kate
(2006)
*Generalizing spiders*
In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

Grundy, John C. and Howse, John
(2006)
*Proceedings of the IEEE symposium on visual languages and human-centric computing*
[Edited Collections]

Howse, John, Bosworth, R., Fish, Andrew, Stapleton, Gem, Taylor, J., Rodgers, P. and Thompson, S.
(2006)
*Euler diagram-based notations*
University of Brighton, Brighton, UK.

Stapleton, Gem, Howse, John and Taylor, John
(2005)
*A decidable constraint diagram reasoning system*
Journal of Logic and Computation, 15 (6).
pp. 975-1008.
ISSN 0955-792X

Fish, Andrew, Flower, Jean and Howse, John
(2005)
*The semantics of augmented constraint diagrams*
Journal of Visual Languages and Computing, 16 (6).
pp. 541-573.
ISSN 1045-926X

Howse, John and Schuman, S.
(2005)
*Precise visual modelling: a case study*
Software and Systems Modeling, 4 (3).
pp. 310-325.
ISSN 1619-1366

Howse, John, Stapleton, Gem and Taylor, John
(2005)
*Spider diagrams*
LMS Journal of Computation and Mathematics, 8.
pp. 145-194.
ISSN 1461-1570

Fish, Andrew, Howse, John, Taentzer, Gabriele and Winkelmann, Jessica
(2005)
*Two visualizations of OCL: a comparison*
University of Brighton, Brighton, UK.

Stapleton, Gem, Thompson, Simon, Fish, Andrew, Howse, John and Taylor, John
(2005)
*A new language for the visualisation of logic and reasoning*
In: Proceedings of the 2005 International Workshop on Visual Languages and Computing, Banff, Alberta, Canada, 5-7 September, 2005.

Stapleton, Gem, Howse, John, Taylor, John and Thompson, Simon
(2004)
*The expressiveness of spider diagrams*
Journal of Logic and Computation, 14 (6).
pp. 857-880.
ISSN 0955-792X

Flower, Jean, Howse, John and Taylor, John
(2004)
*Nesting in Euler Diagrams: syntax, semantics and construction*
Software and Systems Modeling, 3 (1).
pp. 55-67.
ISSN 1619-1366

Fish, Andrew and Howse, John
(2004)
*Computing reading trees for constraint diagrams*
In: Proceedings of the Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, 22 September - 1 October, 2003.

Hamie, Ali, Howse, John and Mitchell, Richard
(2004)
*Time-based constraints in the Object Contraint Language OCL*
In: Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing (ASC 2004), Marbella, Spain, 1-3 September, 2004.

Fish, Andrew and Howse, John
(2004)
*Towards a default reading for constraint diagrams*
In: Proceedings of the 3rd International Conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.

Stapleton, Gem, Howse, John, Taylor, John and Thompson, Simon
(2004)
*What can spider diagrams say?*
In: Proceedings of the 3rd International Conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.

Flower, Jean, Howse, John and Taylor, John
(2003)
*Nesting in Euler diagrams*
Electronic Notes in Theoretical Computer Science, 72 (3).
pp. 93-102.
ISSN 1571-0661

Stapleton, Gem, Howse, John and Taylor, John
(2003)
*A constraint diagram reasoning system*
In: Proceedings of the International Conference on Visual Languages and Computing, DMS 2003, Florida International University, Miami, Florida, USA, 24-26 September, 2003.

Fish, Andrew, Flower, Jean and Howse, John
(2003)
*A reading algorithm for constraint diagrams*
In: Proceedings of the IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), Auckland, New Zealand, 28-31 October, 2003.

Flower, Jean, Howse, John, Taylor, John and Kent, Stuart
(2002)
*A visual framework for modelling with heterogeneous notations*
In: IEEE 2002 Symposium on Human Centric Computing Languages and Environments (HCC'02), Arlington, VA, USA, 3-6 September, 2002.

Gil, Joseph (Yossi), Howse, John and Tulchinsky, Elena
(2002)
*Positive semantics of projections in Venn-Euler diagrams*
Journal of Visual Languages and Computing, 13 (2).
pp. 197-227.
ISSN 1045-926X

Kent, Stuart and Howse, John
(2002)
*Constraint trees*
In: Clark, A. and Warmer, J., eds.
Object modeling with the OCL: the rationale behind the object constraint language.
Lecture Notes in Computer Science
.
Springer-Verlag, Berlin, Germany, pp. 427-430.
ISBN 9783540431695

Howse, John, Stapleton, Gem, Flower, Jean and Taylor, John
(2002)
*Corresponding regions in Euler diagrams*
In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002.

Flower, Jean and Howse, John
(2002)
*Generating Euler diagrams*
In: Proceedings of the 2nd International Conference, Diagrams 2002, Callaway Gardens, GA, USA, 18-20 April, 2002.

Howse, John, Molina, Fernando, Shin, Sun-Joo and Taylor, John
(2002)
*On diagram tokens and types*
In: Proceedings of the Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18–20, 2002.

Howse, John, Molina, F., Shin, S-J. and Taylor, John
(2002)
*Type-syntax and token-syntax in diagrammatic systems*
In:
Formal ontology in information systems: Proceedings of the international conference on formal ontology in information systems.
ACM Press, New York, USA, pp. 174-185.
ISBN 1581133774

Howse, John, Molina, F., Taylor, John, Kent, S. and Gil, J.
(2001)
*Spider diagrams: a diagrammatic reasoning system*
Journal of Visual Languages and Computing, 12 (3).
pp. 299-324.
ISSN 1045-926X

Gil, Joseph (Yossi), Howse, John and Kent, Stuart
(2001)
*Towards a formalization of constraint diagrams*
In: Proceedings of the IEEE Symposium on Human Centric Computing Languages and Environments, Stresa, Italy, 5-7 September, 2001.

Consultancy

Nokia, Helsinki: Developing visual modelling languages for ontology engineering and modelling privacy processes

CSIRO, Canberra: Developing visual models of the semantic sensor network ontology

New Zealand District Councils: Unifying local authority ontologies

Cognicor, Barcelona: Developing complaints procedures ontology

ULab, Singapore: Developing ontologies for Hotspotting App

Black Rock Ltd, Brighton: Mathematics for Game Programming (2008–2009)

Ratio Group Ltd, London: Training in object-oriented methods (2000–2002)

Nortel Networks, Maidenhead: Modelling telecom systems (1999–2001)

PhD students

Name | Thesis |
---|---|

M Alqadeh (Current) | The impact of clutter on the comprehension of set visualisations |

E Alharbi (Current) | Evaluating concept diagram patterns for ontology engineering |

A Baimagambetov (Current) | Automatic visualisation of grouped networks |

Dr A Blake (2016) | The impact of graphical choices on the perception of Euler diagrams |

Dr R Clark (2014) | Failure mode modular de-composition |

Dr N Fetais (2013) | Evaluation of the usability of constraint diagrams as a visual modelling language: theoretical and empirical investigations |

Dr J Burton (2011) | Generalised constraint diagrams: The classical decision problem in a diagrammatic reasoning system |

Dr C John (2006) | Clutter in Euler diagrams |

Dr G Stapleton (2004) | Reasoning with constraint diagrams |

Dr A Lauder (2001) | A productive response to legacy systems |

Dr I Oliver (2001) | Animating object oriented conceptual models |

Dr F Molina (2001) | Reasoning with extended Venn-Peirce diagrammatic systems |

Dr J Armstrong (1991) | The roles of inheritance in software development |

Roles

Vice-Chair of the Steering Committee of the IEEE Symposium on Visual Languages and Human-Centric Computing

Fellow, Institute of Mathematics and its Applications

Chartered Mathematician

Fellow, British Computer Society

Chartered IT Professional

Awards

Most Influential Paper Award at the IEEE Symposium on Visual Languages and Human-Centric Computing 2009 for important influences on Visual Languages/Human-Centric Computing research or commerce over the last 10 years. Presented for *Formalising Spider Diagrams* at IEEE Symposium on Visual Languages 1999.