D. Nardi, and R. Brachman. The Description Logic Handbook. Theory, Implementation and Applications, Cambridge University Press, (2003)
Abstract
This introduction presents the main motivations for the development of Description
Logics (DL) as a formalism for representing knowledge, as well as some important
basic notions underlying all systems that have been created in the DL tradition.
In addition, we provide the reader with an overview of the entire book and some
guidelines for reading it.
We first address the relationship between Description Logics and earlier seman-
tic network and frame systems, which represent the original heritage of the field.
We delve into some of the key problems encountered with the older efforts. Subse-
quently, we introduce the basic features of Description Logic languages and related
reasoning techniques.
Description Logic languages are then viewed as the core of knowledge represen-
tation systems, considering both the structure of a DL knowledge base and its
associated reasoning services. The development of some implemented knowledge
representation systems based on Description Logics and the first applications built
with such systems are then reviewed.
Finally, we address the relationship of Description Logics to other fields of Com-
puter Science. We also discuss some extensions of the basic representation language
machinery; these include features proposed for incorporation in the formalism that
originally arose in implemented systems, and features proposed to cope with the
needs of certain application domains.
%0 Book Section
%1 Nardi:2003
%A Nardi, Daniele
%A Brachman, Ronald J.
%B The Description Logic Handbook. Theory, Implementation and Applications
%D 2003
%E Baader, F.
%E Calvanese, D.
%E McGuinness, D.
%E Nardi, D.
%E Patel-Schneider, P.
%I Cambridge University Press
%K descriptionlogics proj:o4p retag
%P 1-40
%T An Introduction to Description Logics
%U http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdf
%X This introduction presents the main motivations for the development of Description
Logics (DL) as a formalism for representing knowledge, as well as some important
basic notions underlying all systems that have been created in the DL tradition.
In addition, we provide the reader with an overview of the entire book and some
guidelines for reading it.
We first address the relationship between Description Logics and earlier seman-
tic network and frame systems, which represent the original heritage of the field.
We delve into some of the key problems encountered with the older efforts. Subse-
quently, we introduce the basic features of Description Logic languages and related
reasoning techniques.
Description Logic languages are then viewed as the core of knowledge represen-
tation systems, considering both the structure of a DL knowledge base and its
associated reasoning services. The development of some implemented knowledge
representation systems based on Description Logics and the first applications built
with such systems are then reviewed.
Finally, we address the relationship of Description Logics to other fields of Com-
puter Science. We also discuss some extensions of the basic representation language
machinery; these include features proposed for incorporation in the formalism that
originally arose in implemented systems, and features proposed to cope with the
needs of certain application domains.
@incollection{Nardi:2003,
abstract = {This introduction presents the main motivations for the development of Description
Logics (DL) as a formalism for representing knowledge, as well as some important
basic notions underlying all systems that have been created in the DL tradition.
In addition, we provide the reader with an overview of the entire book and some
guidelines for reading it.
We first address the relationship between Description Logics and earlier seman-
tic network and frame systems, which represent the original heritage of the field.
We delve into some of the key problems encountered with the older efforts. Subse-
quently, we introduce the basic features of Description Logic languages and related
reasoning techniques.
Description Logic languages are then viewed as the core of knowledge represen-
tation systems, considering both the structure of a DL knowledge base and its
associated reasoning services. The development of some implemented knowledge
representation systems based on Description Logics and the first applications built
with such systems are then reviewed.
Finally, we address the relationship of Description Logics to other fields of Com-
puter Science. We also discuss some extensions of the basic representation language
machinery; these include features proposed for incorporation in the formalism that
originally arose in implemented systems, and features proposed to cope with the
needs of certain application domains.},
added-at = {2010-05-27T17:35:55.000+0200},
author = {Nardi, Daniele and Brachman, Ronald J.},
biburl = {https://www.bibsonomy.org/bibtex/2359240c3363eb468680033548e3246ec/wnpxrz},
booktitle = {The Description Logic Handbook. Theory, Implementation and Applications},
editor = {Baader, F. and Calvanese, D. and McGuinness, D. and Nardi, D. and Patel-Schneider, P.},
interhash = {e2cc7ceb513a60a6a08717dcece20a66},
intrahash = {359240c3363eb468680033548e3246ec},
keywords = {descriptionlogics proj:o4p retag},
pages = {1-40},
publisher = {Cambridge University Press},
timestamp = {2010-05-27T17:35:55.000+0200},
title = {{An Introduction to Description Logics}},
url = {http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdf},
year = 2003
}