Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Authors
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for An Introduction to Description Logic
Seller Image
Introduction to Description Logic
Published by
Cambridge University Press, 2017
ISBN 10: 0521695422
ISBN 13: 9780521695428
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 28882544-n
Stock Image
An Introduction to Description Logic
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FM-9780521695428
Seller Image
An Introduction to Description Logic (Paperback or Softback)
Published by
Cambridge University Press 4/7/2017, 2017
ISBN 10: 0521695422
ISBN 13: 9780521695428
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. An Introduction to Description Logic. Book. Seller Inventory # BBS-9780521695428
Stock Image
An Introduction to Description Logic
Published by
Cambridge University Press, 2017
ISBN 10: 0521695422
ISBN 13: 9780521695428
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190012400
Stock Image
An Introduction to Description Logic
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FM-9780521695428
Buy New
US$ 54.03
Shipping:
US$ 5.45
From United Kingdom to U.S.A.
Quantity: 15 available
Seller Image
Introduction to Description Logic
Published by
Cambridge University Press, 2017
ISBN 10: 0521695422
ISBN 13: 9780521695428
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 28882544
Stock Image
An Introduction to Description Logic (Paperback)
Published by
Cambridge University Press, Cambridge, 2017
ISBN 10: 0521695422
ISBN 13: 9780521695428
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. Description logics are knowledge representation formalisms that are highly relevant in computer science, knowledge representation and the semantic web. This is the first introductory textbook published on the subject, suitable for self-study by graduate students and as teaching material for university courses. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521695428
Stock Image
An Introduction to Description Logic
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 255 pages. 9.50x6.50x0.50 inches. In Stock. This item is printed on demand. Seller Inventory # __0521695422
Buy New
US$ 54.82
Shipping:
US$ 13.10
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
An Introduction to Description Logic
Published by
Cambridge University Press CUP, 2017
ISBN 10: 0521695422
ISBN 13: 9780521695428
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 260. Seller Inventory # 26375762142
Seller Image
An Introduction to Description Logic
Published by
Cambridge University Press, GB, 2017
ISBN 10: 0521695422
ISBN 13: 9780521695428
New
Paperback
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. 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. Seller Inventory # LU-9780521695428