Mechanizing Mathematical Reasoning

Volume 2605 of the series Lecture Notes in Computer Science pp 228-248

Description Logics as Ontology Languages for the Semantic Web

  • Franz BaaderAffiliated withTheoretical Computer Science
  • , Ian HorrocksAffiliated withDepartment of Computer Science, University of Manchester
  • , Ulrike SattlerAffiliated withTheoretical Computer Science

* Final gross prices may vary according to local VAT.

Get Access


The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can support the Semantic Web and thus help to make this vision reality.

In this paper, we describe what description logics are and what they can do for the Semantic Web. Descriptions logics are very useful for defining, integrating, and maintaining ontologies, which provide the Semantic Web with a common understanding of the basic semantic concepts used to annotate Web pages. We also argue that, without the last decade of basic research in this area, description logics could not play such an important rôle in this domain.