بخشی از پاورپوینت
--- پاورپوینت شامل تصاویر میباشد ----
اسلاید 1 :
هدف
طراحي ميان‌افزار
امكان تعريف شماي يكپارچه براي داده‌هاي ناهمگن
- تعريف داده به صورت معني‌دار
- جلوگيري از وجود تناقض در تعاريف داده‌ها
امكان پرسوجو بر روي شماي يكپارچه‌شده
- استفاده از روشهاي پرسوجو بر روي داده معني‌دار
اسلاید 2 :
نحوه نمايش شماي يكپارچه
روشهاي نمايش دانش
- بر اساس منطق نباشد
- بر اساس رابط گرافيكي
- دانش بصورت ساختار داده‌اي
- استدلال با تغيير ساختار داده
- نداشتن خصوصيات معنايي دقيق
- بر اساس منطق باشد
- استفاده از منطق First-Order
- استدلال براي بررسي ترتيب منطقي
- بخش بندي دانش به دو بخش واژگان و فرضيات
- خصوصيات معنايي دقيق
اسلاید 3 :
First-Order Logic
مسندهاي يكتايي
{x | Person(x)}, lx.Person(x){
مسندهاي دوتايي
{x, y | hasChild(x, y)}
عبارات با سازنده‌ها
{x | Person(x) Ù $y.haschild(x, y) Ù Female(y)}
اسلاید 4 :
منطق تشريحي
اسلاید 5 :
عبارات منطق تشريحي
مفاهيم: موجوديت يا كلاس‌هايي كه نمونه‌ها را شرح مي‌دهند.
مفهوم اتميك A,B- مفهوم شخص(person)
نقش‌ها: روابط بين مفاهيم يا خصوصيات مفاهيم
نقش اتميك R - نقش «فرزند داشتن»(has-child)
سازنده‌ها: عملگرهايي براي تعريف مفاهيم جديد
مثال، اشتراك( )، اجتماع( ) - مفهوم مركب C, D
اسلاید 6 :
عبارات منطق تشريحي
تشخيص زبان‌هاي منطق تشريحي: بوسيله سازنده‌هاي آنهاست
ساده‌ترين زبان منطق تشريحي: زبان صفتي (AL)
اسلاید 7 :
نمايش دانش در منطق تشريحي
TBox:
- تعريف نقش و نام مفهوم
- تعريف اصل
ABox:
- فرضيه‌هاي مفهومي
- فرضيه‌هاي نقش
اسلاید 8 :
DLR
در منطق تشريحي اصلي، مفاهيم و روابط با درجه 2 هستند، اما در كاربردهاي پايگاه داده‌اي براي نمايش يك جدول، نياز به روابط بيشتر از درجه 2 داريم
DLR
q توسعه‌‌اي از منطق تشريحي، تعريف مفاهيم و روابط با درجه n
qمخصوص كاربردهاي پايگاه داده‌اي
اسلاید 9 :
پرسوجو بر روي شماي يكپارچه
انواع روشهاي پرسوجو
`روشهاي مرسوم پرسوجو SQL
`روشهاي پرسوجو بر روي داده معني‌دار
- روش OWL-QL بر اساس زبان اُنتولوژي وب
- روش RDQL بر اساس زبان RDF
اسلاید 10 :
روش OWL-QL
Query: ("Who owns a red car?")
Query Pattern: {(owns ?p ?c) (type ?c Car) (has-color ?c Red)}
Must-Bind Variables List: (?p)
May-Bind Variables List: ()
Don't-Bind Variables List: ()
Answer Pattern{(owns ?p "a red car")}
Answer KB Pattern:Answer("Joe owns a red car?")
Answer Pattern Instance:{(owns Joe "a red car")}
Query:…
Server:…
