An Introduction to Description Logic by Carsten Lutz, Ulrike Sattler, Ian Horrocks, Franz Baader (Paperback, 2017)

rarewaves-united (420315)
98.7% positive feedback
Price:
AU $137.78
(inclusive of GST)
ApproximatelyS$ 117.27
+ $3.26 shipping
Estimated delivery Thu, 30 Oct - Thu, 27 Nov
Returns:
No returns, but backed by .
Condition:
Brand New

About this product

Product Information

Description logics (DLs) have a long tradition in computer science and kwledge representation, being designed so that domain kwledge can be described and so that computers can reason about this kwledge. 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 rewned 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, kwledge-based applications and tools and it describes the relationship between DLs and OWL.

Product Identifiers

PublisherCambridge University Press
ISBN-100521695422
ISBN-139780521695428
eBay Product ID (ePID)233790069

Product Key Features

Number of Pages260 Pages
Publication NameIntroduction to Description Logic
LanguageEnglish
Publication Year2017
SubjectComputing: Textbooks & Study Guides
TypeTextbook
AuthorCarsten Lutz, Ian Horrocks, Uli Sattler, Franz Baader
Subject AreaComputers, Philosophy
FormatTrade Paperback (Us), Paperback

Dimensions

Item Height0.6 in
Item Weight13.8 Oz
Item Length9 in
Item Width6 in
Height228mm
Width152mm
Weight360g

Additional Product Features

Date of Publication07/04/2017
Intended AudienceCollege Audience
Place of PublicationCambridge
Spine15mm
GenreComputing: Textbooks & Study Guides
Country of PublicationUnited Kingdom
Author BiographyFranz Baader is a professor in the Institute of Theoretical Computer Science at Technische Universitat, 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 Universitat Bremen. Uli Sattler is a professor in the Information Management Group within the School of Computer Science at the University of Manchester.
Content Note30b/W Illus.

All listings for this product

Buy It Now
Any Condition
New
Pre-owned
No ratings or reviews yet
Be the first to write a review