نویسنده
پارتی، پی، کنستانتینیدیس، جی، نورمن، تی جی، شنسوی، مورات
تاریخ انتشار
2019
محل انتشار
-
Springer Nature
نوع
سند
زبان
انگلیسی
دیجیتال
بله
نسخه خطی
خیر
کتابخانه
دانشگاه اوزیغین
شناسه دارایی کتابخانه
978-3-030-30792-9
شماره ثبت
34c2b3f0-a2c7-4e7b-985c-082c84413ab7
محل کتابخانه
علوم کامپیوتر
تاریخ
2019
یادداشتها
کمک مالی پیوندهای نهادی تحت صندوق نیوتن-کاتیپ سلبی؛ وزارت تجارت، انرژی و استراتژی صنعتی بریتانیا؛ TÜBİTAK
متن نمونه
زبان محدودیت اشکال (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
