Constraining ontology mappings using metaphysical choices

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

هذه الورقة البحثية التي أعدها جياكومو دي كولي، وهيلينا بلاكمور، وكريس بارتريج، تتناول هذه المشكلة تحديداً. فهم يقترحون طريقة ذكية للتحقق مما إذا كانت ترجمات البيانات صحيحة من خلال النظر في "الخيارات الميتافيزيقية" التي اتخذتها الأنظمة الحاسوبية. فكر في الأمر كرحلة صعود جبل. عند القاعدة تماماً، يوجد منظور موحد للغاية حيث كل شيء عبارة عن كتلة واحدة ضخمة من الفضاء والزمن مختلطة معاً. ومع صعودك، تبدأ في اتخاذ خيارات لتقسيم هذه الكتلة إلى قطع منفصلة: الزمان مقابل المكان، الأشياء مقابل الأحداث، أو الشخص مقابل قصة حياته. ويقترح المؤلفون أنه إذا عرفت أين يقف نظامان حاسوبيان مختلفان على هذا الجبل، يمكنك التنبؤ بالضبط بعدد قطع البيانات التي تحتاج إلى إنشائها عند الترجمة من أحدهما إلى الآخر. على سبيل المثال، إذا كان النظام (أ) يرى السيارة كشيء واحد، بينما يرى النظام (ب) السيارة كشيثين (السيارة نفسها وتاريخ السيارة)، فإن الترجمة الجيدة يجب أن تحول عنصراً واحداً إلى عنصرين. لا تكتفي الورقة بالحديث عن هذا فحسب، بل قاموا بالفعل ببناء اختبار حاسوبي باستخدام "معيار تبادل المعلومات" (IES) و"الأنطولوجيا الشكلية الأساسية" (BFO) لإثبات أن هذه القواعد تعمل. ومن خلال كتابة فحوصات حاسوبية خاصة (تسمى استعلامات SPARQL)، أظهروا أنه يمكنك تلقائياً رصد الترجمات التي تخطئ في الحساب، مما يضمن بقاء البيانات وفية لمعناها الأصلي حتى عندما تتغير قواعد الواقع.

لعبة ترجمة البيانات الكبرى

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

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

الآن، تخيل أنك تبدأ في اتخاذ خيارات لتقسيم هذه الكتلة.

• التقسيم الأول: تقرر فصل "الزمن" عن "المكان". فجأة، يصبح لديك شيئان بدلاً من واحد: الشيء نفسه (كائن مستمر) والحدث الذي يقع عبر الزمن (كائن دائم/ممتد).
• التقسيم الثاني: قد تقرر فصل "الكرسي" عن "الغرفة" التي يجلس فيها.
• التقسيم الثالث: قد تفصل "عملية" الجلوس عن "الحدود" حيث يبدأ الجلوس وينتهي.

في كل مرة تقوم فيها بعملية تقسيم، تضاعف عدد الأشياء في عالمك. فالأنطولوجيا (وهي كلمة فخمة لنظام قواعد الشيء الموجود) التي تتوقف عن التقسيم مبكراً هي أنطولوجيا "موحدة" — فهي ترى أشياء أقل. أما الأنطولوجيا التي تستمر في التقسيم فهي أنطولوجيا "مقسمة" — فهي ترى أشياء أكثر بكثير.

التمثال والطين

لفهم سبب أهمية ذلك، فكر في تمثال مصنوع من الطين.

• النظام الموحد ينظر إلى التمثال ويقول: "هذا شيء واحد فقط: التمثال". هو لا يهتم بالطين الموجود تحته؛ فكل شيء يعتبر عنصراً واحداً.
• النظام المقسم ينظر إلى نفس التمثال ويقول: "انتظر، هناك شيئان هنا: الطين (المادة) والشكل (الهيئة)".

