Deskribapen logika

Deskribapen logika (DL, ingelesez Description Logic), ezagupen adierazpenerako lengoaia formalen talde bat da. DL lengoaiak adimen artifizialean erabiltzen dira esparru konkretu baten kontzeptuekin arrazonamendu formalak egiteko. DL lengoaiek, OWL bereziki, web semantikoaren funtsa osatzen dute.