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
Journal title
Information and Computation
Record number
262290
Link To Document