إذا حاولت ترجمة مدخل قاعدة بيانات من النظام الموحد إلى النظام المقسم، فلا يمكنك مجرد النسخ واللصق. عليك أن تأخذ مدخل "التمثال" الواحد هذا وتقسمه سحرياً إلى مدخلين: "الطين" و"الشكل". إذا لم تفعل ذلك، فستكون الترجمة معطلة. وتجادل الورقة بأن هذه "الخيارات الميتافيزيقية" تخلق قيود تعددية (cardinality constraints) صارمة. وهي طريقة فخمة لقول: "إذا كان لدى النظام (أ) عنصر واحد، فيجب أن يكون لدى النظام (ب) عنصران (أو 3، أو 4) ليكون ذلك صحيحاً".

اختبار تشرشل

لم يكتفِ المؤلفون بالتنظير فحسب؛ بل وضعوا هذا قيد الاختبار. فقد اختاروا نظامين حقيقيين لربطهما:

1. IES (معيار تبادل المعلومات): هذا النظام هو "موحد". فهو يعامل أشياء مثل السيارة أو الشخص ككتلة واحدة رباعية الأبعاد من الزمكان تتضمن كلاً من الشيء وتاريخه.
2. BFO (الأنطولوجيا الشكلية الأساسية): هذا النظام هو "مقسم". فهو يحب تقسيم الأشياء. فهو يرى السيارة ككائن مادي و تاريخها كأشياء منفصلة. ويرى الشخص كجسد و أحداث حياته كأشياء منفصلة.

وقرروا اختبار ذلك بمثال شهير جداً: ولادة وينستون تشرشل.

في نظام IES، تعتبر ولادة تشرشل حدثاً واحداً موحداً كبيراً. إنها كتلة واحدة من الواقع.
أما في نظام BFO، فإن تلك الولادة نفسها تحتاج إلى التفكيك. لكي تكون دقيقة، يحتاج النظام إلى توليد خمسة أشياء متميزة على الأقل:

1. الجسد المادي لتشرشل.
2. المكان المحدد (الموقع) الذي ولد فيه.
3. عملية الولادة نفسها.
4. اللحظة الدقيقة التي بدأت فيها العملية.
5. مناطق الزمان والمكان التي شغلتها تلك الولادة.

الفحص الحاسوبي

هنا تصبح الورقة مثيرة للاهتمام حقاً. فقد كتب المؤلفون برنامجاً حاسوبياً ليعمل كحكم. لقد أخذوا بيانات من نظام IES (الموحد) وحاولوا ترجمتها إلى نظام BFO (المقسم).

وضعوا قاعدة: "إذا رأيت عنصراً واحداً من IES، فيجب أن ترى عنصرين على الأقل من BFO".
ثم قاموا بتشغيل ترجمتهم واستخدموا لغة حاسوبية خاصة (SPARQL) لفحص النتائج. بحث الكمبيوتر عن أي ترجمات خرقت القواعد. على سبيل المثال، إذا رأى الكمبيوتر مدخلاً لتشرشل في IES ولكنه وجد مدخلاً واحداً فقط في BFO، فسيقوم بوضع علامة خطأ: "مهلاً! لقد نسيت الجزء التاريخي! يجب عليك مضاعفة البيانات!".

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

ماذا يعني هذا (وما لا يعنيه)

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

ويلاحظ المؤلفون بحذر أن هذا إطار عمل يقترحونه ويختبرونه. لقد أثبتوا ذلك باستخدام مثال محدد (تشرشل) وزوج محدد من الأنظمة (IES و BFO). لم يدّعوا أنهم حلوا كل مشكلات الربط الموجودة، لكنهم أظهروا أن "رحلة الطبقية" هذه هي أداة قوية للتحقق مما إذا كانت الترجمة منطقية. إنها تحول السؤال المجرد "ما هو الواقع؟" إلى قائمة مراجعة عملية لعلماء الحاسوب: "هل قمت بمضاعفة البيانات بما يكفي؟"