مسودة W3C Profiles لم تحسم إثبات المطابقة الموروثة

الخلاصة

نشر Dataset Exchange Working Group في W3C مسودة The Profiles Vocabulary بوصفها First Public Working Draft في 20 أغسطس 2026. تسير الوثيقة على Recommendation track، لكنها ليست Recommendation ولا معيارًا يحظى بتأييد W3C.
تعرض نسخة HTML سلسلة خصائص تجعل المورد المطابق لملف تعريفي مطابقًا بالاستنتاج للمواصفة التي يعرّفها ذلك الملف. وفي الوقت نفسه تترك لكل مجتمع تحديد معنى المطابقة وكيفية اختبارها.
صُحح ترتيب الخاصيتين في يونيو. لكن issue أخرى ما زالت مفتوحة وتضع القاعدة في حالة at risk، بينما يعرض نصها المضمَّن في المسودة الترتيب القديم المعكوس.
لم يحتو ملف RDF Turtle المؤرخ، عند الفحص، على إعلان owl:propertyChainAxiom. ويسمي تقرير التنفيذ أمثلة فعلية، إلا أن جدول الإثبات عنصرًا بعنصر ما زال يحمل قيم xx المؤقتة.
تقدم issue مفتوحة في Data Shapes مثالًا مضادًا يبيّن أن نجاح مدقق جزئي قد لا يثبت المطابقة الكاملة للمواصفة العليا. لذلك تحتاج العلاقة الموروثة إلى إيصال يحدد النسخ والسلطة والتغطية وأداة الاستدلال ونوع النتيجة.

الملف التعريفي قرار محلي قابل للتداول

تترك المواصفات العامة عادة خيارات متعددة. يختار مجتمع حكومي أو علمي أو صناعي بعضها، ويضيّق بعضها الآخر، ويضيف قيودًا أو يجمع نماذج مختلفة أو يشرح طريقة تطبيقها. هذا الناتج هو profile: ليس نسخة مصغرة بالضرورة، بل ترتيب يعبّر عن سياسة المجتمع في استخدام المواصفة.

تجعل PROF هذا الترتيب قابلًا للقراءة الآلية. تربط prof:isProfileOf الملف التعريفي بمواصفة أو بملف تعريفي آخر. وتربط Resource Descriptors الموارد اللازمة به، مع أدوار من قبيل constraints وvalidation وschema وvocabulary وguidance وmapping وexample وspecification. ويمكن للمجتمع أن ينشر أدوارًا إضافية.

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

dct:conformsTo owl:propertyChainAxiom ( dct:conformsTo prof:isProfileOf )

ينطلق المسار من المورد عبر dct:conformsTo إلى الملف، ثم عبر prof:isProfileOf إلى المواصفة الأم. يستطيع reasoner إضافة علاقة dct:conformsTo جديدة. وهكذا يمكن للكتالوج أو الوكيل الآلي استعمال الاستنتاج دون إعادة بناء السلسلة في كل مرة.

لكن حالة الوثيقة يجب ألا تختفي عند نسخ العلاقة. هذه First Public Working Draft وليست Recommendation. يعرّف W3C Working Draft بأنها عمل جارٍ منشور للمراجعة والسجل التاريخي. توافق المجموعة على النشر لا يعني أن W3C وأعضاءه أيدوا المحتوى معيارًا.

دقة المنطق لا تحدد معنى المطابقة

تضع المسودة قيدًا مهمًا بجانب القاعدة: يمكن لكل مجتمع أن يحدد معنى المطابقة لملفاته وللمواصفات التي يعرّفها، وأن يختار طريقة الاختبار. لذلك لا يؤدي استخدام predicate واحد إلى توحيد مستوى الإثبات.

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

تكشف null profiles هذه المعضلة. الغرض منها بناء وسيلة اختبار لمواصفة لا توفر validation mechanism. ومع ذلك تقول المسودة إن من المتعذر تقديم منهج عام ودقيق لإنشائها، لأن قواعد المواصفة الأصلية قد تكون غير دقيقة. تحويل نص طبيعي أو نموذج OWL إلى SHACL shapes يحتاج إلى تفسير وقرار بشأن الاكتمال.

وتفرّق PROF بين العلاقة المباشرة والعلاقة مع الأسلاف. تسجل prof:isProfileOf الرابط المباشر، بينما تعرض prof:isTransitiveProfileOf مواصفات أبعد في الهرم كي لا يضطر العميل إلى اجتياز كل الطبقات. إذا استُخدمت الخاصية الأخيرة، ينبغي إظهار العلاقات ذات الصلة كاملة. لكن المسودة لا تفرض كيفية تنفيذ كل inference.

