Human visual consistency-checking in the real world ontologies

Yuri Sato; Mateja Jamnik; Gem Stapleton; Zohreh Shams; Andrew Blake

doi:10.1109/VL-HCC57772.2023.00044

Human visual consistency-checking in the real world ontologies

Yuri Sato, Mateja Jamnik, Gem Stapleton, Zohreh Shams, Andrew Blake

School of Arch, Tech and Eng

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Abstract

Solving complex consistency checking tasks in natural languages is hard and requires sophisticated specialist expertise. The similar task of finding bugs in information systems can be large-scale and is often conducted with some visualisation of the data. Visualisation, therefore, could also be a useful tool when consistency checking in real world applications, such as in the case of ontology engineering. Previous experiments suggest that node-link visualisation, such as SOVA, are more effective than node-link-region visualisation, such as concept diagrams, in consistency checking tasks. In this study, we found that this tendency was not affected even in an alternative setting where multiple concept diagrams were used. Our findings have implications for the way in which information is presented visually: single (merged) visualisations are effective for these types of tasks.

Original language	English
Title of host publication	IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)
Publisher	IEEE
Pages	249-251
Number of pages	3
DOIs	https://doi.org/10.1109/VL-HCC57772.2023.00044
Publication status	Published - 7 Nov 2023
Event	IEEE Symposium on Visual Languages and Human-Centric Computing - Martin Luther King Jr. Memorial Library, Washington, United States Duration: 2 Oct 2023 → 6 Oct 2023 https://conf.researchr.org/home/vlhcc-2023

Conference

Conference	IEEE Symposium on Visual Languages and Human-Centric Computing
Abbreviated title	VL/HCC 2023
Country/Territory	United States
City	Washington
Period	2/10/23 → 6/10/23
Internet address	https://conf.researchr.org/home/vlhcc-2023

Bibliographical note

Funding Information:
ACKNOWLEDGMENTS This research was funded by a Leverhulme Trust Research Project Grant (RPG-2016-082) for the project entitled Accessible Reasoning with Diagrams, and by Grant-in-Aid for JSPS KAKENHI Grant Number JP20K12782. The majority of Yuri Sato’s and Gem Stapleton’s contributions to the paper were made whilst they were affiliated with the University of Brighton.

Funding Information:
This research was funded by a Leverhulme Trust Research Project Grant (RPG-2016-082) for the project entitled Accessible Reasoning with Diagrams, and by Grant-in-Aid for JSPS KAKENHI Grant Number JP20K12782. The majority of Yuri Sato s and Gem Stapleton s contributions to the paper were made whilst they were affiliated with the University of Brighton.

Publisher Copyright:
© 2023 IEEE.

Keywords

cognitive science
consistency
contradiction
human reasoning
ontology engineering
visual representation

Access to Document

10.1109/VL-HCC57772.2023.00044

Cite this

@inproceedings{c8ea2f96c7894aebab367c3c20c47dc2,

title = "Human visual consistency-checking in the real world ontologies",

abstract = "Solving complex consistency checking tasks in natural languages is hard and requires sophisticated specialist expertise. The similar task of finding bugs in information systems can be large-scale and is often conducted with some visualisation of the data. Visualisation, therefore, could also be a useful tool when consistency checking in real world applications, such as in the case of ontology engineering. Previous experiments suggest that node-link visualisation, such as SOVA, are more effective than node-link-region visualisation, such as concept diagrams, in consistency checking tasks. In this study, we found that this tendency was not affected even in an alternative setting where multiple concept diagrams were used. Our findings have implications for the way in which information is presented visually: single (merged) visualisations are effective for these types of tasks.",

keywords = "cognitive science, consistency, contradiction, human reasoning, ontology engineering, visual representation",

author = "Yuri Sato and Mateja Jamnik and Gem Stapleton and Zohreh Shams and Andrew Blake",

note = "Funding Information: ACKNOWLEDGMENTS This research was funded by a Leverhulme Trust Research Project Grant (RPG-2016-082) for the project entitled Accessible Reasoning with Diagrams, and by Grant-in-Aid for JSPS KAKENHI Grant Number JP20K12782. The majority of Yuri Sato{\textquoteright}s and Gem Stapleton{\textquoteright}s contributions to the paper were made whilst they were affiliated with the University of Brighton. Funding Information: This research was funded by a Leverhulme Trust Research Project Grant (RPG-2016-082) for the project entitled Accessible Reasoning with Diagrams, and by Grant-in-Aid for JSPS KAKENHI Grant Number JP20K12782. The majority of Yuri Sato s and Gem Stapleton s contributions to the paper were made whilst they were affiliated with the University of Brighton. Publisher Copyright: {\textcopyright} 2023 IEEE.; IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2023 ; Conference date: 02-10-2023 Through 06-10-2023",

year = "2023",

month = nov,

day = "7",

doi = "10.1109/VL-HCC57772.2023.00044",

language = "English",

pages = "249--251",

booktitle = "IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)",

publisher = "IEEE",

url = "https://conf.researchr.org/home/vlhcc-2023",

}

