تنسيق تبادل القواعد

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

تنسيق تبادل القواعد ( RIF ) هو توصية من اتحاد شبكة الويب العالمية (W3C ). يُعد RIF جزءًا من بنية الويب الدلالي ، إلى جانب (بشكل أساسي) SPARQL و RDF و OWL . على الرغم من أن الكثيرين تصوروه في البداية على أنه "طبقة قواعد" للويب الدلالي، إلا أن تصميم RIF في الواقع يستند إلى ملاحظة وجود العديد من "لغات القواعد"، والحاجة إلى تبادل القواعد فيما بينها. [ 1 ]

تتضمن لغة RIF ثلاث لهجات، لهجة أساسية تتوسع إلى لهجة المنطق الأساسي (BLD) ولهجة قواعد الإنتاج (PRD). [ 2 ]

تاريخ

تم تأسيس فريق عمل RIF في أواخر عام 2005. وكان من بين أهدافه استقطاب أعضاء من سوق قواعد البيانات التجارية. بدأ الفريق بأكثر من 50 عضوًا ورئيسين من قطاع الصناعة، وهما كريستيان دي سانت ماري من ILOG ، وكريس ويلتي من IBM . وقد تأثر ميثاق الفريق، الذي يهدف إلى تطوير صيغة تبادل بين أنظمة القواعد الحالية، بورشة عمل عُقدت في ربيع عام 2005، حيث اتضح أن لغة قواعد واحدة لن تلبي احتياجات جميع الأطراف المعنية (وصف الدكتور ويلتي نتائج ورشة العمل بأنها توازن ناش [ 3 ] ).

أصبح RIF توصية من W3C في 22 يونيو 2010. [ 4 ]

القواعد وأنظمة القواعد

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

متزوجان (ليزا، جون)

يمكن القول بأن صفة " متزوج " تنطبق على العلاقة بين ليزا وجون . وبإضافة مفهوم المتغيرات، يمكن صياغة القاعدة على النحو التالي:

إذا كان (؟س، ؟ص) متزوجًا، فإن (؟س، ؟ص) يحب (؟س، ؟ص)

نتوقع أنه بالنسبة لكل زوج من ?x و ?y (مثل LISA و JOHN ) الذي ينطبق عليه المسند MARRIED ، فإن نظام كمبيوتر يمكنه فهم هذه القاعدة سيستنتج أن المسند LOVES ينطبق على هذا الزوج أيضًا.

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

لهجات ريف القياسية

اللهجات القياسية لـ RIF هي Core وBLD وPRD. وتعتمد هذه اللهجات على قائمة واسعة من أنواع البيانات مع وظائف مدمجة وشروط على تلك الأنواع من البيانات.

يوضح مخطط فين التالي العلاقات بين مختلف لهجات RIF. [ 5 ]

DTB

تحدد قائمة أنواع البيانات والوظائف المضمنة (DTB) قائمة بأنواع البيانات والوظائف المضمنة والمسندات المضمنة التي يُتوقع أن تدعمها لهجات RIF. بعض أنواع البيانات مُقتبسة من أنواع بيانات مخطط XML ، [ 6 ] ووظائف XPath ، [ 7 ] ووظائف rdf:PlainLiteral. [ 8 ]

جوهر

تُشكّل اللهجة الأساسية مجموعة فرعية مشتركة من معظم لهجات القواعد. وتُعتبر RIF-Core مجموعة فرعية من كلٍّ من RIF-BLD و RIF-PRD.

FLD

يصف إطار عمل اللهجات المنطقية (FLD) آليات لتحديد بناء الجملة ودلالات لهجات RIF المنطقية، بما في ذلك RIF-BLD و RIF-Core، ولكن ليس RIF-PRD التي ليست لهجة RIF قائمة على المنطق.

مبنى

تُضيف لغة المنطق الأساسية (BLD) ميزات إلى لغة المنطق الأساسية غير متوفرة بشكل مباشر، مثل: الدوال المنطقية، والمساواة في جزء "ثم"، والوسائط المُسماة . تتوافق لغة المنطق الأساسية (BLD) مع البيانات المنطقية الموجبة، أي البرامج المنطقية التي لا تحتوي على دوال أو نفي.

