Tags sport-Free documents Library

Foundations of Description Logics

Foundations of Description Logics 77 1 Introduction Come join the DL vaudeville show! It’s variable-free, although With quantifiers, not, and, or Quite deeply rooted in FOLklore. Still, curing the first-order ailment We sport decidable entailment! Fig.1. The DL logo While formal, logic-based approaches to rep-resenting and working with knowledge occur throughout human history, the advent ...