TY - GEN

T1 - Human visual consistency-checking in the real world ontologies

AU - Sato, Yuri

AU - Jamnik, Mateja

AU - Stapleton, Gem

AU - Shams, Zohreh

AU - Blake, Andrew

N1 - Funding Information: ACKNOWLEDGMENTS This research was funded by a Leverhulme Trust Research Project Grant (RPG-2016-082) for the project entitled Accessible Reasoning with Diagrams, and by Grant-in-Aid for JSPS KAKENHI Grant Number JP20K12782. The majority of Yuri Sato’s and Gem Stapleton’s contributions to the paper were made whilst they were affiliated with the University of Brighton. Funding Information: This research was funded by a Leverhulme Trust Research Project Grant (RPG-2016-082) for the project entitled Accessible Reasoning with Diagrams, and by Grant-in-Aid for JSPS KAKENHI Grant Number JP20K12782. The majority of Yuri Sato s and Gem Stapleton s contributions to the paper were made whilst they were affiliated with the University of Brighton. Publisher Copyright: © 2023 IEEE.

PY - 2023/11/7

Y1 - 2023/11/7

N2 - Solving complex consistency checking tasks in natural languages is hard and requires sophisticated specialist expertise. The similar task of finding bugs in information systems can be large-scale and is often conducted with some visualisation of the data. Visualisation, therefore, could also be a useful tool when consistency checking in real world applications, such as in the case of ontology engineering. Previous experiments suggest that node-link visualisation, such as SOVA, are more effective than node-link-region visualisation, such as concept diagrams, in consistency checking tasks. In this study, we found that this tendency was not affected even in an alternative setting where multiple concept diagrams were used. Our findings have implications for the way in which information is presented visually: single (merged) visualisations are effective for these types of tasks.

AB - Solving complex consistency checking tasks in natural languages is hard and requires sophisticated specialist expertise. The similar task of finding bugs in information systems can be large-scale and is often conducted with some visualisation of the data. Visualisation, therefore, could also be a useful tool when consistency checking in real world applications, such as in the case of ontology engineering. Previous experiments suggest that node-link visualisation, such as SOVA, are more effective than node-link-region visualisation, such as concept diagrams, in consistency checking tasks. In this study, we found that this tendency was not affected even in an alternative setting where multiple concept diagrams were used. Our findings have implications for the way in which information is presented visually: single (merged) visualisations are effective for these types of tasks.

KW - cognitive science

KW - consistency

KW - contradiction

KW - human reasoning

KW - ontology engineering

KW - visual representation

UR - http://www.scopus.com/inward/record.url?scp=85178610735&partnerID=8YFLogxK

U2 - 10.1109/VL-HCC57772.2023.00044

DO - 10.1109/VL-HCC57772.2023.00044

M3 - Conference contribution with ISSN or ISBN

SP - 249

EP - 251

BT - IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)

PB - IEEE

T2 - IEEE Symposium on Visual Languages and Human-Centric Computing

Y2 - 2 October 2023 through 6 October 2023

ER -

Human visual consistency-checking in the real world ontologies

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this