ويكي بيانات:مشروع ويكي منطق
Purpose
يهدف مشروع الويكي هذا إلى استكشاف إمكانية رسم استدلالات من محتوى ويكي بيانات، كيف يمكن للمجتمع تحديد ما يجب استنتاجه؟ كيف يمكن حساب هذه الاستدلالات بالأدوات؟ كيف ينبغي استخدام الاستدلالات المحسوبة؟
Participants
The participants listed below can be notified using the following template in discussions:{{Ping project|Reasoning}}
- Markus Krötzsch
- Svavar Kjarrval
- TomT0m
- Emw
- Bovlb
- Peter F. Patel-Schneider
- Daniel Mietchen
- Akorenchkin (Maximilian Marx)
- YULdigitalpreservation
- Jsamwrites (John Samuel)
- Waldyrious
- Malore
- David L Martin (David Martin)
- Arlo Barnes (Arlo James Barnes)
- alonsopaz23 (Leopoldo Alonso Paz Hernández)
- AWesterinen (Andrea Westerinen)
Motivation
كان spouse (P26) من Douglas Adams (Q42) Jane Belson (Q14623681)، من الواضح أن هذا يعني أنه، على العكس، كان spouse (P26) من Jane Belson (Q14623681) Douglas Adams (Q42)، هذا مثال بسيط لحالة يمكن فيها الاستدلال على بيان واحد (عن Jane Belson (Q14623681)) من بيان آخر (عن Douglas Adams (Q42))، سيكون عظيما لو استطعنا أن نبني أدوات استنبطت مثل هذه الاستدلالات، على سبيل المثال، لتنبيهنا عندما تكون المعلومات مفقودة أو متناقضة.
هذا يمكن أن يعمل فقط إذا قمنا نحن (مجتمع ويكي بيانات) بتوثيق في مكان ما حيث يجب استخلاص الاستدلالات، نحن نعلم أن spouse (P26) يجب أن تؤدي إلى المثال أعلاه، ولكن أين هو مكتوب بالفعل على ويكي بيانات؟ في الواقع، بالنسبة لـspouse (P26)، نجد المعلومات بأنها متماثلة في البيان في Property:P26 الذي هو <instance of (P31):symmetric property (Q18647518)>، هذه المعلومات موجودة أيضا في صفحة نقاشه في شكل قالب القيد الذي يعبر عن التناظر، لسوء الحظ; لا يخبرنا هذا القالب بأي شيء عن التصفيات. ، على سبيل المثال، يحتوي بيان spouse (P26) Douglas Adams (Q42) على المؤهلات start time (P580) وend time (P582)، من الواضح أن بيان spouse (P26) Jane Belson (Q14623681) يجب أن يستخدم نفس المؤهلات بنفس القيم، لا يتم توضيح هذا في أي مكان، علاوة على ذلك، هناك حالات من العلاقات المتماثلة حيث تكون بعض المؤهلات غير متماثلة (لا ينبغي نسخها إلى البيان المستنتج)، كما في حالة diplomatic relation (P530)، التي تستخدم مؤهلا غير متماثل diplomatic mission sent (P531) لتحديد سفارة العنصر المصدر في بلد العنصر المستهدف، بوضوح، لن يعمل مجرد نسخ جميع أجهزة القياس للخصائص المتماثلة.
لذلك; نحن بحاجة إلى طريقة لتوضيح بشكل أدق ما هي الاستدلالات الصحيحة، هذا لن يفيد فقط الاستخدام الخارجي ("بواسطة بعض الآلات") ولكنه سيساعد أيضا على توثيق افتراضاتنا الخاصة حول استخدام خواصنا.
النهج المقترح
هذه مشكلة معقدة لا يمكن حلها في خطوة واحدة، ستحتاج الحلول المقترحة إلى تحسينها في عدة جولات حتى يعمل هذا كما هو متوقع، ومع ذلك، يمكن إعطاء فكرة عامة على النحو التالي:
- يجب على المجتمع تحديد قواعد الاستدلال على الويكي.
- يجب أن تكون كل قاعدة على صفحة واحدة، مع شرح ونقاش مخصص.
- ينبغي إعطاء القواعد نفسها بشكل ثابت، على سبيل المثال، باستخدام القوالب، بحيث يمكن للأدوات استخراجها واستخدامها. (لن يكون من الممكن تحديد جميع القواعد ذات الصلة بالبيانات الموجودة على صفحات الخصائص; لذلك يكون ذلك أفضل في نموذج موحد على بعض صفحات الويكي الأخرى، حيث يمكن دائما وجود روابط من صفحات الخصائص).
سوف تقوم الأدوات الخارجية بقراءة القواعد من الويكي، وحساب الاستدلالات، والاستفادة منها حسب الغرض منها، قد تكون بعض القواعد لمراقبة الجودة فقط، وقد يتم استخدام البعض الآخر لإثراء التطبيقات الخارجية مثل Reasonator، وقد يتم استخدام أخرى لحساب الاستدلالات التي تجب إضافتها مرة أخرى إلى ويكي بيانات بواسطة البوتات.
ما هي "قواعد الاستدلال"؟
السؤال الكبير الأول هو معرفة كيفية كتابة أفضل قواعد الاستدلال التي يمكن أن تخدم العديد من حالات الاستخدام الأساسية في ويكي بيانات. نبدأ من خلال جمع حالات الاستخدام:
- حالات الاستخدام: أمثلة على قواعد قد ترغب في التعبير عنها
كيفية التعبير عن/تخزين/مناقشة/إدارة قواعد الاستدلال؟
نحن بحاجة للعمل بقواعد على الويكي. هناك العديد من الأفكار المحتملة حول كيفية القيام بذلك بأفضل طريقة، بعض منها يمكن بالفعل أن تُناقَش دون معرفة القدرات الحقيقية للقواعد المقصودة.
- مشروع ويكي منطق/شكل القاعدة: كيفية كتابة قاعدة في ويكي بيانات (قوالب؟ بيانات؟ ...)