لغة قواعد الويب الدلالي

📅 آخر تحديث: ٣٠ يوليو ٢٠٢٦
✍️ نُشر في: ٣٠ يوليو ٢٠٢٦
الموسوعة الحرة

لغة قواعد الويب الدلالي ( SWRL ) هي لغة مقترحة للويب الدلالي يمكن استخدامها للتعبير عن القواعد والمنطق، وهي تجمع بين OWL DL أو OWL Lite مع مجموعة فرعية من لغة ترميز القواعد (وهي بدورها مجموعة فرعية من Datalog ). [ 1 ]

قُدِّمَت المواصفات في مايو 2004 إلى اتحاد شبكة الويب العالمية (W3C) من قِبَل المجلس الوطني للبحوث في كندا ، وشركة Network Inference (التي استحوذت عليها لاحقًا شركة webMethods )، وجامعة ستانفورد، بالتعاون مع اللجنة المشتركة بين الولايات المتحدة والاتحاد الأوروبي للغة ترميز الوكلاء. واستندت هذه المواصفات إلى اقتراح سابق للغة قواعد OWL. [ 2 ] [ 3 ]

تتمتع لغة SWRL بكامل إمكانيات لغة OWL DL، ولكن على حساب قابلية الحسم والتطبيق العملي. [ 4 ] ومع ذلك، يمكن استعادة قابلية الحسم عن طريق تقييد شكل القواعد المقبولة، عادةً من خلال فرض شرط أمان مناسب. [ 5 ]

تتخذ القواعد شكل استلزام بين مقدمة (جسم) ونتيجة (رأس). ويمكن فهم المعنى المقصود على النحو التالي: عندما تتحقق الشروط المحددة في المقدمة، فإن الشروط المحددة في النتيجة يجب أن تتحقق أيضًا. تتكون كل من المقدمة والنتيجة من روابط ذرية . الأشكال الذرية الأساسية هي: [ 1 ]

  • C(x) — ذرة وصف فئة، تؤكد أن الفرد x ينتمي إلى الفئة C
  • P(x, y) — ذرة خاصية، تؤكد أن الفرد x مرتبط بالفرد y (أو قيمة بيانات) بواسطة الخاصية P
  • sameAs(x, y) و differentFrom(x, y) — ذرات الهوية

تشير المواصفات إلى أن الذرات sameAsو differentFromلا تزيد من قدرة اللغة على التعبير، لأن لغة OWL مع القواعد (بدون هذه الذرات) قادرة بالفعل على التعبير عن نفس الأشياء. [ 1 ]

مثال

بناء جملة قابل للقراءة البشرية

hasParent(?x1,?x2) ∧ hasBrother(?x2,?x3) ⇒ hasUncle(?x1,?x3)

بناء جملة XML الملموس

إن بناء الجملة الملموس لـ XML هو مزيج من بناء جملة عرض XML للغة OWL Web Ontology مع بناء جملة RuleML XML .

<ruleml:imp> <ruleml:_rlab Ruleml:href= "#example1" /> <ruleml:_body> <swrlx:individualPropertyAtom swrlx:property= "hasParent" > <ruleml:var> x1 </ruleml:var> <ruleml:var> x2 </ruleml:var> </swrlx:individualPropertyAtom> <swrlx:individualPropertyAtom swrlx:property= "hasBrother" > <ruleml:var> x2 </ruleml:var> <ruleml:var> x3 </ruleml:var> </swrlx:individualPropertyAtom> </ruleml:_body> <ruleml:_head> <swrlx:individualPropertyAtom swrlx:property= "hasUncle" > <ruleml:var> x1 </ruleml:var> <ruleml:var> x3 </ruleml:var> </swrlx:individualPropertyAtom> </ruleml:_head> </ruleml:imp>

بناء جملة RDF الملموس

من السهل توفير صيغة RDF ملموسة للقواعد، لكن وجود المتغيرات في القواعد يتجاوز دلالات RDF. [ 6 ] يمكن ترجمة الصيغة الملموسة لـ XML إلى RDF/XML بسهولة عن طريق توسيع تحويل XSLT لصيغة عرض OWL XML.

التطبيقات

تنبيه: لا تدعم أدوات الاستدلال المواصفات الكاملة لأن الاستدلال يصبح غير قابل للحسم. يمكن اتباع ثلاثة أنواع من المناهج:

  1. قم بترجمة لغة SWRL إلى منطق الرتبة الأولى (Hoolet) وعرض مهام الاستدلال باستخدام برنامج إثبات النظريات؛
  2. ترجمة OWL-DL إلى قواعد وإعطاء القواعد لمحرك الاستدلال الأمامي (Bossam) (لا يمكن لهذا النهج أن يغطي التعبيرية الكاملة لـ OWL-DL بسبب العديد من حالات عدم التوافق بين منطق الوصف وقواعد هورن الرسمية).
  3. توسيع برنامج الاستدلال OWL-DL الحالي القائم على خوارزمية الجداول (Pellet).
  4. يتضمن برنامج Protégé 4.2 عرضًا للقواعد في عروض الأنطولوجيا الخاصة به يدعم قواعد SWRL.
  5. بالنسبة للإصدارات القديمة من برنامج Protégé، يُعدّ SWRLTab إضافةً تدعم تحرير قواعد SWRL وتنفيذها. [ تم حذف الرابط ]
  6. يدعم R2ML (لغة ترميز قواعد REWERSE) لغة SWRL.
  7. يدعم محرك قواعد التسلسل الأمامي Bossam لغة SWRL.
  8. Hoolet ، وهو تطبيق لمنطق OWL-DL يستخدم مُثبتًا من الدرجة الأولى، يدعم SWRL.
  9. Pellet ، وهو برنامج استدلال مفتوح المصدر مكتوب بلغة Java OWL DL، يدعم لغة SWRL.
  10. KAON2 عبارة عن بنية تحتية لإدارة أنطولوجيات OWL-DL و SWRL و F-Logic.أُرشف بتاريخ 6 يناير 2006 في أرشيف الإنترنت (Wayback Machine).
  11. يدعم برنامج RacerPro معالجة القواعد في صيغة SWRL عن طريق ترجمتها إلى قواعد nRQL
  12. Stardog عبارة عن قاعدة بيانات RDF أو مخزن ثلاثيات يقوم بإعادة كتابة الاستعلامات للإجابة على الأسئلة باستخدام استدلالات SWRL.
