‫نام درس‪ :‬وب معنایی‬
‫نیمسال دوم ‪۱۹-۱۹‬‬
‫مدرس‪ :‬دکتر مرتضی‬
‫امینی‬
‫صفحه ‪1‬‬
‫بسمه تعالی‬
‫تمرین سری اول (‪)۱۹۳۱/۱۱/۱۱‬‬
‫موعد تحویل‪۱۹۳۱/۱/۱۱ :‬‬
‫لطفاً به نکات زیر توجه فرمایید‪:‬‬
‫‪o‬‬
‫‪o‬‬
‫‪o‬‬
‫‪o‬‬
‫‪o‬‬
‫‪o‬‬
‫مهلت تحویل تمرین اول حداکثر تا ‪ ۹۳۱۹/۹/۹۱‬میباشد‪.‬‬
‫جواب سواالت به جز سوال ‪ ۶‬را بصورت کتبی به آقای ضیایی منشی آزمایشگاه امنیت داده و شبکه )طبقه ‪ (۵‬تحویل‬
‫دهید‪.‬‬
‫پاسخ سوال ‪ ۶‬را به آدرس ‪ [email protected]‬با عنوان ]‪ [SW:Assignment#1‬ارسال نمایید‪ .‬تأخیر‬
‫در ارسال پاسخ مشمول کسر نمره خواهد بود‪.‬‬
‫حل تمرینهای درس باید بهصورت فردی صورت پذیرد‪ .‬پاسخهای گروهی مشمول کسر نمره خواهد بود‪.‬‬
‫برای سواالت اختیاری نمره اضافی در نظر گرفته خواهد شد‪.‬‬
‫در صورت استفاده از مرجعی خاص در پاسخ به سؤاالت‪ ،‬الزم است لیست مراجع در انتهای هر پاسخ ذکر شود‪.‬‬
‫‪ ABOX .1‬زیر را در نظر بگیرید‪.‬‬
‫}) ‪A ={A(d), A(e), A(f), B(f), r(d,e), r(e,g),s(e,f ),s(g,g),s(g,d), r(g,d),s(g,f‬‬
‫برای هر کدام ار مفاهیم ‪ ALC‬زیر همه منفردهایی که نمونهای از آن مفهوم هستند را لیست کنید‪.‬‬
‫)‪A‬‬
‫‪ .2‬با استفاده از روش تابلو‪ ،‬نشان دهید که اصول زیر در هر تعبیری معتبر هستند‪.‬‬
‫‪A B‬‬
‫‪s. A‬‬
‫‪s.A‬‬
‫‪s. s. s. s.A‬‬
‫)‪r.(A B‬‬
‫‪s.(A s.B) r.r.(A‬‬
‫)‪a‬‬
‫)‪b‬‬
‫)‪c‬‬
‫)‪d‬‬
‫)‪e‬‬
‫)‪f‬‬
‫)‪a) r. s.A r. s.B r. s.C r. s.(A  B  C‬‬
‫‪b)  R.(A  B) R.A‬‬
‫بسمه تعالی‬
‫تمرین سری اول (‪)۱۹۳۱/۱۱/۱۱‬‬
‫موعد تحویل‪۱۹۳۱/۱/۱۱ :‬‬
‫نام درس‪ :‬وب معنایی‬
‫نیمسال دوم ‪۱۹-۱۹‬‬
‫مدرس‪ :‬دکتر مرتضی‬
‫امینی‬
‫صفحه ‪2‬‬
‫‪ .3‬تابع تعبیر )‪ I  (, I‬را به صورت زیر در نظر بگیرید‪.‬‬
‫}‪  {t1 , t 2 , f1 , f 2 , c1 , c 2 , j, k , l, m , n‬‬
‫}‪Person I  {j, k, l, m, n‬‬
‫} ‪Car I  {t1 , t 2 , f1 , f 2 , c1 , c 2‬‬
‫} ‪Ferrari I  {f1 , f 2‬‬
‫|} ‪Toyota I  {t1 , t 2‬‬
‫}) ‪likes I  {( j, f1 ), (k, f1 ), (k, t 2 ), (l, c1 ), (l, c 2 ), (m, c1 ), (m, t 2 ), (n, f 2 ), (n, c 2‬‬
‫تعبیر هر کدام از مفاهیم زیر را در ‪ I‬پیدا کنید(همه مراحل را ذکر کنید)‪.‬‬
‫‪likes.Ferrari likes.Toyota‬‬
‫‪likes.Ferrari likes.Ferrari‬‬
‫‪likes.Ferrari likes. Ferrari‬‬
‫)‪likes.Cars likes.(Toyota Ferrari‬‬
‫)‪a‬‬
‫)‪b‬‬
‫)‪c‬‬
‫)‪d‬‬
‫‪ ABOX .4‬زیر را در نظر بگیرید‪.‬‬
‫)‪HasChild( joe, ann‬‬
‫)‪HasChild( joe, eva‬‬
‫)‪HasChild( joe, mary‬‬
‫)‪( 2HasChild)( joe‬‬
‫آیا این ‪ ABOX‬ارضاپذیر است؟ اگر جواب مثبت است‪ ،‬تعبیری را که آن را ارضا میکند بیان کنید‪ .‬آیا این ‪ ABOX‬با فرض‬
‫اسامی یکتا )‪ (UNA‬نیز ارضاپذیر است؟ (توضیح دهید)‪.‬‬
‫‪ .5‬الف‪ .‬نسبت میان منطق توصیفی با منطق مرتبه اول چیست؟‬
‫ب‪ .‬راهکار ترجمه میان این دو زبان کدام است؟ (با زبان رسمی بیان کنید‪).‬‬
‫ت‪ .‬اگر بخواهیم مشاابه توساعهای که منطق مرتبه دوم نسبت به منطق مرتبه اول داده‪ ،‬توسعهای برای منطق توصیفی داشته‬
‫باشیم‪ ،‬چه توسعهای پیشنهاد میکنید‪.‬‬
‫بسمه تعالی‬
‫تمرین سری اول (‪)۱۹۳۱/۱۱/۱۱‬‬
‫موعد تحویل‪۱۹۳۱/۱/۱۱ :‬‬
‫نام درس‪ :‬وب معنایی‬
‫نیمسال دوم ‪۱۹-۱۹‬‬
‫مدرس‪ :‬دکتر مرتضی‬
‫امینی‬
‫صفحه ‪3‬‬
‫‪ .6‬آشنایی با برنامه ‪Protégé‬‬
‫موارد قابل تحویل‪ :‬یک فایل ‪ pdf‬حداقل ساه صافحهای شاامل تمامی توضیحات خواسته شده به همراه تمامی فایلهای مورد‬
‫استفاده و خروجیها‬
‫‪ .a‬ابتدا برنامه را دانلود و نصب کنید‪.‬‬
‫‪ .b‬با مطالعه راهنماهای مربوط به آن‪ ،‬لیستی از امکانات و ویژگیهای این برنامه تهیه کنید‪.‬‬
‫‪ .c‬با در نظر گرفتن چند آنتولوژی‪ ،‬امکانات موجود برای اجرای پرس و جوهایی به زبان ‪ DL‬را بررسااای کرده و چندین‬
‫پرس و جو مختلف را بر روی آنتولوژیهای گو ناگون اجرا کرده و خروجیهای برنامه را به همراه آنتولوژیهای مورد‬
‫استفاده‪ ،‬در فایل ارسالی قرار دهید‪.‬‬
‫سواالت اختیاری‬
‫‪ .7‬انواع زیر زبانهای منطق توصیفی را نام ببرید و وجه تمایز هر یک را برشمارید‪ .‬هر زیر زبان کدام عملگرها را پشتیبانی میکند؟‬
‫‪ .8‬مثالی از بازنمایی دانش و باور به شاکل ‪ Modal‬در منطق توصاایفی را ذکر کرده و توضایح دهید که این توسااعه چگونه قدرت‬
‫بیان زبان را افزایش میدهد‪.‬‬