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
Keywords :
hybrid rules , datalog , tableaux algorithms , Description logic , SLD-resolution.
Journal title :
Computational Intelligence
Journal title :
Computational Intelligence