Rule Interchange Format
رول انٹرچینج فارمیٹ (آر آئی ایف) ایک ڈبلیو 3 سی سفارش ہے۔ آر آئی ایف (بنیادی طور پر) ایس پی اے آر کیو ایل، آر ڈی ایف اور او ڈبلیو ایل کے ساتھ سیمنٹک ویب کے بنیادی ڈھانچے کا حصہ ہے۔ اگرچہ اصل میں بہت سے لوگوں نے سیمنٹک ویب کے لیے "قواعد کی پرت" کے طور پر تصور کیا تھا، لیکن حقیقت میں آر آئی ایف کا ڈیزائن اس مشاہدے پر مبنی ہے کہ بہت سی "قواعد کی زبانیں" موجود ہیں، اور ان کے درمیان قواعد کا تبادلہ کرنے کی ضرورت ہے۔ آر آئی ایف میں تین بولیاں شامل ہیں، ایک بنیادی بولی جو بنیادی منطقی بولی (بی ایل ڈی) اور پروڈکشن رول بولی (پی آر ڈی) تک پھیلی ہوئی ہے۔ آر آئی ایف ورکنگ گروپ کو 2005 کے آخر میں چارٹر کیا گیا تھا۔ اس کے اہداف میں تجارتی قواعد کے بازار کے اراکین کو راغب کرنا تھا۔ ورکنگ گروپ نے 50 سے زیادہ اراکین اور صنعت سے تعلق رکھنے والی دو نشستوں، آئی ایل او جی کے کرسچن ڈی سینٹ میری اور آئی بی ایم کے کرس ویلٹی کے ساتھ آغاز کیا۔ موجودہ قاعدہ نظاموں کے درمیان تبادلے کی شکل تیار کرنے کے لیے چارٹر 2005 کے موسم بہار میں ایک ورکشاپ سے متاثر تھا جس میں یہ واضح تھا کہ ایک قاعدہ زبان تمام دلچسپی رکھنے والے فریقوں کی ضروریات کو پورا نہیں کرے گی (ڈاکٹر ویلٹی نے ورکشاپ کے نتائج کو نیش ایکولبریئم کے طور پر بیان کیا)۔ آر آئی ایف 22 جون 2010 کو ڈبلیو 3 سی کی سفارش بن گئی۔ رولز اینڈ رول سسٹمز ایک قاعدہ شاید کمپیوٹر سائنس کے آسان ترین تصورات میں سے ایک ہے: یہ ایک آئی ایف-تھین کنسٹرکٹ ہے۔ اگر کوئی شرط (آئی ایف حصہ) جو کسی ڈیٹا سیٹ میں قابل جانچ ہے، برقرار رہتی ہے، تو نتیجہ (تیسرا حصہ) پر کارروائی کی جاتی ہے۔ منطق میں اپنی جڑوں سے کسی حد تک اخذ کرتے ہوئے، قاعدہ نظام پیش گوئیوں کے تصور کا استعمال کرتے ہیں جو کسی ڈیٹا آبجیکٹ یا آبجیکٹ کو رکھتے ہیں یا نہیں۔ مثال کے طور پر، یہ حقیقت کہ دو افراد شادی شدہ ہیں، پیش گوئیوں کے ساتھ پیش کی جا سکتی ہے: شادی (لیزا، جان) شادی ایک پیش گوئی ہے جسے لیزا اور جان کے درمیان ہونے کے لیے کہا جا سکتا ہے۔ متغیرات کے تصور کو شامل کرتے ہوئے، ایک قاعدہ کچھ اس طرح ہو سکتا ہے: اگر شادی شدہ (؟ x,? y) پھر محبت کرتا ہے (? x,? y) ہم توقع کریں گے کہ؟ x اور؟ y کے ہر جوڑے کے لیے (مثال کے طور پر۔ لیزا اور جان) جس کے لیے شادی کی پیش گوئی ہے، کچھ کمپیوٹر سسٹم جو اس اصول کو سمجھ سکتا ہے یہ نتیجہ اخذ کرے گا کہ محبت کی پیش گوئی اس جوڑے کے لیے بھی ہے۔ قواعد علم کو انکوڈنگ کرنے کا ایک آسان طریقہ ہے، اور فرسٹ آرڈر منطق کی ایک سخت آسان کاری ہے، جس کے لیے انفرینس انجنوں کو لاگو کرنا نسبتا آسان ہے جو حالات پر کارروائی کر سکتے ہیں اور صحیح نتائج اخذ کر سکتے ہیں۔ قاعدے کا نظام ایک مخصوص نحو اور قواعد کے الفاظ کا نفاذ ہے، جو اوپر بیان کردہ سادہ تصور کو بڑھا سکتا ہے جس میں وجود کی مقدار، اختلاط، منطقی امتزاج، نفی، افعال، غیر یکسانیت، اور بہت سی دیگر خصوصیات شامل ہیں۔ اصول کے نظام کو 1970 کی دہائی کے وسط سے نافذ اور مطالعہ کیا گیا ہے اور 1980 کی دہائی میں نام نہاد ماہر نظام کے عروج کے دوران اس میں نمایاں اضافہ دیکھا گیا۔ معیاری آر آئی ایف بولیاں معیاری آر آئی ایف بولیاں کور، بی ایل ڈی اور پی آر ڈی ہیں۔ یہ بولیاں بلٹ ان افعال کے ساتھ ڈیٹا ٹائپ کی ایک وسیع فہرست پر انحصار کرتی ہیں اور ان ڈیٹا ٹائپ پر پیش گوئی کرتی ہیں۔ مختلف آر آئی ایف بولیوں کے تعلقات مندرجہ ذیل وین خاکہ میں دکھائے گئے ہیں۔ ڈی ٹی بی ڈیٹا ٹائپز اینڈ بلٹ انس (ڈی ٹی بی) ڈیٹا ٹائپز، بلٹ ان فنکشنز اور بلٹ ان پیشن گوئی کی فہرست کی وضاحت کرتا ہے جس کی توقع آر آئی ایف بولیوں کے ذریعہ کی جاتی ہے۔ کچھ ڈیٹا ٹائپز کو ایکس ایم ایل اسکیما ڈیٹا ٹائپز، ایکس پیتھ فنکشنز اور آر ڈی ایف: پلین لیٹرل فنکشنز سے ڈھالا گیا ہے۔ بنیادی بولی زیادہ تر حکمرانی والی بولی کے ایک مشترکہ ذیلی سیٹ پر مشتمل ہے۔ آر آئی ایف-کور آر آئی ایف-بی ایل ڈی اور آر آئی ایف-پی آر ڈی دونوں کا ذیلی مجموعہ ہے۔ منطق بولیوں کے لیے ایف ایل ڈی فریم ورک (ایف ایل ڈی) منطق آر آئی ایف بولیوں کے نحو اور الفاظ کی وضاحت کے لیے میکانزم کی وضاحت کرتا ہے، بشمول آر آئی ایف-بی ایل ڈی اور آر آئی ایف-کور، لیکن آر آئی ایف-پی آر ڈی نہیں جو منطق پر مبنی آر آئی ایف بولی نہیں ہے۔ بی ایل ڈی بنیادی منطق ڈائیلیکٹ (بی ایل ڈی) بنیادی بولی میں ایسی خصوصیات کا اضافہ کرتی ہے جو براہ راست دستیاب نہیں ہیں جیسے: منطق کے افعال، اس وقت کے حصے میں مساوات اور نامزد دلائل۔ آر آئی ایف بی ایل ڈی مثبت ڈیٹالاگ سے مطابقت رکھتا ہے، یعنی فنکشن یا نفی کے بغیر منطق پروگرام۔ آر آئی ایف-بی ایل ڈی میں ایک ماڈل تھیوریٹک سیمنٹکس ہے۔ آر آئی ایف بی ایل ڈی کا فریم نحو ایف-منطق پر مبنی ہے، لیکن آر آئی ایف بی ایل ڈی میں ایف-منطق کی غیر یکسوئی استدلال کی خصوصیات نہیں ہیں۔ پی آر ڈی پروڈکشن رولز ڈائیلیکٹ (پی آر ڈی) کو ماڈل پروڈکشن رولز کے لیے استعمال کیا جا سکتا ہے۔ وہ خصوصیات جو خاص طور پر پی آر ڈی میں ہیں لیکن بی ایل ڈی میں نہیں ہیں ان میں حقائق کی نفی اور واپسی شامل ہے (اس طرح، پی آر ڈی یکسوئی نہیں ہے)۔ پی آر ڈی کے قوانین ترتیب پر منحصر ہوتے ہیں، اس لیے تنازعات کے حل کی حکمت عملی کی ضرورت ہوتی ہے جب متعدد قوانین کو استعمال کیا جا سکتا ہے۔ پی آر ڈی تفصیلات فارورڈ چیننگ استدلال کی بنیاد پر ایسی ہی ایک حل کی حکمت عملی کی وضاحت کرتی ہیں۔ آر آئی ایف-پی آر ڈی میں آپریشنل سیمنٹکس ہوتے ہیں، جبکہ کنڈیشن فارمولوں میں ماڈل تھیوریٹک سیمنٹکس بھی ہوتے ہیں۔ مثال (مثال 1.2 انچ) پریفیکس (سابقہ <http://example.com/2008/prd1 #>) (* سابقہ: قاعدہ 1 *) فارال؟ کسٹمر؟ خریداری YTD (اگر اور (؟ customer#ex: کسٹمر؟ کسٹمر [سابقہ: خریداری YTD->؟ خریداری YTD] بیرونی (سابقہ: عددی-زیادہ سے زیادہ (؟ خریداری YTD 5000))) پھر کرو (کسٹمر [سابقہ: اسٹیٹس-> "گولڈ") میں ترمیم کریں) غیر معیاری RIF بولیاں کئی دیگر RIF بولیاں موجود ہیں۔ ان میں سے کسی کی بھی ڈبلیو 3 سی نے باضابطہ طور پر توثیق نہیں کی ہے اور وہ آر آئی ایف کی تفصیلات کا حصہ نہیں ہیں۔ سی اے ایس پی ڈی بنیادی جوابی سیٹ پروگرامنگ ڈائیلیکٹ (سی اے ایس پی ڈی) جوابی سیٹ پروگرامنگ پر مبنی ہے، یعنی اعلانیہ منطق پروگرامنگ جو جوابی سیٹ سیمنٹکس (مستحکم ماڈل سیمنٹکس) پر مبنی ہے۔ مثال: دستاویز (سابقہ (سابقہ <http://example.com/concepts #>) گروپ (فارال؟ S (سابقہ: خوف زدہ (؟ S سابقہ: ریاضی):-اور (؟ S#ex: طالب علم (ناف نیگ سابقہ: خوف زدہ (؟ S سابقہ: ریاضی))) فارال؟ S (نیگ سابقہ: خوف زدہ (؟ ایس سابقہ: ریاضی):-اور (؟ S#ex: طالب علم؟ S [سابقہ: میجر-> سابقہ: ریاضی])) URD غیر یقینی اصول ڈائیلیکٹ (URD) غیر یقینی علم کی براہ راست نمائندگی کی حمایت کرتا ہے۔ مثال: دستاویز (درآمد (<http://example.org/fuzzy/membershipfunction>) گروپ (فارال؟ x؟ y (سستی فلائٹ (؟ x? y):-سستی فلائٹ (؟ x? y))/0.4 فارال؟ x? y (سستی فلائٹ (؟ x? y))/لیفٹ _ شولڈر0k4k1k3k (? y))) SILK RIF-SILK کو ڈیفالٹ منطق کے ماڈل کے لیے استعمال کیا جا سکتا ہے۔ یہ اچھی طرح سے قائم الفاظ کے ساتھ اعلانیہ منطق پروگرامنگ پر مبنی ہے۔ آر آئی ایف-سلک میں کئی دیگر خصوصیات بھی شامل ہیں جو سلک جیسی زیادہ نفیس اعلانیہ منطق پروگرامنگ زبانوں میں موجود ہیں۔ مثال دستاویز {سابقہ (جھاگ http://xmlns.com/foaf/0.1) سابقہ (پب http://example.org/pub #) سابقہ (ریشم HTTP:// TBD/ریشم #) گروپ {(* r1 *) فارال؟ a1? a2? کاغذ (? a1 [جھاگ: جانتا ہے-> a2]:-? کاغذ #پب: اشاعت [پب: مصنف-> a1, پب: مصنف-> a2]) (* r2 *) فارال؟ a1? a2 (نیگ؟ a1 [جھاگ: جانتا ہے->? a2]:-? a1 [NeverMet->? a2] ہے ریشم: اوورریڈز (r2, حوالہ جات بیرونی روابط آر آئی ایف ورکنگ گروپ آر آئی ایف ایف ایف اے کیو سیمنٹک ویب نالج کی نمائندگی کی زبانیں