Description Logic

  1. A fragment of first-order logic (FOL) used for purposes of formal knowledge representation and having more efficient decision properties then FOL. (from Building Ontologies with Basic Formal Ontology, R. Arp, B. Smith, A. Spear)