Title of article
THE DATALOGDL COMBINATION OF DEDUCTION RULES AND DESCRIPTION LOGICS
Author/Authors
JING MEI AND ZUOQUAN LIN، نويسنده , , HAROLD BOLEY AND JIE LI، نويسنده , , Virendrakumar C. Bhavsar، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
17
From page
356
To page
372
Keywords
hybrid rules , datalog , tableaux algorithms , Description logic , SLD-resolution.
Journal title
Computational Intelligence
Serial Year
2007
Journal title
Computational Intelligence
Record number
311444
Link To Document