Diagrammatic Reasoning for ALC Visualization with Logic Graphs

authored by: Ildar Baimuratov
Abstract: User studies show the demand for diagrammatic reasoning techniques for knowledge representation formats. OWL ontologies are highly relevant for Web 3.0, however, existing ontology visualization tools do not support diagrammatic reasoning, while existing diagrammatic reasoning systems utilize suboptimal visual languages. The purpose of this research is to facilitate the usage of OWL ontologies by providing a diagrammatic reasoning system over their visual representations. We focus on the ALC description logic, which covers most of the expressivity of the ontologies. As a visual language to reason about, we utilize Logic Graphs, which provide the simplest visualizations regarding graph- and information-theoretic properties. We adapt the tableau algorithm to LGs to reason about concept satisfiability, prove the correctness of the proposed system and illustrate it with examples. The proposed diagrammatic reasoning system allows reasoning over ontologies, reducing complex concepts step by step, and identifying elements that produce a contradiction.
Organisation(s): L3S Research Centre
External Organisation(s): German National Library of Science and Technology (TIB)
Type: Conference contribution
Pages: 4295-4303
No. of pages: 9
Publication date: 13.05.2024
Publication status: Published
Peer reviewed: Yes
ASJC Scopus subject areas: Computer Networks and Communications, Software
Electronic version(s): https://doi.org/10.1145/3589334.3645607 (Access: Closed)

BibTeX

@inproceedings{2e28779cf4d34d7db994b404a61a4bec,
title = "Diagrammatic Reasoning for ALC Visualization with Logic Graphs",
abstract = "User studies show the demand for diagrammatic reasoning techniques for knowledge representation formats. OWL ontologies are highly relevant for Web 3.0, however, existing ontology visualization tools do not support diagrammatic reasoning, while existing diagrammatic reasoning systems utilize suboptimal visual languages. The purpose of this research is to facilitate the usage of OWL ontologies by providing a diagrammatic reasoning system over their visual representations. We focus on the ALC description logic, which covers most of the expressivity of the ontologies. As a visual language to reason about, we utilize Logic Graphs, which provide the simplest visualizations regarding graph- and information-theoretic properties. We adapt the tableau algorithm to LGs to reason about concept satisfiability, prove the correctness of the proposed system and illustrate it with examples. The proposed diagrammatic reasoning system allows reasoning over ontologies, reducing complex concepts step by step, and identifying elements that produce a contradiction.",
keywords = "description logic, diagrammatic reasoning, logic graphs, ontology visualization, tableau algorithm",
author = "Ildar Baimuratov",
note = "Publisher Copyright: {\textcopyright} 2024 Owner/Author.; 33rd ACM Web Conference, WWW 2024 ; Conference date: 13-05-2024 Through 17-05-2024",
year = "2024",
month = may,
day = "13",
doi = "10.1145/3589334.3645607",
language = "English",
pages = "4295--4303",
booktitle = "WWW `24",
publisher = "Association for Computing Machinery, Inc",
}