Logic Graphs for ALC, SHIF and SHOIN Description Logics
Nguyen Ngoc Than, Ildar Raisovich Baimuratov · DOAJ (DOAJ: Directory of Open Access Journals) · 2020
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. The proposed system is sufficient to describe the logic of ALC, SHIF, and SHOIN and visualize the OWL-Lite and OWL-DL ontologies to help casual users easily understand the ontology, as well as analyze data annotations and other tasks.