منطق‌های توصیف

منطق‌های توصیف خانواده‌ای از زبان‌های نمایش دانش صوری، قطعات تصمیم‌پذیر منطق مرتبه اول هستند که برای تعریف مفاهیم و استدلال در مورد طبقه‌بندی و سازگاری، به‌ویژه به‌عنوان اساس زبان‌های هستی‌شناسی وب معنایی، استفاده می‌شوند.

Definition

منطق توصیف یک فرمالیسم مبتنی بر منطق برای نمایش مفاهیم (کلاس‌ها)، نقش‌ها (روابط) و افراد یک دامنه است، با معناشناسی دقیق مبتنی بر مدل که وظایف استدلال مانند شمول مفهوم را تصمیم‌پذیر می‌کند.

Scope

این موضوع خانواده منطق توصیف را پوشش می‌دهد: مفاهیم، نقش‌ها و افراد؛ تمایز بین دانش اصطلاحی (TBox تعاریف مفهوم) و دانش ادعایی (ABox حقایق مربوط به افراد)؛ خدمات استدلال استاندارد شمول، طبقه‌بندی، سازگاری و بررسی نمونه؛ و طیف بیان‌پذیری در مقابل پیچیدگی از منطق‌های سبک تا منطق‌های بیان‌گر که زیربنای زبان هستی‌شناسی وب (OWL) هستند. نمایش‌های ساختاریافته غیررسمی تحت شبکه‌های معنایی و هستی‌شناسی‌ها بررسی می‌شوند.

Core questions

• مفاهیم چگونه به صورت ترکیبی از مفاهیم اتمی و نقش‌ها با استفاده از سازنده‌هایی مانند عطف، محدودیت و کمی‌سازی ساخته می‌شوند؟
• تفاوت بین TBox از اصول اصطلاحی و ABox از ادعاها چیست؟
• خدمات استدلال استاندارد (شمول، طبقه‌بندی، سازگاری، بررسی نمونه) که استدلال‌گرهای منطق توصیف ارائه می‌دهند، کدامند؟
• چگونه افزایش بیان‌پذیری پیچیدگی محاسباتی استدلال را افزایش می‌دهد؟

Key concepts

• مفاهیم، نقش‌ها، افراد
• TBox و ABox
• سازنده‌های مفهوم و محدودیت‌ها
• شمول
• طبقه‌بندی
• سازگاری و بررسی نمونه
• OWL و وب معنایی
• قطعات تصمیم‌پذیر منطق مرتبه اول

Key theories

جداسازی TBox/ABox

پایگاه‌های دانش منطق توصیف، دانش اصطلاحی (تعاریف مفهوم و نقش در TBox) را از دانش ادعایی (حقایق مربوط به افراد خاص در ABox) متمایز می‌کنند و امکان استدلال جداگانه اما تعاملی در مورد طرح‌واره و داده‌ها را فراهم می‌آورند.

شمول و طبقه‌بندی خودکار

استنتاج اصلی منطق‌های توصیف، شمول است که تصمیم می‌گیرد آیا یک مفهوم لزوماً کلی‌تر از مفهوم دیگر است یا خیر، که به یک استدلال‌گر اجازه می‌دهد مفاهیم را به طور خودکار در یک سلسله‌مراتب طبقه‌بندی سازماندهی کند و ناسازگاری‌ها را تشخیص دهد.

موازنه بیان‌پذیری-پیچیدگی

منطق‌های توصیف عمداً به‌عنوان قطعات تصمیم‌پذیر منطق مرتبه اول انتخاب می‌شوند و افزودن سازنده‌ها بیان‌پذیری را با هزینه‌ای مشخص در پیچیدگی استدلال افزایش می‌دهد که طراحی زبان‌های هستی‌شناسی مانند پروفایل‌های OWL را هدایت می‌کند.

Clinical relevance

منطق‌های توصیف ستون فقرات رسمی زبان هستی‌شناسی وب (OWL) و در نتیجه هستی‌شناسی‌های بزرگ در زیست‌پزشکی (مانند SNOMED CT)، وب معنایی و نمودارهای دانش سازمانی هستند، جایی که طبقه‌بندی خودکار و بررسی سازگاری، واژگان بزرگ را منسجم نگه می‌دارد.

History

منطق‌های توصیف از نمایش‌های ساختاریافته مانند KL-ONE براخمان و شمولزه (۱۹۸۵) رشد کردند، زیرا محققان به دنبال معناشناسی صوری و تصمیم‌پذیری برای سیستم‌های مبتنی بر فریم و شبکه بودند. در طول دهه‌های ۱۹۹۰-۲۰۰۰ پیچیدگی آن‌ها دقیقاً ترسیم شد و آن‌ها به‌عنوان پایه زبان هستی‌شناسی وب W3C (OWL) پذیرفته شدند.

Key figures

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

Seminal works

• brachman1985
• baader2007

Frequently asked questions

منطق‌های توصیف چه ارتباطی با منطق مرتبه اول دارند؟

منطق‌های توصیف قطعاتی با دقت انتخاب شده از منطق مرتبه اول هستند. آن‌ها برخی از بیان‌پذیری را فدا می‌کنند تا وظایف اصلی استدلال، مانند تصمیم‌گیری در مورد شمول بین مفاهیم، تصمیم‌پذیر و اغلب کارآمد باقی بمانند، چیزی که منطق مرتبه اول کامل تضمین نمی‌کند.

تفاوت بین TBox و ABox چیست؟

TBox دانش اصطلاحی، تعاریف و اصول کلی در مورد مفاهیم و نقش‌ها را در خود جای می‌دهد، در حالی که ABox ادعاها را در مورد افراد خاص نگه می‌دارد. استدلال از هر دو استفاده می‌کند: TBox نحوه ساختار جهان را توصیف می‌کند و ABox حقایق خاص را در آن ساختار توصیف می‌کند.