Logic Graphs for ALC, SHIF and SHOIN Description Logics
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
FRUCT
2020-09-01
|
| Series: | Proceedings of the XXth Conference of Open Innovations Association FRUCT |
| Subjects: | |
| Online Access: | https://www.fruct.org/publications/acm27/files/Tha.pdf |
| _version_ | 1818469656741019648 |
|---|---|
| author | Nguyen Ngoc Than Ildar Baimuratov |
| author_facet | Nguyen Ngoc Than Ildar Baimuratov |
| author_sort | Nguyen Ngoc Than |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-13T21:27:24Z |
| format | Article |
| id | doaj.art-fe01269f45214155a4113b3e227fd8c9 |
| institution | Directory Open Access Journal |
| issn | 2305-7254 2343-0737 |
| language | English |
| last_indexed | 2024-04-13T21:27:24Z |
| publishDate | 2020-09-01 |
| publisher | FRUCT |
| record_format | Article |
| series | Proceedings of the XXth Conference of Open Innovations Association FRUCT |
| spelling | doaj.art-fe01269f45214155a4113b3e227fd8c92022-12-22T02:29:17ZengFRUCTProceedings of the XXth Conference of Open Innovations Association FRUCT2305-72542343-07372020-09-0127238638910.5281/zenodo.4026512Logic Graphs for ALC, SHIF and SHOIN Description LogicsNguyen Ngoc Than0Ildar Baimuratov1ITMO university, RussiaITMO university, RussiaAbstract 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.https://www.fruct.org/publications/acm27/files/Tha.pdfvisualizationontologydescription logicexistential graphcategory theorygraph theory |
| spellingShingle | Nguyen Ngoc Than Ildar Baimuratov Logic Graphs for ALC, SHIF and SHOIN Description Logics Proceedings of the XXth Conference of Open Innovations Association FRUCT visualization ontology description logic existential graph category theory graph theory |
| title | Logic Graphs for ALC, SHIF and SHOIN Description Logics |
| title_full | Logic Graphs for ALC, SHIF and SHOIN Description Logics |
| title_fullStr | Logic Graphs for ALC, SHIF and SHOIN Description Logics |
| title_full_unstemmed | Logic Graphs for ALC, SHIF and SHOIN Description Logics |
| title_short | Logic Graphs for ALC, SHIF and SHOIN Description Logics |
| title_sort | logic graphs for alc shif and shoin description logics |
| topic | visualization ontology description logic existential graph category theory graph theory |
| url | https://www.fruct.org/publications/acm27/files/Tha.pdf |
| work_keys_str_mv | AT nguyenngocthan logicgraphsforalcshifandshoindescriptionlogics AT ildarbaimuratov logicgraphsforalcshifandshoindescriptionlogics |