Diagrammatic Reasoning for ALC Visualization with Logic Graphs
Pages 4295 - 4303
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.
Supplemental Material
MP4 File
Supplemental video
- Download
- 5.61 MB
References
[1]
Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider (Eds.). 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, USA.
[2]
Franz Baader and Ulrike Sattler. 2001. An Overview of Tableau Algorithms for Description Logics. Studia Logica: An International Journal for Symbolic Logic 69, 1 (2001), 5--40.
[3]
I Baimuratov, Th Nguyen, R Golchin, and D Mouromtsev. 2020. Developing nonempirical metrics and tools for ontology visualizations evaluation and comparing. Scientific Visualization 12, 4 (2020).
[4]
Peter Chapman, Gem Stapleton, John Howse, and Ian Oliver. 2011. Deriving sound inference rules for concept diagrams. In 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). 87--94. https://doi.org/10.1109/VLHCC.2011.6070384
[5]
Marco Console, Domenico Lembo, Valerio Santarelli, and Domenico Fabio Savo. 2014. Graphol: Ontology Representation Through Diagrams. In Proceedings of the 27th International Workshop on Description Logics. 483--495. https://doi.org/10.13140/2.1.3838.3363
[6]
Frithjof Dau and Peter Eklund. 2008. A diagrammatic reasoning system for the description logic ALC. Journal of Visual Languages & Computing 19 (10 2008), 539--573. https://doi.org/10.1016/j.jvlc.2007.12.003
[7]
Sean Falconer. [n. d.]. OntoGraf. https://protegewiki.stanford.edu/wiki/OntoGraf. Accessed: 2022-04--22.
[8]
Andrew Fish and Judith Masthoff. 2005. Do monkeys like elephants or do elephants watch monkeys? an empirical study into the default reading of constraint diagrams. Technical Report (2005).
[9]
John Howse, Gem Stapleton, Kerry Taylor, and Peter Chapman. 2011. Visualizing Ontologies: A Case Study. In International Semantic Web Conference. Springer, 257--272.
[10]
Stuart Kent. 1997. Constraint diagrams: visualizing invariants in object-oriented models. ACM SIGPLAN Notices 32, 10 (1997), 327--341.
[11]
Piotr Kunowski and Tomasz Boi'ski. [n. d.]. SOVA. https://protegewiki.stanford.edu/wiki/SOVA. Accessed: 2022-04--22.
[12]
Vasiliy Kuryshev, Ildar Baimuratov, Vladislav Shmatkov, and Dmitry Mouromtsev. 2022. Generating Visualizations of Ontologies in the Logic Graphs Language. In 2022 31st Conference of Open Innovations Association (FRUCT). 131--137.
[13]
Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, and Giuseppe De Giacomo. 2022. Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2. Future Internet 14 (02 2022), 78. https://doi.org/10.3390/fi14030078
[14]
Steffen Lohmann, Stefan Negru, Florian Haag, and Thomas Ertl. 2016. Visualizing ontologies with VOWL. Semantic Web 7 (05 2016), 399--419. https://doi.org/10.233/SW-150200
[15]
Dmitry I. Mouromtsev and Ildar R. Baimuratov. 2018. Logic Graphs: A complete visualization method for logical languages based on Ch. S. Peirce's existential graphs. In MICSECS.
[16]
T. Nguyen and I. Baimuratov. 2020. Logic graphs: Complete, semantic-oriented and easy to learn visualization method for OWL DL language. CEUR Workshop Proceedings 2893 (2020).
[17]
Ian Oliver, John Howse, Gem Stapleton, Esko Nuutila, and Seppo Törmä. 2009. Visualizing and Specifying Ontologies Using Diagrammatic Logics. In Proceedings of the Fifth Australasian Ontology Workshop - Volume 112 (Melbourne, Australia) (AOW '09). Australian Computer Society, Inc., 37--46.
[18]
Henrik Schärfe, Ulrik Petersen, and Peter Øhrstrøm. 2002. On teaching conceptual graphs. In Conceptual Structures: Integration and Interfaces: 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15--19, 2002 Proceedings 10. Springer, 285--298.
[19]
Zohreh Shams, Mateja Jamnik, Gem Stapleton, and Yuri Sato. 2017. Reasoning with Concept Diagrams About Antipatterns in Ontologies. In Intelligent Computer Mathematics, Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, and Olaf Teschke (Eds.). Springer International Publishing, Cham, 255--271.
[20]
Zohreh Shams, Yuri Sato, Mateja Jamnik, and Gem Stapleton. 2018. Accessible Reasoning with Diagrams: From Cognition to Automation. In Diagrammatic Representation and Inference, Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, and Francesco Bellucci (Eds.). Springer International Publishing, Cham, 247--263.
[21]
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. 2007. Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics 5, 2 (2007), 51--53. https://doi.org/10.1016/j.websem.2007.03.004
[22]
John Sowa. 2011. Peirce's Tutorial on Existential Graphs. Semiotica 186 (08 2011), 345--394. https://doi.org/10.1515/semi.2011.060
[23]
John F. Sowa. 1976. Conceptual Graphs for a Data Base Interface. IBM Journal of Research and Development 20, 4 (1976), 336--357. https://doi.org/10.1147/rd.204.0336
[24]
Gem Stapleton, Michael Compton, and John Howse. 2017. Visualizing OWL 2 using diagrams. 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (2017), 245--253.
[25]
Gem Stapleton and Aidan Delaney. 2008. Evaluating and Generalizing Constraint Diagrams. J. Vis. Lang. Comput. 19, 4 (2008), 499--521. https://doi.org/10.1016/j.jvlc.2008.04.003
[26]
Gem Stapleton, Aidan Delaney, Michael Compton, and Peter Chapman. 2018. Visualizing ALC Using Concept Diagrams. In Graph Structures for Knowledge Representation and Reasoning (1 ed.) (Lecture Notes in Computer Science), Madalina Croitoru, Peter Marquis, Peter Marquis, and Gem Stapleton (Eds.). Springer, 99--117. https://doi.org/10.1007/978--3--319--78102-0_6
[27]
Matej Urbas, Mateja Jamnik, and Gem Stapleton. 2015. Speedith: A Reasoner for Spider Diagrams. Journal of Logic, Language, and Information 24, 4 (2015), 487--540. http://www.jstor.org/stable/43919290
[28]
Taowei Wang, Bijan Parsia, and James Hendler. 2006. A Survey of the Web Ontology Landscape. 682--694. https://doi.org/10.1007/11926078_49
Index Terms
- Diagrammatic Reasoning for ALC Visualization with Logic Graphs
Recommendations
A diagrammatic reasoning system for the description logic ALC
Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows ...
The Reasoning Algorithm and Termination Analysis of EFSHOIN with TBoxes
WISM '09: Proceedings of the 2009 International Conference on Web Information Systems and MiningThe classical description logic SHOIN, as the logical foundation of OWL DL, is less suitable to represent fuzzy knowledge in the Semantic Web. We introduce cut concepts and cut roles to SHOIN, and present extended fuzzy description logic EFSHOIN. We ...
Reasoning within extended fuzzy description logic
An extended fuzzy description logic is proposed to increase expressive power for complex fuzzy information. We introduce cut sets of the fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherit concept constructors of the ...
Comments
Information & Contributors
Information
Published In
May 2024
4826 pages
ISBN:9798400701719
DOI:10.1145/3589334
- General Chairs:
- Tat-Seng Chua,
- Chong-Wah Ngo,
- Proceedings Chair:
- Roy Ka-Wei Lee,
- Program Chairs:
- Ravi Kumar,
- Hady W. Lauw
Copyright © 2024 Owner/Author.
This work is licensed under a Creative Commons Attribution International 4.0 License.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 13 May 2024
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
WWW '24
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,899 of 8,196 submissions, 23%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 49Total Downloads
- Downloads (Last 12 months)49
- Downloads (Last 6 weeks)1
Reflects downloads up to 05 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in