Finite Model Reasoning in Horn Description Logics.

Yazmn Anglica Ibez-Garca, Carsten Lutz, Thomas Schneider

Browse the full KR paper archive.