Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms – Descendants of semantic networks and KL-ONE.