EL++
ई. एल. + + एक हल्का विवरण तर्क है जिसे अभिव्यंजक शक्ति को पकड़ने के लिए डिज़ाइन किया गया था जिसका उपयोग व्यावहारिक अनुप्रयोगों से बड़े पैमाने पर ऑन्टोलॉजी द्वारा किया जाता है, जिसमें पॉलीटाइम तर्क समस्याएं होती हैं, विशेष रूप से वर्गीकरण और उदाहरण जाँच (www.w3.org 2010) ई. एल. + + को ओ. डब्ल्यू. एल. 2 में ओ. डब्ल्यू. एल. 2 ई. एल. प्रोफाइल के रूप में शामिल किया गया है। संदर्भ फ्रांज बाडर, सेबेस्टियन ब्रांड्ट, कार्स्टन लुत्ज़ः ई. एल. लिफाफे को धक्का देना। आईजेसीएआई 2005:364-369 गैर-शास्त्रीय तर्क