Skip to main content

Research Repository

Advanced Search

Visualizing ALC Using Concept Diagrams

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

Authors

Gem Stapleton

Aidan Delaney

Michael Compton



Abstract

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.

Citation

Stapleton, G., Delaney, A., Compton, M., & Chapman, P. (2018). Visualizing ALC Using Concept Diagrams. . https://doi.org/10.1007/978-3-319-78102-0_6

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
DOI https://doi.org/10.1007/978-3-319-78102-0_6
Public URL http://researchrepository.napier.ac.uk/Output/1045484
Related Public URLs http://eprints.brighton.ac.uk/id/eprint/17879
Contract Date Jul 15, 2019

Files







You might also like



Downloadable Citations