Logika Deskripsi

Logika deskripsi adalah keluarga bahasa representasi pengetahuan formal, fragmen logika orde pertama yang dapat diputuskan, digunakan untuk mendefinisikan konsep dan melakukan penalaran tentang klasifikasi dan konsistensi, terutama sebagai dasar bahasa ontologi Semantic Web.

Definition

Logika deskripsi adalah formalisme berbasis logika untuk merepresentasikan konsep (kelas), peran (relasi), dan individu dari suatu domain, dengan semantik model-teoretis yang tepat yang membuat tugas penalaran seperti subsumsi konsep dapat diputuskan.

Scope

Topik ini mencakup keluarga logika deskripsi: konsep, peran, dan individu; perbedaan antara pengetahuan terminologis (TBox definisi konsep) dan pengetahuan asertif (ABox fakta tentang individu); layanan penalaran standar subsumsi, klasifikasi, konsistensi, dan pemeriksaan instansi; serta spektrum ekspresivitas-versus-kompleksitas dari logika ringan hingga logika ekspresif yang mendasari Web Ontology Language (OWL). Representasi terstruktur informal dibahas dalam jaringan semantik dan ontologi.

Core questions

• Bagaimana konsep dibangun secara komposisional dari konsep atomik dan peran menggunakan konstruktor seperti konjungsi, pembatasan, dan kuantifikasi?
• Apa perbedaan antara TBox dari aksioma terminologis dan ABox dari pernyataan?
• Layanan penalaran standar apa (subsumsi, klasifikasi, konsistensi, pemeriksaan instansi) yang disediakan oleh penalaran logika deskripsi?
• Bagaimana peningkatan ekspresivitas meningkatkan kompleksitas komputasi penalaran?

Key concepts

• konsep, peran, individu
• TBox dan ABox
• konstruktor dan pembatasan konsep
• subsumsi
• klasifikasi
• konsistensi dan pemeriksaan instansi
• OWL dan Semantic Web
• fragmen logika orde pertama yang dapat diputuskan

Key theories

Pemisahan TBox/ABox

Basis pengetahuan logika deskripsi membedakan pengetahuan terminologis (definisi konsep dan peran dalam TBox) dari pengetahuan asertif (fakta tentang individu tertentu dalam ABox), memungkinkan penalaran yang terpisah namun saling berinteraksi tentang skema dan data.

Subsumsi dan klasifikasi otomatis

Inferensi inti dari logika deskripsi adalah subsumsi, memutuskan apakah suatu konsep secara niscaya lebih umum daripada konsep lain, yang memungkinkan penalaran secara otomatis mengatur konsep ke dalam hierarki klasifikasi dan mendeteksi inkonsistensi.

Pertukaran ekspresivitas-kompleksitas

Logika deskripsi sengaja dipilih sebagai fragmen logika orde pertama yang dapat diputuskan, dan penambahan konstruktor meningkatkan ekspresivitas dengan biaya yang terkarakterisasi dengan baik dalam kompleksitas penalaran, memandu desain bahasa ontologi seperti profil OWL.

Clinical relevance

Logika deskripsi adalah tulang punggung formal dari Web Ontology Language (OWL) dan dengan demikian dari ontologi besar dalam biomedis (seperti SNOMED CT), Semantic Web, dan grafik pengetahuan perusahaan, di mana klasifikasi otomatis dan pemeriksaan konsistensi menjaga koherensi kosakata yang besar.

History

Logika deskripsi berkembang dari representasi terstruktur seperti KL-ONE (1985) karya Brachman dan Schmolze, karena para peneliti mencari semantik formal dan kemampuan putusan untuk sistem berbasis bingkai dan jaringan. Sepanjang tahun 1990-an hingga 2000-an, kompleksitasnya dipetakan secara tepat, dan mereka diadopsi sebagai dasar dari W3C Web Ontology Language (OWL).

Key figures

• Ronald J. Brachman
• Franz Baader
• Ian Horrocks
• Diego Calvanese
• Deborah McGuinness

Seminal works

• brachman1985
• baader2007

Frequently asked questions

Bagaimana logika deskripsi berhubungan dengan logika orde pertama?

Logika deskripsi adalah fragmen logika orde pertama yang dipilih dengan cermat. Mereka mengorbankan beberapa ekspresivitas agar tugas penalaran kunci, seperti memutuskan subsumsi antar konsep, tetap dapat diputuskan dan seringkali efisien, yang tidak dijamin oleh logika orde pertama penuh.

Apa perbedaan antara TBox dan ABox?

TBox menyimpan pengetahuan terminologis, definisi dan aksioma umum tentang konsep dan peran, sementara ABox menyimpan pernyataan tentang individu tertentu. Penalaran menggunakan keduanya: TBox menjelaskan bagaimana dunia terstruktur dan ABox menjelaskan fakta spesifik dalam struktur tersebut.