‫بسمه تعالی‬
‫تمرین سری اول (‪)۲۹۳۱/۸/۴‬‬
‫موعد تحویل‪۲۹۳۱/۸/۲۴ :‬‬
‫نام درس‪ :‬وب معنایی‬
‫نیمسال اول ‪۳۹-۳۹‬‬
‫مدرس‪ :‬دکتر مرتضی امینی‬
‫صفحه ‪1‬‬
‫لطفاً به نکات زیر توجه فرمایید‪:‬‬
‫‪ o‬مهلت تحویل تمرین اول حداکثر تا ‪ 1۹۳۹/۸/1۴‬میباشد‪.‬‬
‫‪o‬‬
‫‪o‬‬
‫‪o‬‬
‫‪o‬‬
‫پاسخ سواالت را به آدرس ‪ [email protected]‬با عنوان ]‪ [SW:Assignment#1‬ارسال نمایید‪ .‬تأخیر در‬
‫ارسال پاسخ مشمول کسر نمره خواهد بود‪.‬‬
‫حل تمرینهای درس باید بهصورت فردی صورت پذیرد‪ .‬پاسخهای گروهی مشمول کسر نمره خواهد بود‪.‬‬
‫برای سواالت اختیاری نمره اضافی در نظر گرفته خواهد شد‪.‬‬
‫در صورت استفاده از مرجعی خاص در پاسخ به سؤاالت‪ ،‬الزم است لیست مراجع در انتهای هر پاسخ ذکر شود‪.‬‬
‫‪ .1‬تابع تفسیر )‪ I  (, I‬را به صورت زیر در نظر بگیرید‪.‬‬
‫}‪  {s1 , s 2 , s 3 , p1 , p 2 , b1 , j, k , l, m, n‬‬
‫} ‪Scientific I  {s1 , s 2 , s 3‬‬
‫} ‪Politic I  {p1 , p 2‬‬
‫}‪Person I  { j, k, l, m, n‬‬
‫} ‪Book I  {s1 , s 2 , s 3 , p1 , p 2 , b1‬‬
‫}) ‪Re ads I  {(l, s1 ), (m, s1 ), (k, s 3 ), (k, p1 ), (k, p 2 ), (n, s 2 ), (l, b1 ), ( j, p1 ), ( j, s1‬‬
‫تفسیر هر کدام از مفاهیم زیر را در ‪ I‬پیدا کنید (همه مراحل را ذکر کنید)‪.‬‬
‫𝑐𝑖𝑓𝑖𝑡𝑛𝑒𝑖𝑆 ‪a)  𝑅𝑒𝑎𝑑𝑠. 𝑆𝑐𝑖𝑒𝑛𝑡𝑖𝑓𝑖𝑐 ⊓  𝑅𝑒𝑎𝑑𝑠.‬‬
‫𝑐𝑖𝑡𝑖𝑙𝑜𝑃¬ ‪b)  𝑅𝑒𝑎𝑑𝑠. 𝑃𝑜𝑙𝑖𝑡𝑖𝑐 ⊓  𝑅𝑒𝑎𝑑𝑠.‬‬
‫𝑐𝑖𝑡𝑖𝑙𝑜𝑃 ‪c)  𝑅𝑒𝑎𝑑𝑠. 𝑆𝑐𝑖𝑒𝑛𝑡𝑖𝑓𝑖𝑐 ⊔  𝑅𝑒𝑎𝑑𝑠.‬‬
‫)𝑐𝑖𝑡𝑖𝑙𝑜𝑃 ⊔ 𝑐𝑖𝑓𝑖𝑡𝑛𝑒𝑖𝑐𝑆(¬ ‪d)  𝑅𝑒𝑎𝑑𝑠. 𝐵𝑜𝑜𝑘 ⊓  𝑅𝑒𝑎𝑑𝑠.‬‬
‫نام درس‪ :‬وب معنایی‬
‫نیمسال اول ‪۳۹-۳۹‬‬
‫مدرس‪ :‬دکتر مرتضی امینی‬
‫صفحه ‪۹‬‬
‫بسمه تعالی‬
‫تمرین سری اول (‪)۲۹۳۱/۸/۴‬‬
‫موعد تحویل‪۲۹۳۱/۸/۲۴ :‬‬
‫‪ ABOX .۹‬زیر را در نظر بگیرید‪.‬‬
‫}) ‪A ={A(d), A(f), B(f),C(e),C(g), r(f,g),s(e,f ),s(g,e), r(d,f),s(d,d), r(g,e),s(g,f‬‬
‫برای هر کدام از مفاهیم ‪ ALC‬زیر همه منفردهایی که نمونهای از آن مفهوم هستند را لیست کنید‪.‬‬
‫‪𝐵⊔C‬‬
‫)‪a‬‬
‫)‪b‬‬
‫)‪c‬‬
‫)‪d‬‬
‫‪r.C‬‬
‫‪r. A‬‬
‫‪1 s‬‬
‫)‪e) ¬  r. (¬B ⊓ ¬C‬‬
‫)𝐶¬ ‪f)  r.  r. (𝐶 ⊔ ¬𝐶) ⊓  s. (𝐴 ⊓  𝑠.‬‬
‫‪ .۹‬با استفاده از روش تابلو‪ ،‬نشان دهید که اصول زیر در هر تفسیری معتبر هستند‪.‬‬
‫)𝐷¬ ‪a)  r. (𝐶 ⊓ 𝐷) ⊓ (  r. ¬𝐶 ⊔  r.‬‬
‫)𝐵 ‪b) ¬  𝑠. 𝐴 ⊓  𝑠. ((  𝑠. 𝐵) ⊔ 𝐴) ⊑  𝑠. ¬(  𝑠. 𝐴) ⊓  𝑠. (  𝑠.‬‬
‫‪ .۴‬به کمک اطالعات داده شده (شامل منفردها‪ ،‬مفاهیم و نقشها)‪ ،‬عبارات زیر را به منطق توصیفی ترجمه کنید‪ .‬همچنین نشاان‬
‫دهید که ‪ TBox‬و ‪ ABox‬پایگاه دانش ‪ ،K‬شامل چه دانشی است‪.‬‬
‫‪Individuals= Ali, Reza, SW‬‬
‫‪Roles= teaches, hasDegree‬‬
‫‪Concepts= Course, Lecturer, Phd, MSc, BSc‬‬
‫الف)هر مدرسی حداقل یک مدرک ‪ BSc‬دارد‪.‬‬
‫ب) علی درس وب معنایی تدریس می کند‪.‬‬
‫بسمه تعالی‬
‫تمرین سری اول (‪)۲۹۳۱/۸/۴‬‬
‫موعد تحویل‪۲۹۳۱/۸/۲۴ :‬‬
‫نام درس‪ :‬وب معنایی‬
‫نیمسال اول ‪۳۹-۳۹‬‬
‫مدرس‪ :‬دکتر مرتضی امینی‬
‫صفحه ‪۹‬‬
‫ج) هرکسی که یک درس تدریس می کند بایستی یا مدرک ‪ MSc‬داشته باشد یا یک مدرس باشد‪.‬‬
‫د) مدرسی که بیش از دو درس تدریس می کند‪.‬‬
‫‪ .5‬آشنایی با برنامه ‪Protégé‬‬
‫موارد قابل تحویل‪ :‬یک فایل ‪ pdf‬حداقل سه صفحهای شامل تمامی توضیحات خواسته شده به همراه تمامی فایالهاای ماورد‬
‫استفاده و خروجیها‬
‫‪ .a‬ابتدا برنامه را دانلود و نصب کنید‪.‬‬
‫‪ .b‬با مطالعه راهنماهای مربوط به آن‪ ،‬لیستی از امکانات و ویژگیهای این برنامه تهیه کنید‪.‬‬
‫‪ .c‬با در نظر گرفتن چند آنتولوژی‪ ،‬امکانات موجود برای اجرای پرس و جوهایی به زبان ‪ DL‬را بررسی کارده و چنادین‬
‫پرس و جوی مختلف را بر روی آنتولوژیهای گوناگون اجرا کرده و خروجیهای برنامه را باه هماراه آنتولاوژیهاای‬
‫مورد استفاده‪ ،‬در فایل ارسالی قرار دهید‪.‬‬
‫سوال اختیاری‬
‫‪ .6‬منطق شناختی )‪ (epistemic logic‬را تعریف کرده و درمورد ارتباط آن با منطق مرتبه اول توضیح دهید‪.‬‬