في قرار مهني، لا بد من فصل خمسة أشياء: علاقة صرح بها الناشر، triple استنتجته آلة، نجاح validator، شهادة، وحكم قانوني. قد تحمل كلها لفظ المطابقة، لكنها لا تستمد سلطتها من المصدر نفسه.

تصحيح المسار لم يحسم بقاء القاعدة

فتحت Issue 58 في مارس 2026 بعدما ظهر أن الصيغة السابقة وضعت الخاصيتين في ترتيب معكوس. صحح commit في يونيو المقدمة والمثال وجدول التعريف وقائمة at-risk، بحيث تأتي dct:conformsTo أولًا ثم prof:isProfileOf. وأُغلقت issue في 26 يونيو.

أما Issue 29 فما زالت مفتوحة. لا تناقش ترتيب التنفيذ، بل إدراج القاعدة نفسها في PROF، وتحمل label at-risk. وربطت تعليقات من مايو بينها وبين اكتمال null profiles ومثال مضاد منشور في مستودع Data Shapes.

لهذا يعرض نص 20 أغسطس حالتين في صفحة واحدة. تستخدم الفقرات الأساسية والمثال وجدول الخاصية والملحق الصيغة المصححة. لكن المربع المجلوب من Issue 29 لا يزال يحتوي الترتيب القديم. يمكن للمحرر الرجوع إلى سجل commits؛ وقد يقرأ نظام يجمع المقاطع الصيغتين باعتبارهما حاليتين.

يضع ملحق Features at risk الأصناف والخصائص والأدوار والقاعدة ضمن قائمة تنتظر evidence of implementation. لا يعني ذلك أن الحذف مقرر، بل إن الانتقال في مسار المعايير يحتاج إلى نتائج متوافقة وقابلة لإعادة الاختبار.

صفحة البشر وملف الآلة لا ينفذان القاعدة نفسها

يربط إعلان W3C ملف prof.ttl مؤرخًا ويصفه بأنه ترميز RDF Turtle لمفردات OWL. هذا هو الشيء الذي تستطيع التطبيقات تنزيله وحفظ hash له وتحميله مباشرة.

يعرّف ملف 20 أغسطس prof:isProfileOf على أنه object property وsubproperty من prof:isTransitiveProfileOf. وتتحدث ملاحظاته عن وراثة القيود وعن الإغلاق الانتقالي للهرم. لكنه لم يحتو إعلان owl:propertyChainAxiom عند الفحص، بينما تعرض صفحة HTML القاعدة في المقدمة والمثال وجدول dct:conformsTo.

لا تكشف هذه الفجوة النية. ربما تركت المجموعة القاعدة خارج artifact الأساسي لأنها ما زالت at risk؛ كما تذكر المسودة إمكان نشر axioms إضافية في موارد منفصلة. لكن الأسطح العامة المفحوصة لا تحدد بوضوح هل قاعدة HTML إلزامية أم اختيارية أم تجريبية أم غير متزامنة بعد.

ينتج عن ذلك اختلاف قابل للتنفيذ. قد يضيف فريق القاعدة يدويًا من HTML. وقد يحمل فريق آخر Turtle وحده فلا يستنتج مطابقة عليا. وقد يستخدم ثالث namespace حيًا في تاريخ آخر. جميعهم يقولون PROF، لكن graphs التي يولدونها مختلفة.

ليس المطلوب أن تفرض الحوكمة جوابًا تقنيًا مسبقًا. يمكن إدخال القاعدة أو فصلها في module أو تضييقها أو حذفها. المطلوب أن يعبّر النص وartifact وissue وسجل الاختبار عن قرار واحد، أو يشرحوا صراحة سبب الاختلاف المؤقت.

الأمثلة المعروفة ليست جدول إثبات لكل وظيفة

تعد FPWD conceptual model وvocabulary specification وTest Suite appendix أجزاء normative لأغراض compliance. يصف الملحق templates تحقق بـSHACL وتعليمات تطبيق. ويسرد Implementation Report منفصل خمسة أمثلة ويجمعها في ثلاث مجموعات تنفيذ مستقلة بحسب التقرير.

يظهر Cheka كأداة Python تصعد hierarchy الملفات للعثور على validators الخاصة بالملف وأسلافه. ويذكر التقرير LOCI ontology، وإرشاد ODRL، وهرم OGC، وكتالوجًا بعناوين دائمة. إذن توجد إشارات تطبيق، ولا تبدأ المسودة من فراغ.

لكن جدول “Implementation claims per Vocabulary Element” لا يزال يحتوي xx في خانة العنصر والعنوان والمنفذ والموقع. وأعاد الرابط الظاهر لمستودع tests خطأ 404 وقت الفحص، مع وجود مجلد testsuite على branch gh-pages. لا يثبت ذلك غياب الاختبارات أو البرمجيات. يثبت أن الصفحة العامة لم تربط بعد كل feature at risk بتنفيذ مستقل ونتيجة قابلة للتكرار.

