المؤلف
باريتي، بي، كونستانتينيديس، جي، نورمان، تي جيه، شينسوي، مراد
تاريخ النشر
2019
مكان النشر
-
طبيعة سبرينغر
النوع
وثيقة
اللغة
الإنجليزية
رقمي
نعم
مخطوط
لا
المكتبة
جامعة اوزيجين
معرف أصل المكتبة
978-3-030-30792-9
رقم السجل
34c2b3f0-a2c7-4e7b-985c-082c84413ab7
موقع المكتبة
علوم الكمبيوتر
التاريخ
2019
ملاحظات
منحة الروابط المؤسسية في إطار صندوق نيوتن-كاتيب جلبي؛ وزارة الأعمال والطاقة والاستراتيجية الصناعية في المملكة المتحدة؛ توبيتاك
نص عينة
تم طرح لغة قيود الأشكال (SHACL) مؤخرًا كتوصية من W3C لتحديد القيود التي يمكن التحقق من صحتها مقابل الرسوم البيانية RDF. إن تفاعلات SHACL مع تقنيات الويب الدلالية الأخرى، مثل الأنطولوجيات أو المسببين، هي مسألة بحث مستمر. في هذا البحث قمنا بدراسة تفاعل مجموعة فرعية من SHACL مع قواعد الاستدلال المعبر عنها في سجل البيانات. من ناحية، يمكن استخدام قيود SHACL لتحديد "مخطط" لمجموعات بيانات الرسم البياني. ومن ناحية أخرى، يمكن أن تؤدي قواعد الاستدلال إلى اكتشاف حقائق جديدة لا تتطابق مع المخطط الأصلي. بالنظر إلى مجموعة من قيود SHACL ومجموعة من قواعد سجل البيانات، نقدم طريقة لاكتشاف القيود التي يمكن انتهاكها من خلال تطبيق قواعد الاستدلال على بعض مثيلات الرسم البياني للمخطط، وتحديث المخطط الأصلي، أي مجموعة قيود SHACL، من أجل التقاط الحقائق الجديدة التي يمكن استنتاجها. نحن نقدم النتائج النظرية والتجريبية لمختلف مكونات نهجنا.
Editör
Ghidini, C., Hartig, O., Maleshkova, M., Svatek, V., Cruz, I., Hogan, A., Song, J., Lefrancois, M., Gandon, F.
DOI
10.1007/978-3-030-30793-6_31
Cilt
11778
