Logic Graphs for ALC, SHIF and SHOIN Description Logics

Nguyen Ngoc Than & Ildar Baimuratov
Abstract In this article, we review ability of state-of-the-art ontology visualization tools for logical expressions. Then we propose an ontology visualization method with the goal of developing a complete and convenient visualization method, named logical graphs. The method is intended to represent the semantics of ontological structures, formulated as logical axioms of description, and it must use existing visualization methods from mathematical theories, such as Ch. S. Pierces Existential graphs, category theory, and graph theory....
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.