Record number :
262290
Title of article :
The complexity of finite model reasoning in description logics
Author/Authors :
Carsten Lutz، نويسنده , , Ulrike Sattler، نويسنده , , Lidia Tendera، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Pages :
40
From page :
132
To page :
171
Keywords :
Description logic , Number restrictions , Finite satisfiability
Journal title :
Information and Computation
Serial Year :
2005
Link To Document :
بازگشت