Rule Interchange Format
નિયમ ઇન્ટરચેન્જ ફોર્મેટ (RIF) એ W3C ભલામણ છે. RIF એ (મુખ્યત્વે) SPARQL, RDF અને OWL સાથે સિમેન્ટીક વેબ માટેના માળખાગત સુવિધાનો એક ભાગ છે. ઘણા લોકો દ્વારા સિમેન્ટીક વેબ માટે "નિયમોના સ્તર" તરીકે મૂળ કલ્પના કરવામાં આવી હોવા છતાં, વાસ્તવમાં આરઆઇએફની રચના એ અવલોકન પર આધારિત છે કે અસ્તિત્વમાં ઘણી "નિયમોની ભાષાઓ" છે, અને તેમની વચ્ચે નિયમોનું આદાનપ્રદાન કરવાની જરૂર છે. આર. આઇ. એફ. માં ત્રણ બોલીઓનો સમાવેશ થાય છે, એક મુખ્ય બોલી જે મૂળભૂત તર્ક બોલી (બી. એલ. ડી.) અને ઉત્પાદન નિયમ બોલી (પી. આર. ડી.) માં વિસ્તૃત છે. ઇતિહાસ આરઆઇએફ કાર્યકારી જૂથ 2005 ના અંતમાં ચાર્ટર્ડ થયું હતું. તેના લક્ષ્યાંકોમાં વ્યાપારી નિયમોના બજારના સભ્યોને આકર્ષવાનો સમાવેશ થતો હતો. કાર્યકારી જૂથની શરૂઆત 50 થી વધુ સભ્યો અને ઉદ્યોગમાંથી બે ચેર, આઇએલઓજીના ક્રિશ્ચિયન ડી સેઇન્ટ મેરી અને આઇબીએમના ક્રિસ વેલ્ટી સાથે થઈ હતી. હાલની નિયમ પ્રણાલીઓ વચ્ચે આદાનપ્રદાન સ્વરૂપ વિકસાવવા માટેનું ચાર્ટર 2005ની વસંતઋતુમાં એક વર્કશોપ દ્વારા પ્રભાવિત હતું જેમાં તે સ્પષ્ટ હતું કે એક નિયમ ભાષા તમામ રસ ધરાવતા પક્ષોની જરૂરિયાતો પૂરી કરશે નહીં (ડૉ. વેલ્ટીએ વર્કશોપના પરિણામને નેશ ઇક્વિલિબ્રિયમ તરીકે વર્ણવ્યું હતું). આરઆઇએફ 22 જૂન, 2010ના રોજ ડબલ્યુ3સી ભલામણ બની હતી. નિયમો અને નિયમ પ્રણાલીઓ એક નિયમ કદાચ કોમ્પ્યુટર વિજ્ઞાનની સૌથી સરળ કલ્પનાઓમાંની એક છેઃ તે એક IF-ThEN રચના છે. જો કોઈ ડેટાસેટમાં ચકાસી શકાય તેવી કોઈ શરત (IF ભાગ) હોય, તો નિષ્કર્ષ (ThEN ભાગ) પર પ્રક્રિયા કરવામાં આવે છે. તર્કમાં તેના મૂળમાંથી કંઈક અંશે વ્યુત્પન્ન, નિયમ પ્રણાલીઓ આગાહીઓની કલ્પનાનો ઉપયોગ કરે છે જે અમુક ડેટા ઓબ્જેક્ટ અથવા ઓબ્જેક્ટ્સ ધરાવે છે કે નહીં. ઉદાહરણ તરીકે, બે લોકો પરિણીત છે તે હકીકતને આગાહીઓ સાથે રજૂ કરી શકાય છેઃ લગ્ન (લિસા, જ્હોન) લગ્ન એ એક આગાહી છે જે લિસા અને જ્હોન વચ્ચે હોવાનું કહી શકાય. ચલની કલ્પનાને ઉમેરતા, એક નિયમ કંઈક આવો હોઈ શકે છેઃ જો લગ્ન (? x,? y) પછી પ્રેમ (? x,? y) આપણે અપેક્ષા રાખીએ છીએ કે x અને y ની દરેક જોડી માટે (દા. ત.) લિસા અને જ્હોન) જેના માટે મેરીડ પ્રેડિકેટ ધરાવે છે, કેટલીક કમ્પ્યુટર સિસ્ટમ કે જે આ નિયમને સમજી શકે છે તે તારણ કાઢે છે કે લવ્સ પ્રેડિકેટ તે જોડી માટે પણ લાગુ પડે છે. નિયમો એ જ્ઞાનને એન્કોડિંગ કરવાની એક સરળ રીત છે, અને તે પ્રથમ ક્રમના તર્કનું સખત સરળીકરણ છે, જેના માટે શરતો પર પ્રક્રિયા કરી શકે અને યોગ્ય તારણો કાઢી શકે તેવા અનુમાન એન્જિનનો અમલ કરવો પ્રમાણમાં સરળ છે. નિયમ પ્રણાલી એ ચોક્કસ વાક્યરચના અને નિયમોના શબ્દાર્થનું અમલીકરણ છે, જે ઉપર વર્ણવેલ સરળ કલ્પનાને વિસ્તારી શકે છે જેમાં અસ્તિત્વની માત્રા, વિચ્છેદ, તાર્કિક જોડાણ, નિષેધ, કાર્યો, બિન એકવિધતા અને અન્ય ઘણી વિશેષતાઓનો સમાવેશ થાય છે. 1970ના દાયકાના મધ્યથી નિયમ પ્રણાલીઓનો અમલ અને અભ્યાસ કરવામાં આવ્યો છે અને 1980ના દાયકામાં કહેવાતી નિષ્ણાત પ્રણાલીઓની ઊંચાઈ દરમિયાન તેમાં નોંધપાત્ર વધારો જોવા મળ્યો હતો. પ્રમાણભૂત RIF બોલીઓ પ્રમાણભૂત RIF બોલીઓ કોર, BLD અને PRD છે. આ બોલીઓ બિલ્ટ-ઇન ફંક્શન્સ અને તે ડેટા પ્રકારો પર આગાહીઓ સાથે ડેટા પ્રકારોની વ્યાપક સૂચિ પર આધાર રાખે છે. વિવિધ આર. આઇ. એફ. બોલીઓના સંબંધો નીચેના વેન આકૃતિમાં દર્શાવવામાં આવ્યા છે. ડી. ટી. બી. ડેટાટાઇપ્સ અને બિલ્ટ-ઇન્સ (ડી. ટી. બી.) ડેટાટાઇપ્સ, બિલ્ટ-ઇન ફંક્શન્સ અને બિલ્ટ-ઇન પ્રેડિકેટ્સની સૂચિને સ્પષ્ટ કરે છે જે આર. આઈ. એફ. બોલીઓ દ્વારા સમર્થિત હોવાની અપેક્ષા છે. કેટલાક ડેટા પ્રકારો XML સ્કીમા ડેટા પ્રકારો, XPath વિધેયો અને rdf: પ્લેનલિટેરલ વિધેયોમાંથી સ્વીકારવામાં આવ્યા છે. કોર બોલીમાં મોટાભાગની સામાન્ય બોલીનો સામાન્ય ઉપગણનો સમાવેશ થાય છે. આરઆઇએફ-કોર એ આરઆઇએફ-બીએલડી અને આરઆઇએફ-પીઆરડી બંનેનો સબસેટ છે. એફએલડી ફ્રેમવર્ક ફોર લોજિક ડાયલેક્ટ્સ (એફએલડી) તર્કશાસ્ત્ર આરઆઇએફ બોલીઓના વાક્યરચના અને શબ્દાર્થને સ્પષ્ટ કરવા માટેની પદ્ધતિઓનું વર્ણન કરે છે, જેમાં આરઆઇએફ-બીએલડી અને આરઆઇએફ-કોરનો સમાવેશ થાય છે, પરંતુ આરઆઇએફ-પીઆરડી નહીં જે તર્કશાસ્ત્ર આધારિત આરઆઇએફ બોલી નથી. બી. એલ. ડી. મૂળભૂત તર્ક બોલી (બી. એલ. ડી.) મુખ્ય બોલીમાં એવી સુવિધાઓ ઉમેરે છે જે સીધી રીતે ઉપલબ્ધ નથી જેમ કેઃ તર્ક કાર્યો, તે સમયના ભાગમાં સમાનતા અને નામવાળી દલીલો. આરઆઇએફ બીએલડી હકારાત્મક ડેટાલોગને અનુરૂપ છે, એટલે કે, કાર્યો અથવા નકારાત્મકતા વિનાના તર્ક કાર્યક્રમો. આર. આઈ. એફ.-બી. એલ. ડી. એક આદર્શ-સૈદ્ધાંતિક શબ્દાર્થ ધરાવે છે. આરઆઇએફ બીએલડીનું ફ્રેમ વાક્યરચના એફ-લોજિક પર આધારિત છે, પરંતુ આરઆઇએફ બીએલડીમાં એફ-લોજિકની બિન-એકવિધ તર્ક લાક્ષણિકતાઓ નથી. પી. આર. ડી. ઉત્પાદન નિયમોની બોલી (પી. આર. ડી.) નો ઉપયોગ ઉત્પાદનના નિયમોનું મોડલ બનાવવા માટે કરી શકાય છે. જે લાક્ષણિકતાઓ નોંધપાત્ર રીતે પી. આર. ડી. માં છે પરંતુ બી. એલ. ડી. માં નથી તેમાં તથ્યોની નકારાત્મકતા અને પીછેહઠનો સમાવેશ થાય છે (આમ, પી. આર. ડી. એકવિધ નથી). પી. આર. ડી. નિયમો ક્રમ આધારિત હોય છે, તેથી જ્યારે બહુવિધ નિયમો અમલમાં મૂકી શકાય ત્યારે સંઘર્ષ નિવારણ વ્યૂહરચનાઓની જરૂર પડે છે. પી. આર. ડી. સ્પષ્ટીકરણ ફોરવર્ડ ચેઇનિંગ તર્કના આધારે આવી એક રિઝોલ્યુશન વ્યૂહરચનાને વ્યાખ્યાયિત કરે છે. આર. આઈ. એફ.-પી. આર. ડી. માં ઓપરેશનલ સિમેન્ટિક્સ હોય છે, જ્યારે કન્ડિશન ફોર્મ્યુલાઓમાં મોડેલ-સૈદ્ધાંતિક સિમેન્ટિક્સ પણ હોય છે. ઉદાહરણ (ઉદાહરણ 1.2 ઇંચ) ઉપસર્ગ (ઉદા. <http://example.com/2008/prd1 #>) (* ઉદા. નિયમ 1 *) ફોરલ? ગ્રાહક? ખરીદીઓYTD (જો અને (? customer#ex: ગ્રાહક? ગ્રાહક [ઉદા.: ખરીદીઓYTD->? ખરીદીઓYTD] બાહ્ય (પૂર્વઃ આંકડાકીય-વધુ-કરતા (? ખરીદીઓYTD 5000))) પછી કરો (ગ્રાહક [ઉદા. સ્થિતિ-> "સોનું")) બિન-માનક RIF બોલીઓ કેટલીક અન્ય RIF બોલીઓ અસ્તિત્વ ધરાવે છે. તેમાંથી કોઈ પણ W3C દ્વારા સત્તાવાર રીતે સમર્થન પામતું નથી અને તેઓ RIF સ્પષ્ટીકરણનો ભાગ નથી. સી. એ. એસ. પી. ડી. મુખ્ય જવાબ સમૂહ પ્રોગ્રામિંગ બોલી (સી. એ. એસ. પી. ડી.) જવાબ સમૂહ પ્રોગ્રામિંગ પર આધારિત છે, એટલે કે, જવાબ સમૂહ શબ્દાર્થ (સ્થિર મોડેલ શબ્દાર્થ) પર આધારિત ઘોષણાત્મક તર્ક પ્રોગ્રામિંગ. ઉદાહરણ તરીકેઃ ડોક્યુમેન્ટ (ઉપસર્ગ (ex <http://example.com/concepts #>) ગ્રૂપ (ફોરલ એસ (ex: fear (? S ex: math):-અને (? S#ex: વિદ્યાર્થી (Naf Neg ex: fear (? S ex: math))) ફોરલ એસ (નેગ એક્સઃ fear (? S ex: math):-અને (? S#ex: વિદ્યાર્થી એસ [ex: મેજર-> ex: math])) યુઆરડી અનિશ્ચિતતા નિયમ બોલી (યુઆરડી) અનિશ્ચિત જ્ઞાનની સીધી રજૂઆતને ટેકો આપે છે. ઉદાહરણ તરીકેઃ દસ્તાવેજ (આયાત (<http://example.org/fuzzy/membershipfunction>) જૂથ (ફોરલ xy (સસ્તી ફ્લાઈટ (? xy):-સસ્તું ફ્લાઈટ (? xy))/0.40 ફોરલ xy (સસ્તું ફ્લાઈટ (? xy))/લેફ્ટ _ શોલ્ડર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 [નેવરમેટ->? a2]) સિલ્કઃ ઓવરરાઈડ્સ (r2, સંદર્ભો બાહ્ય કડીઓ RIF કાર્યકારી જૂથ RIF FAQ અર્થપૂર્ણ વેબ જ્ઞાન પ્રતિનિધિત્વ ભાષાઓ