Visualizing ALC Using Concept Diagrams

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

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. (2017, August). Visualizing ALC Using Concept Diagrams. Presented at Graph-based Knowledge and Reasoning, Melbourne

• 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