The main effort of the research in knowledge representation is providing
theories and systems for expressing structured knowledge and for accessing
and reasoning with it in a principled way. Description Logics are
considered the most important knowledge representation formalism unifying
and giving a logical basis to the well known traditions of Frame-based
systems, Semantic Networks and KL-ONE-like languages, Object-Oriented
representations, Semantic data models, and Type systems.
![[DL]](dl-small.gif)