The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics

Robert Dionne, Eric Mays, Frank J. Oles. The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. In IJCAI. pages 710-717, 1993.

Abstract

Abstract is missing.