Qoida almashinuvi formati - Rule Interchange Format

The Qoida almashinuvi formati (RIF) a W3C tavsiyasi. RIF - bu infratuzilmaning bir qismidir semantik veb bilan birga (asosan) SPARQL, RDF va Boyqush. Dastlab ko'pchilik tomonidan semantik veb uchun "qoidalar qatlami" sifatida tasavvur qilingan bo'lsa-da, aslida RIF dizayni mavjud bo'lgan ko'plab "qoidalar tillari" mavjudligini kuzatish asosida va ular orasida qoidalarni almashish kerak.[1]

RIF uchta shevani o'z ichiga oladi, bu asosiy mantiqiy dialekt (BLD) va ishlab chiqarish qoidalari dialektiga (PRD) kengaytirilgan asosiy dialekt.[2]

Tarix

RIF ishchi guruhi 2005 yil oxirida ustavga kirgan. Uning maqsadi tijorat qoidalari bozori a'zolarini jalb qilish edi. Ishchi guruh o'z ishini 50 dan ortiq a'zolar va sanoatdan olingan ikkita stul, Christian de Sainte Mari-dan boshladi ILOG va Kris Uelti ning IBM. O'zaro almashish formatini ishlab chiqish uchun nizom mavjud qoida tizimlari o'rtasida 2005 yil bahorida bo'lib o'tgan seminar ta'sir ko'rsatdi, unda bitta qoida tili barcha manfaatdor tomonlarning ehtiyojlariga xizmat qilmasligi aniq edi (doktor Uelti seminar natijalarini quyidagicha ta'rifladi: Nesh muvozanati[3]).

RIF a ga aylandi W3C tavsiyasi 2010 yil 22 iyunda.[4]

Qoidalar va qoida tizimlari

A qoida ehtimol bu kompyuter fanidagi eng oddiy tushunchalardan biri: bu IF - THEN konstruktsiyasi. Agar ba'zi bir ma'lumotlar bazasida tekshirilishi mumkin bo'lgan ba'zi bir holat (IF qismi) bo'lsa, unda xulosa (THEN qismi) qayta ishlanadi. Uning ildizlaridan biroz kelib chiqish mantiq, qoida tizimlarida ba'zi ma'lumotlar ob'ekti yoki ob'ektlariga tegishli yoki bo'lmagan predikatlar tushunchasi ishlatiladi. Masalan, ikki kishining turmush qurganligi predikatlar bilan ifodalanishi mumkin UYLANGAN (LISA, JON). UYLANGAN aytish mumkin bo'lgan predikatdir tutmoq o'rtasida LISA va Jon. O'zgaruvchilar tushunchasini qo'shish, qoida quyidagicha bo'lishi mumkin:

IF UYLANGAN (? X,? Y) Keyin SEVGILAR (? X,? Y)

Biz buni har bir juftlik uchun kutmoqdamiz? X va? Y (masalan.) LISA va Jon) buning uchun UYLANGAN predikat ushlab turadi, ushbu qoidani tushunadigan ba'zi bir kompyuter tizimlari shunday degan xulosaga kelishadi SEVADI bu juftlik uchun ham predikat mavjud.

Qoidalar - bu bilimlarni kodlashning oddiy usuli va ularni soddalashtirishdir birinchi darajali mantiq, buning uchun sharoitlarni qayta ishlaydigan va to'g'ri xulosalar chiqaradigan xulosa dvigatellarini amalga oshirish nisbatan oson. A qoida tizimi ma'lum bir narsani amalga oshirishdir sintaksis va semantik yuqorida tavsiflangan oddiy tushunchani kengaytirishi mumkin bo'lgan qoidalar ekzistensial miqdoriy miqdor, ajratish, mantiqiy birikma, inkor, funktsiyalari, monotonlik emas va boshqa ko'plab xususiyatlar. Qoidalar tizimlari 1970-yillarning o'rtalaridan boshlab tatbiq etildi va o'rganildi va 1980-yillarda balandlik davrida sezilarli darajada o'zlashtirildi Ekspert tizimlari.

Standart RIF dialektlari

Standart RIF dialektlari Core, BLD va PRD. Ushbu lahjalar o'rnatilgan funktsiyalarga ega bo'lgan ma'lumotlar turlarining keng ro'yxatiga va ushbu ma'lumotlarning predikatlariga bog'liq.

Turli xil RIF shevalarining aloqalari quyidagi Venn diagrammasida ko'rsatilgan.[5]

DTB

Ma'lumotlar turlari va ichki o'rnatilgan narsalar (DTB) RIF lahjalari tomonidan qo'llab-quvvatlanishi kutilayotgan ma'lumotlar turlari, o'rnatilgan funktsiyalar va o'rnatilgan predikatlar ro'yxatini belgilaydi. Ba'zi ma'lumotlar turlari moslashtirilgan XML sxemasi Ma'lumotlar turlari,[6] XPath funktsiyalari[7] va rdf: PlainLiteral funktsiyalari.[8]

Asosiy

Asosiy lahjada aksariyat qoida lahjasining umumiy qismi mavjud. RIF-Core ikkala RIF-BLD va RIF-PRD ning quyi to'plamidir.

FLD

Mantiqiy dialektlar uchun ramka (FLD) mantiqiy RIF dialektlari sintaksisini va semantikasini, shu jumladan RIF-BLD va RIF-Core-ni emas, balki RIF-PRD-ni belgilaydigan mexanizmlarni tavsiflaydi.

BLD

