1.

Record Nr.

UNINA9910450526303321

Titolo

The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.]

Pubbl/distr/stampa

Cambridge, UK ; ; New York, : Cambridge University Press, 2003

ISBN

1-107-12924-9

1-280-41799-4

9786610417995

1-139-13014-5

0-511-17880-8

1-139-14649-1

0-511-06694-5

0-511-06063-7

0-511-06907-3

Descrizione fisica

1 online resource (575 p.)

Altri autori (Persone)

BaaderFranz

Disciplina

006.3/32

Soggetti

Description logics

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references (p. 496-545) and index.

Nota di contenuto

Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index

Sommario/riassunto

The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide.