WSEAS Transactions on Computers

Print ISSN: 1109-2750
E-ISSN: 2224-2872

Volume 17, 2018

Notice: As of 2014 and for the forthcoming years, the publication frequency/periodicity of WSEAS Journals is adapted to the 'continuously updated' model. What this means is that instead of being separated into issues, new papers will be added on a continuous basis, allowing a more regular flow and shorter publication times. The papers will appear in reverse order, therefore the most recent one will be on top.

A Method for Visualization of Description Logic Formulas

AUTHORS: Nguyen Ngoc Than, Ildar Baymuratov, Nataly Zhukova

Download as PDF

ABSTRACT: The visualization has proven to be very useful for exploring structures in different application domains. However, there is no any method for visualizing Description Logic formulas, which are widely used in different semantic and artificial intelligence techniques. This paper gives a method for visualization of Description Logic formulas by combining C.S. Pierce's existential graphs with KL-ONE knowledge representation system. In addition, we present a general view of Description Logic, existential graphs, KL-ONE and extended examples of visualization Description Logic formulas with the proposed method

KEYWORDS: Description Logics, existential graph, visualization, KL-ONE


[1] M. Krötzsch, F. Simancík, and I. Horrocks, “A Description Logic Primer”, CoRR, abs/1201.4089, 2012.

[2] F. Baader, I. Horrocks, U. Sattler Description Logics Handbook of Knowledge Representa-tion, Elsevier, Amsterdam(2007), pp. 135-179.

[3] Franz Baader. Description logics. In Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, and Renate A. Schmidt, editors, Reasoning Web. Semantic Technologies for Information Sys-tems – 5th International Summer School, 2009, volume 5689 of LNCS, pages 1–39. Springer, 2009. Available at

[4] Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementa-tion, and Applications. Cambridge University Press, second edition, 2007.

[5] M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1–26, 1991.

[6] Roberts, D., The Existential Graphs of Charles S. Peirce, The Hague, Paris, Mouton, 1973.

[7] Peirce, C.S., Collected Papers of Charles Sanders Peirce. Eight volumes, Arthur W. Burks, Charles Hartshornce, and Paul Weiss (eds.). Cambridge, Harvard University Press, 1931—1958.

[8] Peirce C.S. Manuscripts in the Houghton Library of Harvard University, as identi-fied by Richard Robin // Annotated Catalogue of the Papers of Charles S. Peirce. Amherst, 1967.

[9] Sowa, J. F. 2011. Peirce's tutorial on existential graphs. Semiotica, 1861-4, 345-394.

[10] Zeman Jay J. The Graphical Logic of C.S. Peirce: dissertation. Chicago, 1964.

[11] J. Barwise An introduction to first order logic Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, 90, North Holland, Amsterdam (1977), pp. 5-46.

[12] L.S. Cauman, First-Order Logic., 1998.

[13] Brachman, R. J., and Schmolze, J. (1985). 'An overview of the KL-ONE knowledge representation system.' Cognitive Science, 9:171-216.

WSEAS Transactions on Computers, ISSN / E-ISSN: 1109-2750 / 2224-2872, Volume 17, 2018, Art. #8, pp. 69-78

Copyright © 2018 Author(s) retain the copyright of this article. This article is published under the terms of the Creative Commons Attribution License 4.0

Bulletin Board


The editorial board is accepting papers.

WSEAS Main Site