The Description Logic Handbook
Subtitle: Theory, Implementation and Applications
Contributors: Franz Baader (Editor); Diego Calvanese (Editor); Deborah McGuinness (Editor); Daniele Nardi (Editor); Peter Patel-Schneider (Editor)
Publisher: Cambridge University Press
Published: March 24, 2003
Language: eng
Format: Hardcover
Number of pages: 574
ISBN-13: 9780521781763
Subjects: Artificial intelligence; Mathematical logic; Mathematical theory of computation; Programming - Software Development; Computers; Computers - General Information; Handbooks, manuals, etc; Computer Books: General; Computer Books: Languages; Expert Systems; Programming Languages - General; Computers / Programming / Software Development; Description logics
First sentence: This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition.