Description logics constitute a family of formal knowledge representation languages that underpin a wide range of modern semantic systems, including the Semantic Web. They provide a well-founded ...