EL++
EL + + என்பது ஒரு இலகுரக விளக்க தர்க்கமாகும், இது நடைமுறை பயன்பாடுகளிலிருந்து பெரிய அளவிலான ஆன்டாலஜிகளால் பயன்படுத்தப்படும் வெளிப்பாட்டு சக்தியைப் பிடிக்க வடிவமைக்கப்பட்டுள்ளது, இது பாலிடைம் பகுத்தறிவு சிக்கல்களைக் கொண்டுள்ளது, குறிப்பாக வகைப்பாடு மற்றும் நிகழ்வு சரிபார்ப்பு (www.w3.org 2010) EL + + OWL 2 இல் OWL 2 EL சுயவிவரமாக இணைக்கப்பட்டுள்ளது. குறிப்புகள் ஃபிரான்ஸ் பாதர், செபாஸ்டியன் பிராண்ட், கார்ஸ்டன் லுட்ஸ்ஃ ஈஎல் உறைக்கு தள்ளுதல். ஐஜேசிஏஐ 2005:364-369 கிளாசிக்கல் அல்லாத தர்க்கம்