Rule Interchange Format
ரூல் இன்டர்சேஞ்ச் ஃபார்மேட் (RIF) ஒரு W3C பரிந்துரையாகும். SPARQL, RDF மற்றும் OWL ஆகியவற்றுடன் (முக்கியமாக) சொற்பொருள் வலையின் உள்கட்டமைப்பின் ஒரு பகுதியாக RIF உள்ளது. முதலில் சொற்பொருள் வலையின் "விதிகள் அடுக்கு" என்று பலரால் கற்பனை செய்யப்பட்டாலும், உண்மையில் RIF இன் வடிவமைப்பு பல "விதிகள் மொழிகள்" உள்ளன என்ற அவதானிப்பை அடிப்படையாகக் கொண்டது, மேலும் அவற்றுக்கிடையே விதிகளை பரிமாறிக்கொள்வது அவசியம். ஆர்ஐஎஃப் மூன்று பேச்சுவழக்குகளை உள்ளடக்கியது, ஒரு முக்கிய பேச்சுவழக்கு இது ஒரு அடிப்படை தர்க்க பேச்சுவழக்கு (பிஎல்டி) மற்றும் உற்பத்தி விதி பேச்சுவழக்கு (பிஆர்டி) ஆக நீட்டிக்கப்பட்டுள்ளது. ஆர்ஐஎஃப் பணிக்குழு 2005 ஆம் ஆண்டின் பிற்பகுதியில் பட்டயப்படுத்தப்பட்டது. வணிக விதிகள் சந்தையின் உறுப்பினர்களை ஈர்ப்பது அதன் குறிக்கோள்களில் ஒன்றாகும். ஐஎல்ஓஜியின் கிறிஸ்டியன் டி செயின்ட் மேரி மற்றும் ஐபிஎம் இன் கிறிஸ் வெல்டி ஆகிய 50 க்கும் மேற்பட்ட உறுப்பினர்கள் மற்றும் தொழில்துறையைச் சேர்ந்த இரண்டு தலைவர்களுடன் இந்தக் குழு தொடங்கியது. தற்போதுள்ள விதி அமைப்புகளுக்கு இடையே ஒரு பரிமாற்ற வடிவமைப்பை உருவாக்குவதற்கான சாசனம், 2005 ஆம் ஆண்டின் வசந்த காலத்தில் ஒரு பட்டறையால் பாதிக்கப்பட்டது, அதில் ஒரு விதி மொழி ஆர்வமுள்ள அனைத்து தரப்பினரின் தேவைகளையும் பூர்த்தி செய்யாது என்பது தெளிவாக இருந்தது (டாக்டர் வெல்டி பட்டறையின் முடிவை நாஷ் சமநிலை என்று விவரித்தார்). ஜூன் 22,2010 அன்று RIF ஒரு W3C பரிந்துரையாக மாறியது. விதிகள் மற்றும் விதி அமைப்புகள் ஒரு விதி என்பது கணினி அறிவியலில் எளிமையான கருத்துக்களில் ஒன்றாகும்ஃ இது ஒரு ஐ. எஃப்-தின் கட்டமைப்பாகும். சில தரவுத்தொகுப்பில் சரிபார்க்கக்கூடிய சில நிபந்தனைகள் (IF பகுதி) இருந்தால், முடிவு (ThEN பகுதி) செயலாக்கப்படுகிறது. தர்க்கத்தில் அதன் வேர்களிலிருந்து ஓரளவு பெறப்பட்ட, விதி அமைப்புகள் சில தரவு பொருள் அல்லது பொருள்களை வைத்திருக்கின்றனவா இல்லையா என்ற கணிப்புகளின் கருத்தைப் பயன்படுத்துகின்றன. எடுத்துக்காட்டாக, இரண்டு பேர் திருமணமானவர்கள் என்ற உண்மையை பின்வரும் கணிப்புகளுடன் குறிப்பிடலாம்ஃ திருமணம் (லிசா, ஜான்) திருமணம் என்பது லிசாவிற்கும் ஜானுக்கும் இடையில் இருப்பதாகக் கூறக்கூடிய ஒரு விதி. மாறிகள் பற்றிய கருத்தைச் சேர்க்கும்போது, ஒரு விதி பின்வருவனவாக இருக்கலாம்ஃ திருமணம் ஆகிவிட்டால் (? x,? y) பின்னர் காதலிக்கிறோம் (? x,? y) x மற்றும் y இன் ஒவ்வொரு ஜோடிக்கும் (எ. கா. லிசா மற்றும் ஜான்) இதற்கு MARRIED முன்கணிப்பு வைத்திருக்கிறது, இந்த விதியைப் புரிந்துகொள்ளக்கூடிய சில கணினி அமைப்பு, லவ்ஸ் முன்கணிப்பு அந்த ஜோடிக்கும் பொருந்தும் என்று முடிவு செய்யும். விதிகள் என்பது அறிவை குறியாக்கம் செய்வதற்கான ஒரு எளிய வழியாகும், மேலும் முதல் வரிசை தர்க்கத்தின் கடுமையான எளிமைப்படுத்தலாகும், இதற்காக நிபந்தனைகளைச் செயலாக்கவும் சரியான முடிவுகளை எடுக்கவும்க்கூடிய அனுமான இயந்திரங்களை செயல்படுத்துவது ஒப்பீட்டளவில் எளிதானது. ஒரு விதி அமைப்பு என்பது ஒரு குறிப்பிட்ட தொடரியல் மற்றும் விதிகளின் சொற்பொருளை செயல்படுத்துவதாகும், இது மேலே விவரிக்கப்பட்ட எளிய கருத்தை இருத்தலியல் அளவீடு, விலகல், தர்க்கரீதியான இணைப்பு, மறுப்பு, செயல்பாடுகள், மோனோடோனிசிட்டி மற்றும் பல அம்சங்களை உள்ளடக்கியதாக விரிவுபடுத்தலாம். 1970 களின் நடுப்பகுதியில் இருந்து விதி அமைப்புகள் செயல்படுத்தப்பட்டு ஆய்வு செய்யப்பட்டுள்ளன, மேலும் 1980 களில் நிபுணத்துவ அமைப்புகள் என்று அழைக்கப்படும் உச்சத்தில் குறிப்பிடத்தக்க உந்துதலைக் கண்டன. நிலையான ஆர்ஐஎஃப் பேச்சுவழக்குகள் நிலையான ஆர்ஐஎஃப் பேச்சுவழக்குகள் கோர், பிஎல்டி மற்றும் பிஆர்டி ஆகும். இந்த பேச்சுவழக்குகள் உள்ளமைக்கப்பட்ட செயல்பாடுகள் மற்றும் அந்த தரவு வகைகளின் முன்கணிப்புகளுடன் தரவு வகைகளின் விரிவான பட்டியலைப் பொறுத்தது. பல்வேறு RIF பேச்சுவழக்குகளின் உறவுகள் பின்வரும் வென் வரைபடத்தில் காட்டப்பட்டுள்ளன. டிடிபி தரவுத்தொகுப்புகள் மற்றும் உள்ளமைக்கப்பட்ட உள்ளீடுகள் (டிடிபி) ஆர்ஐஎஃப் பேச்சுவழக்குகளால் ஆதரிக்கப்படும் என்று எதிர்பார்க்கப்படும் தரவுத்தொகுப்புகள், உள்ளமைக்கப்பட்ட செயல்பாடுகள் மற்றும் உள்ளமைக்கப்பட்ட கணிப்புகளின் பட்டியலைக் குறிப்பிடுகிறது. சில தரவுத்தொகுப்புகள் எக்ஸ்எம்எல் ஸ்கீமா தரவுத்தொகுப்புகள், எக்ஸ்பாத் செயல்பாடுகள் மற்றும் ஆர். டி. எஃப்ஃ ப்ளைன்லிட்டரல் செயல்பாடுகளிலிருந்து தழுவிக் கொள்ளப்படுகின்றன. கோர் பேச்சுவழக்கு பெரும்பாலான விதி பேச்சுவழக்கின் பொதுவான துணைக்குழுவைக் கொண்டுள்ளது. RIF-கோர் என்பது RIF-BLD மற்றும் RIF-PRD ஆகிய இரண்டின் துணைக்குழுவாகும். தர்க்க பேச்சுவழக்குகளுக்கான FLD கட்டமைப்பு (FLD) தர்க்க RIF பேச்சுவழக்குகளின் தொடரியல் மற்றும் சொற்பொருள்களைக் குறிப்பிடுவதற்கான வழிமுறைகளை விவரிக்கிறது, இதில் RIF-BLD மற்றும் RIF-கோர் அடங்கும், ஆனால் தர்க்க அடிப்படையிலான RIF பேச்சுவழக்கு அல்லாத RIF-PRD அல்ல. BLD அடிப்படை தர்க்க பேச்சுவழக்கு (BLD) நேரடியாக கிடைக்காத முக்கிய பேச்சுவழக்கில் அம்சங்களைச் சேர்க்கிறதுஃ தர்க்க செயல்பாடுகள், அப்போதைய பகுதியில் சமத்துவம் மற்றும் பெயரிடப்பட்ட வாதங்கள். RIF BLD நேர்மறை தரவுத்தொகுப்புகளுடன் ஒத்திருக்கிறது, அதாவது, செயல்பாடுகள் அல்லது மறுப்புகள் இல்லாத தர்க்க நிரல்கள். RIF-BLD ஒரு மாதிரி-கோட்பாட்டு சொற்பொருளைக் கொண்டுள்ளது. ஆர்ஐஎஃப் பிஎல்டி-யின் பிரேம் தொடரியல் எஃப்-லாஜிக்கை அடிப்படையாகக் கொண்டது, ஆனால் ஆர்ஐஎஃப் பிஎல்டி எஃப்-லாஜிக்கின் மோனோடோனிக் அல்லாத பகுத்தறிவு அம்சங்களைக் கொண்டிருக்கவில்லை. பிஆர்டி உற்பத்தி விதிகள் பேச்சுவழக்கை (பிஆர்டி) மாதிரி உற்பத்தி விதிகளுக்கு பயன்படுத்தலாம். குறிப்பாக பி. ஆர். டி. யில் உள்ள ஆனால் பி. எல். டி. யில் இல்லாத அம்சங்களில் உண்மைகளை மறுப்பது மற்றும் திரும்பப் பெறுவது அடங்கும் (எனவே, பி. ஆர். டி மோனோடோனிக் அல்ல). பிஆர்டி விதிகள் ஒழுங்கை சார்ந்தவை, எனவே பல விதிகளை செயல்படுத்தும்போது மோதல் தீர்க்கும் உத்திகள் தேவைப்படுகின்றன. பிஆர்டி விவரக்குறிப்பு முன்னோக்கி சங்கிலி பகுத்தறிவின் அடிப்படையில் அத்தகைய ஒரு தீர்மான மூலோபாயத்தை வரையறுக்கிறது. RIF-PRD ஒரு செயல்பாட்டு சொற்பொருளைக் கொண்டுள்ளது, அதே நேரத்தில் நிபந்தனை சூத்திரங்களும் ஒரு மாதிரி-கோட்பாட்டு சொற்பொருளைக் கொண்டுள்ளன. எடுத்துக்காட்டு (எடுத்துக்காட்டு 1.2 அங்குலம்) முன்னொட்டு (ex <http://example.com/2008/prd1 #>) (* ex: விதிமுறை _ 1 *) ஒட்டுமொத்தமாக? வாடிக்கையாளர்? வாங்குகிறது. YTD (என்றால் மற்றும் (? customer#ex: வாடிக்கையாளர்? வாடிக்கையாளர் [ex: கொள்முதல். YTD->? கொள்முதல். YTD] வெளிப்புறம் (முன்னுரைஃ எண்-பெரிய-விட (? கொள்முதல். YTD 5000))) பின்னர் செய்யுங்கள் (மாற்றவும் (? வாடிக்கையாளர் [ex: நிலை-> "தங்கம்"))) தரமற்ற RIF பேச்சுவழக்குகள் பல பிற RIF பேச்சுவழக்குகள் உள்ளன. அவற்றில் எதுவும் W3C ஆல் அதிகாரப்பூர்வமாக அங்கீகரிக்கப்படவில்லை, மேலும் அவை RIF விவரக்குறிப்பின் ஒரு பகுதியாக இல்லை. சி. ஏ. எஸ். பி. டி. கோர் அன்சர் செட் புரோகிராமிங் டயலெக்ட் (சி. ஏ. எஸ். பி. டி) என்பது பதில் தொகுப்பு நிரலாக்கத்தை அடிப்படையாகக் கொண்டது, அதாவது, பதில் தொகுப்பு சொற்பொருள் (நிலையான மாதிரி சொற்பொருள்) அடிப்படையிலான அறிவிப்பு தர்க்க நிரலாக்கம். எடுத்துக்காட்டுஃ ஆவணம் (முன்னொட்டு (ex <http://example.com/concepts #>) குழு (Forall? S (ex: fear (? S ex: math):-மற்றும் (? S#ex: மாணவர் (Naf Neg ex: fear (? S ex: math))) Forall? S (Neg ex: fear (? S ex: math):-மற்றும் (? S#ex: மாணவர்? S [ex: மேஜர்கள்-> ex: math])) URD நிச்சயமற்ற அறிவின் நேரடி பிரதிநிதித்துவத்தை ஆதரிக்கிறது. எடுத்துக்காட்டுஃ ஆவணம் (இறக்குமதி (<http://example.org/fuzzy/membershipfunction>) குழு (ஃபோரல்ல்சுவை (மலிவான ஃப்ளைட் (xy):-மலிவு ஃப்ளைட் (xy))/0.40 ஃபோரல்ல்சவை (மலிவு ஃப்ளைட் (xy))/லெஃப்ட் _ ஷோல்டர்0k4k1k3k (y)))) இயல்புநிலை தர்க்கத்தை மாதிரியாக்குவதற்கு சில்க் ரிஃப்-சில்க் பயன்படுத்தப்படலாம். இது நன்கு நிறுவப்பட்ட சொற்பொருள்களுடன் அறிவிப்பு தர்க்க நிரலாக்கத்தை அடிப்படையாகக் கொண்டது. RIF-SILK இல் 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 சொற்பொருள் வலை அறிவு பிரதிநிதித்துவ மொழிகள்