Visualizing ALC Using Concept Diagrams

Gem Stapleton; Aidan Delaney; Michael Compton; Peter Chapman

doi:10.1007/978-3-319-78102-0_6

Visualizing ALC Using Concept Diagrams

Gem Stapleton, Aidan Delaney, Michael Compton, Peter Chapman

University of Brighton

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

Abstract

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 language	English
Title of host publication	Graph Structures for Knowledge Representation and Reasoning
Subtitle of host publication	5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
Editors	Madalina Croitoru, Peter Marquis, Peter Marquis, Gem Stapleton
Publisher	Springer
Pages	99-117
Number of pages	18
Edition	1
ISBN (Electronic)	9783319781020
ISBN (Print)	9783319781013
DOIs	https://doi.org/10.1007/978-3-319-78102-0_6
Publication status	Published - 21 Mar 2018
Event	5th GKR 2017 - Melbourne, Australia Duration: 21 Aug 2017 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10775

Conference

Conference	5th GKR 2017
Country/Territory	Australia
City	Melbourne
Period	21/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: http://dx.doi.org/10.1007/978-3-319-78102-0

Access to Document

10.1007/978-3-319-78102-0_6

DLExpressivenessGKR.pdfAccepted author manuscript, 956 KBLicence: Unspecified

Cite this

Stapleton, G., Delaney, A., Compton, M., & Chapman, P. (2018). Visualizing ALC Using Concept Diagrams. In M. Croitoru, P. Marquis, P. Marquis, & G. Stapleton (Eds.), Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers (1 ed., pp. 99-117). (Lecture Notes in Computer Science ; Vol. 10775). Springer. https://doi.org/10.1007/978-3-319-78102-0_6

Stapleton, Gem ; Delaney, Aidan ; Compton, Michael et al. / Visualizing ALC Using Concept Diagrams. Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. editor / Madalina Croitoru ; Peter Marquis ; Peter Marquis ; Gem Stapleton. 1. ed. Springer, 2018. pp. 99-117 (Lecture Notes in Computer Science ).

@inproceedings{167cb537b3e14ee0b46cf0b4f9a1398a,

title = "Visualizing ALC Using Concept Diagrams",

abstract = "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.",

author = "Gem Stapleton and Aidan Delaney and Michael Compton and Peter Chapman",

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: http://dx.doi.org/10.1007/978-3-319-78102-0; 5th GKR 2017 ; Conference date: 21-08-2017",

year = "2018",

month = mar,

day = "21",

doi = "10.1007/978-3-319-78102-0_6",

language = "English",

isbn = "9783319781013",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "99--117",

editor = "Madalina Croitoru and Peter Marquis and Peter Marquis and Gem Stapleton",

booktitle = "Graph Structures for Knowledge Representation and Reasoning",

edition = "1",

}

Stapleton, G, Delaney, A, Compton, M & Chapman, P 2018, Visualizing ALC Using Concept Diagrams. in M Croitoru, P Marquis, P Marquis & G Stapleton (eds), Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. 1 edn, Lecture Notes in Computer Science , vol. 10775, Springer, pp. 99-117, 5th GKR 2017, Melbourne, Victoria, Australia, 21/08/17. https://doi.org/10.1007/978-3-319-78102-0_6

Visualizing ALC Using Concept Diagrams. / Stapleton, Gem; Delaney, Aidan; Compton, Michael et al.
Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. ed. / Madalina Croitoru; Peter Marquis; Peter Marquis; Gem Stapleton. 1. ed. Springer, 2018. p. 99-117 (Lecture Notes in Computer Science ; Vol. 10775).

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

TY - GEN

T1 - Visualizing ALC Using Concept Diagrams

AU - Stapleton, Gem

AU - Delaney, Aidan

AU - Compton, Michael

AU - Chapman, Peter

N1 - 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: http://dx.doi.org/10.1007/978-3-319-78102-0

PY - 2018/3/21

Y1 - 2018/3/21

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-78102-0_6

DO - 10.1007/978-3-319-78102-0_6

M3 - Conference contribution with ISSN or ISBN

SN - 9783319781013

T3 - Lecture Notes in Computer Science

SP - 99

EP - 117

BT - Graph Structures for Knowledge Representation and Reasoning

A2 - Croitoru, Madalina

A2 - Marquis, Peter

A2 - Stapleton, Gem

PB - Springer

T2 - 5th GKR 2017

Y2 - 21 August 2017

ER -

Stapleton G, Delaney A, Compton M, Chapman P. Visualizing ALC Using Concept Diagrams. In Croitoru M, Marquis P, Marquis P, Stapleton G, editors, Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. 1 ed. Springer. 2018. p. 99-117. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-319-78102-0_6

Visualizing ALC Using Concept Diagrams

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Fingerprint

Cite this