Format de schimb de reguli
Format Regula Interchange (RIF pentru scurt) este o recomandare a W3C în contextul web - ului semantic . Regulile sunt utilizate în web-ul semantic pentru a oficializa cunoștințele. Pentru ca un program să poată face față acestora, regulile trebuie descrise într-un limbaj de descriere a regulilor precis definit. Există mai multe dintre aceste limbi descriptive, iar RIF este utilizat pentru a traduce regulile din aceste limbi în altele. Standardele OWL și RDF sunt strâns legate de RIF . Comitetul de lucru pentru acest standard a fost înființat la 7 noiembrie 2005, iar formatul a fost adoptat ca standard la 22 iunie 2010.
reglementa
Computerele pot trage concluzii logice numai urmând anumite linii directoare. O regulă este o construcție cu structura „DACĂ ... ATUNCI ...” care exprimă o concluzie. Regulile logice permit acum unui computer să deducă a doua parte din prima parte a regulii. Un exemplu de regulă este „Dacă B este fratele lui A și A este o femeie, atunci A este sora lui B”. Într-un limbaj formal, această stare de fapt este exprimată cu predicate : „DACĂ frate (B, A) ȘI soție (A) ATUNCI sora (A, B)”. Cu această expresie am decis deja o singură limbă. RIF ar fi folosit acum pentru a traduce această expresie în altă limbă.
Dialecte RIF
Ca și în cazul limbilor naturale, există dialecte în limbile formale.
Basic Logic Dialectul (RIF-BLD) utilizează formule Horn . Producție Regula Dialectul (RIF-PRD) formalizează de producție norme . Core Dialectul (RIF-Core) este un subset comun al RIF-BLD și RIF-PLD.
Dovezi individuale
- ^ W3C: World Wide Web Consortium lansează Rule Interchange Format Working Group , 7 noiembrie 2005.
- ↑ Formatul de schimb de reguli (RIF) este acum un standard de recomandare W3C . 22 iunie 2010.
- ^ Dialogul logicii de bază RIF. Recomandarea W3C, 22 iunie 2010.
- ^ Dialectul regulii de producție RIF. Recomandarea W3C, 22 iunie 2010.
- ^ Dialectul de bază RIF. Recomandarea W3C, 22 iunie 2010.