بوسامهوليتحبيبات
محلل SWRL/OWLXنعم؟؟
محلل SWRL/RDFنعم؟نعم
وظائف الرياضيات المدمجةجزئي؟نعم
ميزات السلسلة المدمجةجزئي؟نعم
مقارنة بين الأجهزة المدمجة؟؟نعم
الوظائف المنطقية المدمجة؟؟نعم
وحدات مدمجة لعرض التاريخ والوقت والمدة؟؟لا
وظائف مضمنة في URI؟؟نعم
قوائم مدمجة؟؟لا
الترخيصمجاني/مغلق المصدرمجاني/مفتوح المصدرمجاني/مفتوح المصدر

مقارنة مع برامج منطق الوصف

تُعدّ برامج منطق الوصف (DLPs) اقتراحًا آخر لدمج القواعد ولغة OWL. [ 7 ] بالمقارنة مع برامج منطق الوصف، تتبنى لغة SWRL نهجًا تكامليًا معاكسًا تمامًا. فبرامج منطق الوصف هي تقاطع منطق هورن ولغة OWL، بينما لغة SWRL هي (تقريبًا) اتحادهما. [ 4 ] في برامج منطق الوصف، تكون اللغة الناتجة لغة منطق وصف ذات مظهر غريب، ولغة غير معبرة إلى حد ما بشكل عام. [ 4 ]

انظر أيضاً

مراجع

  1. هوروكس ، إيان؛ باتيل-شنايدر، بيتر ف.؛ بولي، هارولد؛ تابيت، سعيد؛ غروسوف، بنجامين؛ دين، مايك (21 مايو 2004). "SWRL: لغة قواعد الويب الدلالي التي تجمع بين OWL وRuleML" . W3C . تم الاسترجاع في 21 ديسمبر 2017 .
  2. ↑ إيان هوروكس؛ بيتر ف. باتيل-شنايدر (2004). "مقترح للغة قواعد OWL" (ملف PDF) . وقائع المؤتمر الدولي الثالث عشر للويب العالمي (WWW 2004) . ACM. الصفحات 723-731 . تاريخ الاسترجاع: 22 مايو 2014 . 
  3. ↑ إيان هوروكس؛ بيتر ف. باتيل-شنايدر؛ شون بيشوفير؛ ديمتري تساركوف (2005). "قواعد OWL: اقتراح وتنفيذ نموذج أولي" (ملف PDF) . مجلة دلالات الويب . 3 (1). إلسيفير: 23-40 . doi : 10.1016/j.websem.2005.05.003 . تاريخ الاسترجاع: 22 مايو 2014 .
  4. 1 2 3 بيجان بارسيا وآخرون (2005). "الاقتراب بحذر من SWRL" (ملف PDF) . تم الاطلاع عليه بتاريخ 29 يوليو 2006 . {{cite journal}}يتطلب الاستشهاد بالمجلة ( مساعدة )|journal=
  5. ↑ بوريس موتيك؛ أولريك ساتلر؛ رودي ستودر (2005). "الإجابة على الاستعلامات باستخدام قواعد OWL-DL" (ملف PDF) . مجلة دلالات الويب . 3 (1). إلسيفير: 41-60 . doi : 10.1016/j.websem.2005.05.001 . تاريخ الاسترجاع: 22 مايو 2014 .
  6. ↑ مي، جينغ؛ هارولد بولي (2006). "تفسير قواعد SWRL في رسوم RDF البيانية" (ملف PDF) . الملاحظات الإلكترونية في علوم الحاسوب النظرية . 151 (2). إلسيفير: 53-69 . doi : 10.1016/j.entcs.2005.07.036 . S2CID 14325289. تاريخ الاسترجاع: 29 يوليو 2006 . 
  7. ↑ بنجامين ن. غروسوف؛ إيان هوروكس؛ رافائيل فولز؛ ستيفان ديكر (2003). "برامج منطق الوصف: دمج برامج المنطق مع منطق الوصف" (ملف PDF) . وقائع المؤتمر الدولي الثاني عشر للويب العالمي (WWW 2003) . ACM. الصفحات 48-57 . تاريخ الاسترجاع: 22 مايو 2014 .