Quick Access


Bu Dergi DOI ve Crosscheck üyesidir


Abstract


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.

Keywords
Logic, description logics, knowledge representation, knowledge base, open-world assumption.


Advanced Search


Announcements

    Duyurular

    Beytulhikme pek çok indeks ve veritabanında dizinlenmektedir. Bunlardan bazıları şunlardır: Academic Journals Database • Akademia Sosyal Bilimler İndeksi (ASOS) • Arastirmax Sosyal Bilimler İndeksi • CiteFactor Academic Scientific Journals • EBSCO TOC Premier • European Reference Index for Humanities and Social Sciences (ERIH Plus) • Genamics Journal Seek • Index Islamicus • International Citation Index (ICI) • İSAM İlahiyat Makaleler Veritabanı • OCLC WorldCat • One Belt, One Road Reference Source • Philosopher’s Index • PhilPapers Index • Polska Bibliografia Naukowa (PBN) • Ulakbim Sosyal ve Beşeri Bilimler Veritabanı • Ulrich's Periodicals Directory • WoS - Emerging Sources Citation Index (ESCI).

     



Address :Ankara Sosyal Bilimler Üniversitesi Felsefe Bölümü, Ulus, ANKARA // Asos Eğitim Bilişim Danışmanlık Otomasyon Yayıncılık Reklam San. ve Tic. Ltd. Şti., ELAZIĞ
Telephone :0850-305-5523 Fax :
Email :beytulhikme2011@gmail.com

Web Yazılım & Programlama Han Yazılım Bilişim Hizmetleri