A Method for Visualization of Description Logic Formulas
Nguyen Ngoc Than, Ildar Baymuratov, Nataly Alexandrovna Zhukova · WSEAS Transactions on Computers archive · 2018
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