Skip to main content

Research Repository

Advanced Search

Visualizing ALC Using Concept Diagrams

Stapleton, Gem; Delaney, Aidan; Compton, Michael; Chapman, Peter


Gem Stapleton

Aidan Delaney

Michael Compton


This paper addresses the problem of how to visualize axioms from ALC using concept diagrams. We establish that 66.4% of OWL axioms defined for ontologies in the Manchester corpus are formulated over ALC, demonstrating the significance of considering how to visualize this relatively simple description logic. Our solution to the problem involves providing a general translation from ALC axioms into concept diagrams, which is sufficient to establish that all of ALC can be expressed. However, the translation itself is not designed to give optimally readable diagrams, which is particularly challenging to achieve in the general case. As such, we also improve the translations for a selected category of ALC axioms, to illustrate that more effective diagrams can be produced.


Stapleton, G., Delaney, A., Compton, M., & Chapman, P. (2018). Visualizing ALC Using Concept Diagrams. .

Presentation Conference Type Conference Paper (Published)
Conference Name Graph-based Knowledge and Reasoning
Start Date Aug 19, 2017
End Date Aug 25, 2017
Acceptance Date Feb 6, 2018
Online Publication Date Mar 21, 2018
Publication Date Mar 21, 2018
Deposit Date Jul 15, 2019
Publicly Available Date Jul 15, 2019
Publisher Springer
Pages 99-117
Series Title Lecture Notes in Artificial Intelligence
Series Number 10775
Series ISSN 0302-9743
ISBN 978-3-319-78101-3
Public URL
Related Public URLs
Contract Date Jul 15, 2019


You might also like

Downloadable Citations