تحدد charter الحالية معيار الخروج. إعادة نشر PROF على Rec-track tentative deliverable. ولتجاوز Candidate Recommendation، تتوقع charter تنفيذين مستقلين ومتوافقين لكل feature normative، مع التحقق باختبارات مفتوحة. كما تطلب test plans مبكرة وتنسيقًا مع Data Shapes Working Group. تستمر الولاية حتى أبريل 2028؛ الجدول الناقص سجل عمل لا حكم نهائي.

المثال المضاد يسأل: كم يغطي النجاح؟

تصوغ Issue 882 في Data Shapes حالة يختبر فيها shapes graph جزءًا من مواصفة OWL اختبارًا صحيحًا. تنجح البيانات في shapes الموجودة. لكن قيدًا آخر غير ممثل في المدقق يؤدي بعد entailment إلى عضوية الفرد نفسه في فئتين متنافيتين.

المدقق sound بالنسبة لما فحصه، لكنه incomplete بالنسبة إلى المواصفة الأم. فإذا حوّلت السلسلة “مطابق لهذا الملف” تلقائيًا إلى “مطابق للمواصفة”، تجاوزت النتيجة حدود الاختبار.

هذه issue مفتوحة وليست قرارًا من Working Group. ولا تثبت أن كل وراثة غير سليمة. إنها تحول السؤال إلى شرط قابل للفحص: ما درجة الاكتمال اللازمة قبل رفع نجاح محلي إلى مطابقة عليا؟

قد يكون الجواب validator كاملًا، أو فصل العلاقة الوصفية عن المطابقة المختبرة، أو تضييق القاعدة، أو إلزام وصف entailment والتغطية، أو module خاص بكل مجتمع. المهم ألا يضطر المستهلك إلى تخمين السياسة.

إيصال للمطابقة الموروثة

يبدأ الإيصال بهوية قابلة للتكرار: نسخة الملف التعريفي وhash، نسخة المواصفة الأم، روابط prof:isProfileOf المباشرة، artifact الذي حُمّل، وaxioms الفعلية. اسم بلا تاريخ لا يكفي.

ثم يسجل صاحب تعريف المطابقة والغرض منه، والـconstraints والـvalidators والـschemas والـguidance والـmappings بحسب الدور. ويذكر reasoner وvalidation engine وentailment regime والإعدادات، وإصدار test suite وتغطية كل feature والحدود والأمثلة المضادة والتنفيذات المستقلة والـissues المفتوحة وتاريخ إعادة الفحص.

وأخيرًا يصنف النتيجة: تصريح، triple مستنتج، validator pass، شهادة أو حكم قانوني. قد يقبل كتالوج بحثي الاستنتاج وحده؛ وقد يتطلب ضمان تعاقدي سلطة أخرى. يجب أن يقرر صاحب الاختصاص، لا predicate فقد provenance.

وفق عدسة Heng Lu لمشكلة principal-agent، ليست هيئة المعايير الوكيل التقني الوحيد. مجتمع الملف ومطور الأداة ومحرك الاستدلال وكلاء أيضًا. لا يستطيع الطرف المتأثر تقييم التفويض إذا لم يعرف من عرّف القاعدة، وأي artifact نفذها، ومن رفع النتيجة إلى قرار.

ما لا تثبته الأدلة

ليست FPWD Recommendation، ولا نعرف مصير القاعدة النهائي. غيابها من Turtle لا يثبت خطأ أو قصدًا؛ بل يثبت اختلافًا مرصودًا بين سطح القراءة البشرية وسطح التنفيذ الآلي.

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

الإيصال المقترح توصية حوكمة من Daniel Kade، وليس متطلبًا أو شهادة أو حلًا تقنيًا أعلن عنه W3C.

مسودة Profiles في W3C قد تورّث المطابقة، لكن طبقة الإثبات لم تُحسم

لماذا هذا مهم

الخلاصة

الملف التعريفي قرار محلي قابل للتداول

دقة المنطق لا تحدد معنى المطابقة

تصحيح المسار لم يحسم بقاء القاعدة

صفحة البشر وملف الآلة لا ينفذان القاعدة نفسها

الأمثلة المعروفة ليست جدول إثبات لكل وظيفة

المثال المضاد يسأل: كم يغطي النجاح؟

إيصال للمطابقة الموروثة

ما لا تثبته الأدلة

المصادر

سياق أعمق للملف الشخصي

الدائرة الاستراتيجية

تحالف القيادات

إحاطة الدائرة الاستراتيجية

إحاطة تحالف القيادات