Description logics are modal-like logics used to express knowledge about structured domains, and reason about them. One of the major reasoning problems in description logics is that of determining whether a given terminological ...