Stratified Negation in RDF Rules: A Correct Approach (Extended Version)
تقترح هذه الورقة "التدرج السلسلي" (chain stratification)، وهو شرط مبتكر يعالج تحديات تطبيق النفي الافتراضي على قواعد RDF والقواعد الوجودية من خلال الجمع بين تحليل الاشتقاق متعدد الخطوات وقيود السلامة لضمان دلالات فريدة، رشيقة، ومبررة بغض النظر عن ترتيب تطبيق القواعد.