Title of article :
Deciding expressive description logics in the framework of resolution
Author/Authors :
Ullrich Hustadt، نويسنده , , Boris Motik، نويسنده , , Ulrike Sattler، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Description Logics , Resolution decision procedure , Basic superposition
Journal title :
Information and Computation
Journal title :
Information and Computation