يتمتع RIF-BLD بدلالات نظرية نموذجية .

تعتمد بنية الإطار في RIF BLD على منطق F ، لكن RIF BLD لا يمتلك ميزات الاستدلال غير الرتيب لمنطق F. [ 9 ]

PRD

يمكن استخدام لغة قواعد الإنتاج (PRD) لنمذجة قواعد الإنتاج . من أبرز خصائص PRD، التي لا توجد في لغة قواعد الإنتاج الثنائية (BLD)، نفي الحقائق وتراجعها (وبالتالي، فإن PRD ليست رتيبة). تعتمد قواعد PRD على الترتيب، لذا يلزم وجود استراتيجيات لحل التعارضات عند إمكانية تفعيل قواعد متعددة. تحدد مواصفات PRD إحدى هذه الاستراتيجيات القائمة على الاستدلال التسلسلي الأمامي .

يتمتع RIF-PRD بدلالات تشغيلية ، في حين أن صيغ الشروط لها أيضًا دلالات نظرية نموذجية.

مثال (المثال 1.2 في [ 10 ] )

Prefix(ex <http://example.com/2008/prd1#>) (* مثال: القاعدة_1 *) لجميع مشتريات العملاء منذ بداية العام ( إذا كان ( ?customer#ex:Customer ?customer[ex:purchasesYTD->?purchasesYTD] External(pred:numeric-greater-than(?purchasesYTD 5000)) ) ثم قم بتنفيذ (تعديل (?customer[ex:status->"Gold"]))

لهجات ريف غير قياسية

توجد عدة لهجات أخرى لبروتوكول RIF. لا يوجد أي منها معتمد رسميًا من قبل اتحاد شبكة الويب العالمية (W3C)، وهي ليست جزءًا من مواصفات RIF.

CASPD

تعتمد لغة برمجة مجموعة الإجابات الأساسية (CASPD) [ 11 ] على برمجة مجموعة الإجابات ، أي برمجة المنطق التصريحي القائمة على دلالات مجموعة الإجابات ( دلالات النموذج المستقر ).

مثال:

وثيقة( Prefix(ex <http://example.com/concepts#>) مجموعة ( فورال؟ إس ( مثال: خائف(?S مثال: رياضيات) :- و (?S#مثال: طالب (ناف نفي مثال: خائف(?S مثال: رياضيات)) ) ) فورال؟ إس ( Neg ex:afraid(?S ex:Math) :- And ( ?S#ex:Student ?S[ex:majors -> ex:Math] ) ) )

أورد

تدعم لغة قاعدة عدم اليقين (URD) ​​[ 12 ] تمثيلاً مباشراً للمعرفة غير المؤكدة.

مثال:

وثيقة( استيراد (<http://example.org/fuzzy/membershipfunction>) مجموعة ( لكل ?x ?y( cheapFlight(?x ?y) :- affordableFlight(?x ?y) ) / 0.4 لكل ?x ?y(affordableFlight(?x ?y)) / left_shoulder0k4k1k3k(?y) ) )

حرير

يمكن استخدام RIF-SILK [ 13 ] لنمذجة المنطق الافتراضي . وهي تعتمد على برمجة المنطق التصريحي ذات الدلالات الراسخة . كما تتضمن RIF-SILK عددًا من الميزات الأخرى الموجودة في لغات برمجة المنطق التصريحي الأكثر تطورًا مثل SILK. [ 14 ]

مثال

وثيقة { Prefix(foaf http://xmlns.com/foaf/0.1/) Prefix(pub http://example.org/pub#) Prefix(silk http://TBD/silk#) مجموعة { (* r1 *) لكل ؟a1 ؟a2 ؟ورقة (?a1[foaf:knows->?a2] :- ?paper # pub:Publication[pub:author->?a1, pub:author->?a2}]) (* r2 *) لكل ?a1 ?a2 (neg ?a1[foaf:knows->?a2] :- ?a1[hasNeverMet->?a2]) silk:overrides(r2, r1) } }

انظر أيضاً

مراجع