Visualizing ALC Using Concept Diagrams

Gem Stapleton, Aidan Delaney, Michael Compton, Peter Chapman

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


This paper addresses the problem of how to visualize axiomsfrom 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.
Original languageEnglish
Title of host publicationGraph Structures for Knowledge Representation and Reasoning
Subtitle of host publication5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
EditorsMadalina Croitoru, Peter Marquis, Peter Marquis, Gem Stapleton
Number of pages18
ISBN (Electronic)9783319781020
ISBN (Print)9783319781013
Publication statusPublished - 21 Mar 2018
Event5th GKR 2017 - Melbourne, Australia
Duration: 21 Aug 2017 → …

Publication series

NameLecture Notes in Computer Science


Conference5th GKR 2017
Period21/08/17 → …

Bibliographical note

This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Artificial Intelligence. The final authenticated version is available online at:


Dive into the research topics of 'Visualizing ALC Using Concept Diagrams'. Together they form a unique fingerprint.

Cite this