Finite Model Reasoning in Description Logics

Diego Calvanese. Finite Model Reasoning in Description Logics. In KR. pages 292-303, 1996.

Abstract

Abstract is missing.