Title of article :
A formal framework for description logics with uncertainty Original Research Article
Author/Authors :
VOLKER HAARSLEV، نويسنده , , Hsueh-Ieng Pai، نويسنده , , AND NEMATOLLAAH SHIRI، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
Pages :
17
From page :
1399
To page :
1415
Keywords :
Knowledge Base , Constraint solving , Description logics , Uncertainty , Tableau Procedure
Journal title :
International Journal of Approximate Reasoning
Serial Year :
2009
Journal title :
International Journal of Approximate Reasoning
Record number :
1182781
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1182781
بازگشت