EL++
EL + + એ હળવા વજનનું વર્ણન તર્ક છે જે વ્યવહારુ એપ્લિકેશનોમાંથી મોટા પાયે ઑન્ટોલોજી દ્વારા ઉપયોગમાં લેવાતી અભિવ્યક્ત શક્તિને પકડવા માટે રચવામાં આવ્યું હતું જેમાં પોલીટાઇમ તર્કની સમસ્યાઓ હોય છે, ખાસ કરીને વર્ગીકરણ અને ઉદાહરણ ચકાસણીમાં (www.w3.org 2010) EL + + ને OWL 2 માં OWL 2 EL પ્રોફાઇલ તરીકે સામેલ કરવામાં આવ્યું છે. સંદર્ભો ફ્રાન્ઝ બાડર, સેબાસ્ટિયન બ્રાન્ડ્ટ, કાર્સ્ટન લુત્ઝઃ પુશિંગ ધ EL એન્વલપ. IJCAI 2005:364-369 બિન-શાસ્ત્રીય તર્ક