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