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.