Table of Contents:
  • 1. Introduction
  • 2. Description Logics
  • 3. Non-Standard Inferences
  • 4. Characterizing Subsumption
  • 5. LCS and MSC
  • 6. Matching
  • 7. Conclusion.