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-ONEREFERENCES:
 M. Krötzsch, F. Simancík, and I. Horrocks, “A Description Logic Primer”, CoRR, abs/1201.4089, 2012.
 F. Baader, I. Horrocks, U. Sattler Description Logics Handbook of Knowledge Representa-tion, Elsevier, Amsterdam(2007), pp. 135-179.
 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 https://lat.inf.tu-dresden.de/research/papers.html.
 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.
 M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1–26, 1991.
 Roberts, D., The Existential Graphs of Charles S. Peirce, The Hague, Paris, Mouton, 1973.
 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.
 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.
 Sowa, J. F. 2011. Peirce's tutorial on existential graphs. Semiotica, 1861-4, 345-394.
 Zeman Jay J. The Graphical Logic of C.S. Peirce: dissertation. Chicago, 1964.
 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.
 L.S. Cauman, First-Order Logic., 1998.
 Brachman, R. J., and Schmolze, J. (1985). 'An overview of the KL-ONE knowledge representation system.' Cognitive Science, 9:171-216.