The Description Logic Handbook

Author Franz Baader

Publisher Cambridge University Press

Format

eBook

2nd Edition 1st Edition

Quantity

Add New

Author

Franz Baader

Publisher

Cambridge University Press

Volume

Copyright

2007

ISBN13

9780511481239

Release

Format

eBook

Grade Level

College Freshman - College Senior

DDC
TBD

Overview

The Description Logic Handbook is the definitive reference and study guide for researchers in the field of knowledge representation. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web.
Front Cover.
Other Frontmatter.
Title Page.
Copyright Page.
Contents.
Contributors.
Preface to the Second Edition.
Preface.
An Introduction to Description Logics.
Introduction.
1: From Networks to Description Logics.
2: Knowledge Representation in Description Logics.
3: From Theory to Practice: Description Logic Systems.
4: Applications Developed with Description Logic Systems.
5: Extensions of Description Logics.
6: Relationship to other Fields of Computer Science.
7: Conclusion.
8: Theory.
9: Basic Description Logics.
10: Introduction.
11: Definition of the Basic Formalism.
12: Reasoning Algorithms.
13: Language Extensions.
14: Complexity of Reasoning.
15: Introduction.
16: OR-Branching: Finding a Model.
17: AND-Branching: Finding a Clash.
18: Combining Sources of Complexity.
19: Reasoning in the Presence of Axioms.
20: Undecidability.
21: Reasoning about Individuals in ABoxes.
22: Discussion.
23: A List of Complexity Results for Subsumption and Satisfiability.
24: Relationships with other Formalisms.
25: AI Knowledge Representation Formalisms.
26: Logical Formalisms.
27: Database Models.
28: Expressive Description Logics.
29: Introduction.
30: Correspondence Between Description Logics and Propositional Dynamic Logics.
31: Functional Restrictions.
32: Qualified Number Restrictions.
33: Objects.
34: Fixpoint Constructs.
35: Relations of Arbitrary Arity.
36: Finite Model Reasoning.
37: Undecidability Results.
38: Extensions to Description Logics.
39: Introduction.
40: Language Extensions.
41: Non-standard Inference Problems.
42: Implementation.
43: From Description Logic Provers to Knowledge Representation Systems.
44: Introduction.
45: Basic Access.
46: Advanced Application Access.
47: Advanced Human Access.
48: Other Technical Concerns.
49: Public Relations Concerns.
50: Summary.
51: Description Logic Systems.
52: New Light Through Old Windows?.
53: The First Generation.
54: Second Generation Descripti
Read More Read Less

The Description Logic Handbook

Product Details

Overview

Table of Contents