An Introduction to Description Logics
Being at the heart of artificial intelligence studies, the problem of how knowledge can be represented in machines focuses on constructing formal systems that have high expressive power close to natural language and that are far from computational complexity. One of these systems, the depiction logics not only represent the domain knowledge in two district structures that are close to the expressiveness of natural language but also formalize the domain knowledge in a decidable manner. These computationally and ontologically robust formal systems apply open-world assumption in reasoning so that different models can be derived from the provided information. Designed for automated reasoning, one of the biggest ambitions of all time, the description logics gain importance day by day, then we aim to introduce description logics to the researchers in philosophical logic and to the researchers in systematic philosophy who are interested in ontology/knowledge engineering. Last but not least, this work is produced as the first of the articles to promote this interdisciplinary field in Turkish.
- Akçelik, O. (2016). Formel Ontoloji ve Betimleyici Mantıklar. VI. Mantık Çalıştayı Kitabı. (Ed. V. Kamer & Ş. Ural). İstanbul: Mantık Derneği Yayınları, 17-24.
- Baader, F. & Calvanese, D. & McGuinness, D. & Nardi, D. & Patel-Schneider, P. F. (Ed.). (2007). Preface. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge: Cambridge University Press, xv-xix.
- Baader, F. & Horrocks, I. & Lutz, C. & Sattler, U. (2017). An Introduction to Description Logic. Cambridge: Cambridge University Press.
- Baader, F. & Nutt, W. (2007). Basic Description Logics. The Description Logic Handbook. (Eds. F. Baader & D. Calvanese & D. McGuinness & D. Nardi & P. F. Patel-Schneider). Cambridge: Cambridge University Press, 47-104.
- Bergman, M. (2009). The Open World Assumption: Elephant in the Room. AI3:: Adaptive Information Blog. Yayınlanma Tarihi: 21 Aralık 2009. Erişim Adresi: http://www.mkbergman.com/wp-content/themes/ai3v2/files/2009Posts/Adaptivethe-open-world-assumption-elephant-in-the-room.pdf.
- Brachman, R. J. & Fikes, R. E. & Levesque, H. J. (1985). KRYPTON: A Functional Approach to Knowledge Representation. Readings in Knowledge Representation. (Eds. R. J. Brachman & H. J. Levesque). Burlington: Morgan Kaufmann Publishers, 411-429.
- Grünberg, T. & Onart, A. & Grünberg, D. & Turan, H. (2003). Mantık Terimleri Sözlüğü. Ankara: METU Press.
- Guarino, N. (1995). Formal Ontology, Conceptual Analysis and Knowledge Representation. International Journal of Human-Computer Studies, 43 (5-6), 625-640.
- Horrocks, I. (2007). Implementation and Optimization Techniques. The Description Logic Handbook. (Eds. F. Baader & D. Calvanese & D. McGuinness & D. Nardi & P. F. Patel-Schneider). Cambridge: Cambridge University Press, 329-373.
- Krötzsch, M. & Simancik, F. & Horrocks, I. (2012). A Description Logic Primer. arXiv Preprint arXiv:1201.4089, 1-17.
- McGuinness, D. L. & Patel-Schneider, P. F. (2007). From Description Logic Provers to Knowledge Representation Systems. The Description Logic Handbook. ((Eds. F. Baader & D. Calvanese & D. McGuinness & D. Nardi & P. F. Patel-Schneider). Cambridge: Cambridge University Press, 285-303.
- Möller, R. & Haarslev, V. (2007). Description Logic Systems. The Description Logic Handbook. (Eds. F. Baader & D. Calvanese & D. McGuinness & D. Nardi & P. F. Patel-Schneider). Cambridge: Cambridge University Press, 304-328.
- Nardi D. & Brachman, R. J. (2007). An Introduction to Description Logics. The Description Logic Handbook. (Eds. F. Baader & D. Calvanese & D. McGuinness & D. Nardi & P. F. Patel-Schneider). Cambridge: Cambridge University Press, 1-43.
- Sattler, U. & Calvanese, D. & Molitor, R. (2007). Relationship with Other Formalisms. The Description Logic Handbook. (Eds. F. Baader & D. Calvanese & D. McGuinness & D. Nardi & P. F. Patel-Schneider). Cambridge: Cambridge University Press, 149-192.
- Shapiro, S. & Kouri Kissel, T. (2018). Classical Logic. The Stanford Encyclopedia of Philosophy. (Ed. Edward N. Zalta). Erişim Adresi: https://plato.stanford.edu/archives/spr2018/entries/logic-classical.
- Yargan, D. (2019). Formel Ontolojiler ve Betimleyici Mantıklar. Felsefe Arkivi, 51, 271-281.