EL++
ای ایل + + ایک ہلکا پھلکا وضاحتی منطق ہے جسے اظہار کی طاقت کو حاصل کرنے کے لیے ڈیزائن کیا گیا تھا جو عملی ایپلی کیشنز سے بڑے پیمانے پر آنٹولوجیز کے ذریعے استعمال ہوتی ہے جس میں پولی ٹائم استدلال کے مسائل ہوتے ہیں، خاص طور پر درجہ بندی اور مثال کی جانچ میں (www.w3.org 2010) ای ایل + + کو او ڈبلیو ایل 2 میں او ڈبلیو ایل 2 ای ایل پروفائل کے طور پر شامل کیا گیا ہے۔ حوالہ جات فرانز باڈر، سیبسٹین برانڈٹ، کارسٹن لوٹز: ای ایل لفافے کو دھکیلنا۔ آئی جے سی اے آئی 2005:364-369 غیر کلاسیکی منطق