Basic Logic Dialect (BLD) asosiy dialektga to'g'ridan-to'g'ri mavjud bo'lmagan xususiyatlarni qo'shadi, masalan: mantiqiy funktsiyalar, o'sha qismdagi tenglik va nomlangan argumentlar. RIF BLD ijobiy ma'lumotlar kataloglariga, ya'ni funktsiyalar yoki inkorlarsiz mantiqiy dasturlarga mos keladi.

RIF-BLD-da a model-nazariy semantik.

The ramka RIF BLD sintaksisiga asoslanadi F-mantiq, lekin RIF BLD-da yo'q monotonik bo'lmagan fikrlash F-mantiqning xususiyatlari.[9]

PRD

Modellash uchun ishlab chiqarish qoidalari dialektidan (PRD) foydalanish mumkin ishlab chiqarish qoidalari. Xususan PRD-da bo'lgan, ammo BLD bo'lmagan xususiyatlarga faktlarni inkor etish va qaytarib olish kiradi (shuning uchun PRD monotonik emas). PRD qoidalari buyurtmaga bog'liq, shuning uchun nizolarni hal qilish strategiyasi bir nechta qoidalarni bekor qilishda zarur. PRD spetsifikatsiyasi shunga asoslangan qaror strategiyasidan birini belgilaydi oldinga siljish mulohaza yuritish.

RIF-PRD-da an operatsion semantika, shartli formulalar esa model-nazariy semantikaga ega.

Misol (1.2-misol. In [10])

Prefiks (ex ) (* ex: qoida_1 *) Umuman olganda? Mijoz? XaridlariYTD (agar Va (? Mijoz # oldingi: xaridor? Buyurtmachi [masalan: xaridlarYTD ->? XaridlariYTD) ] Tashqi (pred: numeric-great-than (? BuyasesYTD 5000))) Keyin Do (Modify (? Mijoz [ex: status -> "Oltin"])))

Nostandart RIF dialektlari

Boshqa bir qancha RIF lahjalari mavjud. Ularning hech biri W3C tomonidan rasmiy ravishda tasdiqlanmagan va ular RIF spetsifikatsiyasiga kirmaydi.

CASPD

Core Answer Set Programming Dialect (CASPD)[11] ga asoslangan javoblar to'plami dasturlash, ya'ni javoblar to'plami semantikasiga asoslangan deklarativ mantiqiy dasturlash (barqaror model semantikasi ).

Misol:

Hujjat (Prefiks (ex ) Guruh (Forall? S (masalan: qo'rqing (? S ex: Math): - Va (? S # ex: Talaba (Naf Neg sobiq: qo'rqaman) (? S sobiq: Matematik)))) Umuman? S (Salbiy: qo'rqaman (? S: Matematik): - Va (? S # sobiq: Talaba? S [sobiq: katta -> sobiq: Matematika))))

URD

Noaniqlik qoidalari dialekti (URD)[12] noaniq bilimlarning bevosita vakilligini qo'llab-quvvatlaydi.

Misol:

Hujjat (Import () guruhi (Forall? X? Y (cheapFlight (? X? Y): - availableFlight (? X? Y)) / 0.4 Forall? X? Y (affordableFlight (? x? y)) / left_shoulder0k4k1k3k (? y)))

Ipak

RIF-SILK[13] modellashtirish uchun ishlatilishi mumkin standart mantiq. Bu bilan deklarativ mantiqiy dasturlashga asoslangan asosli semantika. RIF-SILK shuningdek, SILK kabi yanada murakkab deklarativ mantiqiy dasturlash tillarida mavjud bo'lgan bir qator boshqa xususiyatlarni o'z ichiga oladi.[14]

Misol

Hujjat {Prefiks (yaproq http://xmlns.com/foaf/0.1/) Prefiks (pub http://example.org/pub#) Prefiks (ipak http: // TBD / silk #) Guruh {(* r1 * ) Umuman? A1? A2? Paper (? A1 [foaf: know ->? A2]: -? Paper # pub: Nashr [pub: muallif ->? A1, pub: muallif ->? A2}]) (* r2 *) Umuman olganda? A1? A2 (neg? A1 [foaf: know ->? A2]: -? A1 [hasNeverMet ->? A2]) ipak: bekor (r2, r1)}}

Shuningdek qarang

Adabiyotlar

  1. ^ Kifer, Maykl (2008). "Qoida almashinuvi formati: ramka ". in: Veb-mulohaza yuritish va qoidalar tizimlari. Kompyuter fanidan ma'ruza matnlari
  2. ^ RIF haqida umumiy ma'lumot
  3. ^ Welty, Chris (2009). "Qoida almashinuvi formati "NY Semantic Web Meetup-ga taklif qilingan taqdimot.
  4. ^ RIF asosiy dialekti
  5. ^ RIFdan foydalanish holatlari va talablari
  6. ^ XML sxemasi ma'lumotlar turlari
  7. ^ XPath-funktsiyalari
  8. ^ rdf: PlainLiteral: RDF oddiy literallari uchun ma'lumotlar turi
  9. ^ M. Krotzsh (oktyabr 2010). Mantiqiy qoidalar tavsifi. IOS Press. p. 10. ISBN  978-1-61499-342-1.
  10. ^ RIF-PRD spetsifikatsiyasi
  11. ^ RIF Core Answer Set dasturlash lahjasi
  12. ^ Zhao va Boley. Qoida almashinuvi formatida noaniqlik muolajasi: kodlashdan kengaytmaga qadar. Semantik veb uchun noaniqlik sabablari bo'yicha IV Xalqaro seminarda (URSW), 2008 yil.
  13. ^ RIF SILK shevasi
  14. ^ Ipak tili, Benjamin Grosof, Maykl Kifer, Mayk Din. Vulcan Inc., 2009 yil.

Tashqi havolalar