Matching in Description Logics

Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness. Matching in Description Logics. Journal of Logic and Computation, 9(3):411-447, 1999. [doi]

Abstract

Abstract is missing.