Title of article
Deciding expressive description logics in the framework of resolution
Author/Authors
Ullrich Hustadt، نويسنده , , Boris Motik، نويسنده , , Ulrike Sattler، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
23
From page
579
To page
601
Keywords
Description Logics , Resolution decision procedure , Basic superposition
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262473
Link To Document