The Tractablility of Subsumption in Frame-Based Description Languaages