The Complexity of Finite Model Reasoning in Description Logics.

Carsten Lutz, Ulrike Sattler, Lidia Tendera

Browse the full CADE paper archive.