OUR STORE IS CLOSED ON ANZAC DAY: THURSDAY 25 APRIL

Close Notification

Your cart does not contain any items

An Introduction to Description Logic by Franz Baader (Technische Universität, Dresden) at Abbey's Bookshop,
An Introduction to Description Logic
— —
Franz Baader (Technische Universität, Dresden) Ian Horrocks (University of Oxford)

An Introduction to Description Logic

Franz Baader (Technische Universität, Dresden),  Ian Horrocks (University of Oxford),  Carsten Lutz (Universität Bremen) ,  Uli Sattler (University of Manchester)

$134.95

Hardback

Not in-store but you can order this
How long will it take?
English
Cambridge University Press
20 April 2017
Expert & knowledge-based systems
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.
By:   , , ,
Imprint:   Cambridge University Press
Country of Publication:   United Kingdom
Dimensions:   Height: 235mm,  Width: 157mm,  Spine: 19mm
Weight:   500g
ISBN:   9780521873611
ISBN 10:   0521873614
Pages:   262
Publication Date:  
Audience:   College/higher education ,  Primary
Format:   Hardback
Publisher's Status:   Active
1. Introduction; 2. A basic DL; 3. A little bit of model theory; 4. Reasoning in DLs with tableau algorithms; 5. Complexity; 6. Reasoning in the εL family of description logics; 7. Query answering; 8. Ontology languages and applications; Appendix A. Description logic terminology; References; Index.

Franz Baader is a professor in the Institute of Theoretical Computer Science at Technische Universität, Dresden. Ian Horrocks is a professor in the Department of Computer Science at the University of Oxford. Carsten Lutz is a professor in the Department of Computer Science at Universität Bremen. Uli Sattler is a professor in the Information Management Group within the School of Computer Science at the University of Manchester.

See Also

An Introduction to Description Logic

AI and Instruction

Strategies for Effective Online...

Maria Huber-Ferber

Paperback

$55.95  $47.59

Not in-store but you can order this

ADD +
An Introduction to Description Logic

Handbook of Metaheuristic Algorithms...

From Fundamental Theories to Advanced...

Chun-Wei Tsai (Assistant Professor,...

Paperback

$330.95 

Not in-store but you can order this

ADD +
An Introduction to Description Logic

Media's Role In Health Communication...

Rafeal Mechlore

Paperback

$54.95  $46.74

Not in-store but you can order this

ADD +
An Introduction to Description Logic

From Data to Disruption

How AI is Changing Business Forever...

Ruscscak

Paperback

$62.95  $53.45

Not in-store but you can order this

ADD +
An Introduction to Description Logic

ChatGPT Dall.E 3

Complete Guide. Third Edition

Hesham Mohamed Elsherif

Paperback

$84.95  $72.06

Not in-store but you can order this

ADD +
An Introduction to Description Logic

AI Unveiled

A Comprehensive Exploration from...

Daniel Martinez

Paperback

$44.95  $38.33

Not in-store but you can order this

ADD +