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

Robert Dionne, Eric Mays, Frank J. Oles

Browse the full IJCAI paper archive.