Model Checking Using Description Logic

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell. Model Checking Using Description Logic. Journal of Logic and Computation, 20(1):111-131, 2010. [doi]

Abstract

Abstract is missing.