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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262290
بازگشت