Accessible Reasoning with Diagrams: from Cognition to Automation

Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton

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


High-tech systems are ubiquitous and often safety and securitycritical: reasoning about their correctness is paramount. Thus, precise modelling and formal reasoning are necessary in order to convey knowledge unambiguously and accurately. Whilst mathematical modelling adds great rigour, it is opaque to many stakeholders which leads to errors in data handling, delays in product release, for example. This is a major motivation for the development of diagrammatic approaches to formalisation and reasoning about models of knowledge. In this paper, we present an interactive theorem prover, called iCon, for a highly expressive diagrammatic logic that is capable of modelling OWL 2 ontologies and, thus, has practical relevance. Significantly, this work is the first to design diagrammatic inference rules using insights into what humans nd accessible.Specifically, we conducted an experiment about relative cognitive benefits of primitive (small step) and derived (big step) inferences, and use the results to guide the implementation of inference rules in iCon.
Original languageEnglish
Title of host publication10th International Conference on the Theory and Application of Diagrams
EditorsP. Chapman, G. Stapleton, A. Moktefi , S. Perez-Kriz, F. Bellucci
Place of PublicationEdinburgh
ISBN (Electronic)9783319913766
ISBN (Print)9783319913759
Publication statusPublished - 17 May 2018
Event10th International Conference on the Theory and Application of Diagrams - Edinburgh , Edinburgh , United Kingdom
Duration: 18 Jun 201822 Jun 2018
Conference number: 10

Publication series

NameLecture Notes in Computer Science


Conference10th International Conference on the Theory and Application of Diagrams
Abbreviated titleDiagrams 2018
Country/TerritoryUnited Kingdom
Internet address

Bibliographical note

The final authenticated version is available online at


Dive into the research topics of 'Accessible Reasoning with Diagrams: from Cognition to Automation'. Together they form a unique fingerprint.

Cite this