×

Description logics as ontology languages for the semantic web. (English) Zbl 1098.68705

Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 228-248 (2005).
Summary: 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.
For the entire collection see [Zbl 1058.68008].

MSC:

68T27 Logic in artificial intelligence
68T30 Knowledge representation
68M10 Network design and communication in computer systems
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

Software:

OilEd
PDFBibTeX XMLCite
Full Text: DOI