پژوهش

SPARQLcirc محاسبهٔ دقیق احتمال پاسخ‌های SPARQL را به مدارهای منشأ بولی تبدیل می‌کند

پیش‌چاپی در arXiv روشی برای ارزیابی احتمالاتی دقیق پرس‌وجوهای SPARQL روی گراف‌های دانش احتمالاتی معرفی می‌کند؛ روشی که زیرعبارت‌های مشترک میان پاسخ‌ها را در یک مدار بولی به‌کار می‌گیرد.

۱ دقیقه مطالعه
Figure 9. Endpoint time per WatDiv template with 10.9 million triples and RDF-star annotations. Three logarithmic bar charts, for GraphDB, Fuseki and Oxigraph, give for every WatDiv template the endpoint time of the plai
تصویر درج‌شده در مقالهٔ اصلی؛ حقوق بازنشر مستقل تأیید نشده است. — arXiv · AI (پیش‌چاپ) · پرونده اصلی · منبع تصویر: ناشر خبر

پژوهشگران در پیش‌چاپی با نام SPARQLcirc روشی برای محاسبهٔ دقیق احتمال پاسخ‌های پرس‌وجوهای SPARQL روی گراف‌های دانش احتمالاتیِ مستقل از تاپل پیشنهاد کرده‌اند؛ گراف‌هایی که از طریق endpointهای SPARQL 1.1 در دسترس‌اند. وقتی چند مسیر استنتاج برای یک پاسخ، سه‌گانه‌های مشترک داشته باشند، محاسبهٔ دقیق در حالت کلی مسئله‌ای #P-hard است.

این روش، پرس‌وجوی SPARQL را به پرس‌وجوهای CONSTRUCT بازنویسی می‌کند و نام هر گرهٔ مدار را بر اساس محتوای آن تعیین می‌کند. به این ترتیب، نتایج پرس‌وجوهای مستقل می‌توانند در یک مدار منشأ بولی برای همهٔ پاسخ‌ها ترکیب شوند. مبنای کار، تبدیل منشأ بولی هر پاسخ به شکلی است که محاسبهٔ احتمال دقیق را ممکن می‌کند؛ فرمول‌های منشأ پاسخ‌های مختلف نیز ممکن است زیرعبارت‌های مشترک داشته باشند. طبق چکیدهٔ پیش‌چاپ، بازنویسی مواردی از جمله join، union، projection، filter و OPTIONAL را پوشش می‌دهد.

این گزارش به کمک هوش مصنوعی تهیه شده است. مطالب براساس منابع درج‌شده تنظیم شده‌اند؛ صحت مستقل همه ادعاها تضمین نمی‌شود.

منبع: arXiv · AI (پیش‌چاپ) — مشاهده منبع اصلی ↗

پیش‌چاپ پژوهشی در arXiv؛ انتشار در این مخزن به معنی داوری همتا نیست