Generating Visualizations of Ontologies in the Logic Graphs Language

We analyze the existing ontology visualization tools. Our analysis shows that there is no tool that represents the semantics of logical operations in ontologies, as Ch. S. Pierce’s existential graphs do for first order logic. Previously, we developed Logic Graphs – a semantic-oriented visual language for ontologies, complete with respect to OWL DL. The goal of this research is to develop a tool for generating ontology visualizations in Logic Graphs. This tool parses an ontology to extract classes and their properties, converts ontology classes to their descriptions in DOT format, and builds graphical representations of ontology classes from DOT descriptions. Ontology visualization in Logic Graphs facilitates the users perception of ontologies, and provides the possibility of diagrammatic reasoning.