تمثل لغة قيود الأشكال (SHACL) معيارًا مؤسسيًا من W3C يُستخدم لتعبر عن القيود النحوية على رسوم بيانات RDF. تُستخدم أدوات التحقق من SHACL لاختبار ما إذا كانت الرسوم البيانية تتلاءم مع هذه القيود. ومع ذلك، غالبًا ما تأتي الرسوم البيانية RDF مصحوبة بمفاهيم OWL، مما يتطلب الإلمام بالمعرفة الضمنية التي تحتاج إلى الاعتبار. في الأسلوب التقليدي، يتم معالجة الأمر من خلال تطبيق الاستدلال أولاً، ثم ينفذ التحقق من القيود على النتائج، مما يؤدي إلى استخدام تقنيات مختلفة ويجعل العملية غير فعالة ومعرضة للخطأ.

للتغلب على هذه المشكلة، نقترح دمج المسلمات OWL داخل قيود SHACL. نقوم بإنشاء مفهوم إعادة كتابة يأخذ كمدخل كل من الأشكال وOntology OWL EL$^-$، وهو جزء من OWL EL يقيّد استخدام القيود الوجودية، وينتج قيود SHACL. يمكن بعد ذلك تقييم هذه النتائج بواسطة أي مُحقق يدعم SHACL الأساسية، بغض النظر عن دعم الاستدلال، ما يوفر نتائج متطابقة مع الأسلوب التقليدي.

تم تقييم تنفيذ ترجمتنا مقابل استخدام معالجات واستشاريين رائدين بالتتابع، وكذلك مع استشاريين يدعمون الاستدلال المدمج. من خلال معاييرنا، أظهر أسلوبنا في العموم كفاءة أكبر في اكتشاف الانتهاكات مقارنةً بالأسلوب التتابعي، مما يوفر أداة قوية تسهل دمج الاستدلال مع التحقق.