Summary

  • نشرت مجموعة Data Shapes في W3C يوم 17 سبتمبر 2026 أول مسودة عمل عامة باسم SHACL 1.2 Inference Rules. وكانت قد نشرت مسودة أولى لقواعد SHACL 1.2 في ديسمبر 2025.
  • تفرق الوثيقة بين الرسم الأساسي الذي يحمل البيانات المدخلة ورسم الاستدلال الذي يحمل الثلاثيات الجديدة. وتسمح بخاصية sh:sourceRule لتحديد القاعدة المنتجة، لكن تسجيلها خيار لا واجب عام.
  • المسودة ليست توصية نهائية أو موافقة من W3C وأعضائها. والنجاح في مجموعة الاختبارات لا يثبت التوافق الكامل مع كل أحكام المواصفة.

يمكن لنظامين أن يعرضا الثلاثية نفسها، مع اختلاف جوهري في أصلها. في أحدهما سُجلت من مصدر معروف، وفي الآخر خرجت من حساب طبق قاعدة على مجموعة بيانات. البنية واحدة، لكن المسار الذي يبرر الاعتماد عليها مختلف. إذا اختفى ذلك المسار عند نقل النتيجة إلى واجهة القرار، بدا الاستنتاج وكأنه تصريح صادر عن المصدر نفسه.

خبر 17 سبتمبر ليس أن الاستدلال ظهر للمرة الأولى. فقد أعلنت W3C في ديسمبر 2025 مسودة SHACL 1.2 Rules. الجديد الآن هو نشر وثيقة Inference Rules باسمها الحالي في مرحلة المسودة العامة الأولى. تركز SHACL Core على أشكال البيانات والتحقق منها، بينما تصف الوثيقة الجديدة اشتقاق ثلاثيات إضافية من بيانات قائمة.

تحدد المسودة حدوداً مفيدة داخل التنفيذ. هناك رسم أساسي للمدخلات، ورسم منفصل لما استنتجته القواعد، ورسم تقييم يجمعهما أثناء العمل. يمكن ترتيب القواعد في طبقات وإعادتها حتى تستقر النتائج. وقد تُنتج ثلاثيات مؤقتة لخدمة خطوة وسيطة ثم تُحذف قبل التسليم النهائي. لذا لا يكفي حفظ الرسم النهائي للقول إن تاريخ الحساب كله قد حُفظ.

ماذا تثبت إشارة sh:sourceRule؟

يفتح القسم التاسع باب إنشاء بيانات إضافية تربط الثلاثية المستنتجة بقاعدتها. يستخدم لذلك sh:sourceRule، ويُفضَّل أن يكون اسم القاعدة معرّفاً من نوع IRI. غير أن النص يقول إن المحرك يمكنه توفير هذا الخيار؛ لا يفرضه عليه. وإذا أنشأ بيانات التتبع فلا يجوز أن تراها القواعد الجاري تنفيذها، حتى لا تغير الملاحظة العملية التي تصفها.

وحتى عندما تظهر الإشارة إلى القاعدة، تبقى أسئلة أخرى مفتوحة: أي نسخة من البيانات كانت مدخلاً؟ أي نسخة من مجموعة القواعد استُخدمت؟ هل اكتمل التشغيل ضمن حدوده؟ ومن قبل النتيجة لتصبح أساساً لتصرف واقعي؟ لا تزعم هذه المقالة حدوث نقص بعينه في تطبيق معروف؛ إنها تميز بين قدرة اختيارية في النص والتزام قد تحتاجه جهة تستقبل المخرجات.

للمسودة أيضاً لغة واضحة في الإخفاق. إذا عجز المحرك عن تنفيذ نوع قاعدة واجهه، فعليه إعلان الفشل. ويمكنه كذلك الفشل عند تجاوز حد مضبوط لعدد التكرارات أو الثلاثيات المستنتجة. ويحذر قسم الأمن، غير المعياري، من استهلاك الحساب والذاكرة ومن إمكان إنشاء بيانات تطبيقية اعتباطية. النتيجة الجزئية ليست دليلاً على اكتمال الاستدلال.

لا ينبغي تضخيم وضع الوثيقة. فهي أول مسودة عامة في مسار التوصية، ويمكن تعديلها أو استبدالها، ونشرها لا يعني تبني W3C أو أعضائها لها. وتقر الوثيقة بأن الاختبارات تغطي الجوانب التي اختُبرت فقط. مبدأ Lu Heng في اختبار الإجراءات أمام سلوك الأنظمة العاملة معيار تحريري هنا، لا مصدر تقني يصف تنفيذ W3C.

Sources