Nguyen Ngoc Than, Ildar Baymuratov, Nataly Zhukova, "A Method for Visualization of Description Logic Formulas," WSEAS Transactions on Computers, vol. 17, pp. 69-78, 2018, DOI:
Nguyen Ngoc Than, Ildar Baymuratov, Nataly Zhukova. A Method for Visualization of Description Logic Formulas.
WSEAS Transactions on Computers. 2018;17:69-78.
WSEAS Transactions on Computers
Print ISSN: 1109-2750, E-ISSN: 2224-2872
Volume 17, 2018
A Method for Visualization of Description Logic Formulas
Authors: , ,
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.
Pages: 69-78 WSEAS Transactions on Computers, ISSN / E-ISSN: 1109-2750 / 2224-2872, Volume 17, 2018, Art. #8 DOI: *As the DOI is a unique identifier, it is already available in the pdf version.
**The DOI link will be activated in the first midst of January 2026.
×
Citation Tools