2003 DescriptionLogicHandbook
- (Baader et al., 2003) ⇒ Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider. (2003). “The Description Logic Handbook: theory, implementation, and applications.” In: Cambridge University Press. ISBN:0521781760
Subject Headings: Description Logic.
Notes
- An Edited Book.
Cited by
Quotes
Publisher's Abstract
Description Logics are knowledge representation languages that have been studied extensively in artificial intelligence over the last two decades. This Handbook covers all aspects of research in this field; including theory, implementation, and applications. Its appeal is broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. The chapters by some of the most prominent researchers in the field first introduce the basic technical material before addressing the current state of the subject. This unique reference can also be used for self-study or in conjunction with knowledge representation and artificial intelligence courses.
1. An Introduction to Description Logics D. Nardi and Ronald J. Brachman 1
- (Borgida & Brachman, 2003) ⇒ Daniele Nardi, and Ronald J. Brachman. (2002). “An Introduction to Description Logics.” In:(Baader et al., 2003)
- 1.1 Introduction 1
- 1.2 From networksto Description Logics 4
- 1.3 Knowledge representation in Description Logics 12
- 1.4 From theory to practice: Description Logic systems 16
- 1.5 Applications developed with Description Logic systems 20
- 1.6 Extensions of Description Logics 30
- 1.7 Relationship to other fields of Computer Science 36
- 1.8 Conclusion 39
Part I: Theory 41
2. Basic Description Logics Franz Baader and W. Nutt 43
- 2.1 Introduction 43
- 2.2 Definition of the basic formalism 46
- 2.3 Reasoning algorithms 74
- 2.4 Language extensions 90
3 Complexity of Reasoning F. M. Donini 96
- 3.1 Introduction 96
- 3.2 OR-branching: finding a model 100
- 3.3 AND-branching: finding a clash 107
- 3.4 Combining sources of complexity 114
- 3.5 Reasoning in the presence of axioms 116
- 3.6 Undecidability 122
- 3.7 Reasoning about individuals in ABoxes 128
- 3.8 Discussion 132
- 3.9 A list of complexity results for subsumption and satisfiability 133
4. Relationships with other Formalisms U. Sattler, D. Calvanese, and R. Molitor 137
- 4.1 AI knowledge representation formalisms 137
- 4.2 Logical formalisms 149
- 4.3 Database models 161
5. Expressive Description Logics D. Calvanese and G. De Giacomo 178
- 5.1 Introduction 178
- 5.2 Correspondence between Description Logics and Propositional Dynamic Logics 179
- 5.3 Functional restrictions 186
- 5.4 Qualified number restrictions 193
- 5.5 Objects197
- 5.6 Fixpoint constructs 201
- 5.7 Relationsof arbitrary arity 204
- 5.8 Finite model reasoning 209
- 5.9 Undecidability results 215
6. Extensions to Description Logics Franz Baader, R. Küsters, and F. Wolter 219
- 6.1 Introduction 219
- 6.2 Language extensions 220
- 6.3 Non-standard inference problems 250
Part II: Implementation 263
7. From Description Logic Provers to Knowledge Representation Systems D. L. McGuinness and P. F. Patel-Schneider 265
- 7.1 Introduction 265
- 7.2 Basic access 267
- 7.3 Advanced application access 270
- 7.4 Advanced human access 274
- 7.5 Other technicalconcerns280
- 7.6 Public relationsconcerns 280
- 7.7 Summary 281
8. Description Logic Systems R. M¨oller and V. Haarslev 282
- 8.1 New light through old windows? 282
- 8.2 The first generation 283
- 8.3 Second generation Description Logic systems 291
- 8.4 The next generation: Fact, Dlp and Racer 301
- 8.5 Lessons learned 303
9. Implementation and Optimization Techniques Ian Horrocks 306
- 9.1 Introduction 306
- 9.2 Preliminaries308
- 9.3 Subsumption-testing algorithms 313
- 9.4 Theory versus practice 317
- 9.5 Optimizationtechniques322
- 9.6 Discussion 345
Part III: Applications 347
10. Conceptual Modeling with Description Logics p.349
- (Borgida & Brachman, 2003) ⇒ Alex Borgida, and Ronald J. Brachman. (2002). “Conceptual Modelling with Description Logics.” In: (Baader et al., 2003)
- 10.1 Background 349
- 10.2 Elementary Description Logic modeling 351
- 10.3 Individualsin the world 353
- 10.4 Concepts355
- 10.5 Subconcepts358
- 10.6 Modeling relationships 361
- 10.7 Modeling ontological aspects of relationships 363
- 10.8 A conceptual modeling methodology 369
- 10.9 The ABox: modeling specific states of the world 370
- 10.10 Conclusions 371
11. Software Engineering C. A. Welty 373
- 11.1 Introduction 373
- 11.2 Background 373
- 11.3 Lassie 374
- 11.4 CodeBase 379
- 11.5 CSIS and CBMS 380
12. Configuration D. L. McGuinness 388
- 12.1 Introduction 388
- 12.2 Configuration description and requirements 390
- 12.3 The Prose and Questar family of configurators403
- 12.4 Summary 404
13. Medical Informatics A. Rector 406
- 13.1 Background and history 407
- 13.2 Exampleapplications410
- 13.3 Technical issues in medical ontologies 416
- 13.4 Ontological issues in medical ontologies 422
- 13.5 Architectures: terminology servers, views, and change management 424
- 13.6 Discussion: key lessons from medical ontologies 426
14. Digital Libraries and Web-based Information Systems
- Ian Horrocks, D. L. McGuinness, and A. C. Welty 427
- 14.1 Background and history 427
- 14.2 Enabling the semantic web: DAML 432
- 14.3 OIL and DAML+OIL 434
- 14.4 Summary 448
15. Natural Language Processing E. Franconi 450
- 15.1 Introduction 450
- 15.2 Semantic interpretation 451
- 15.3 Reasoning with the logical form 454
- 15.4 Knowledge-based natural language generation 460
16. Description Logics for Databases A. Borgida, M. Lenzerini, and R. Rosati 462
- 16.1 Introduction 462
- 16.2 Data modelsand Description Logics 465
- 16.3 Description Logics and database querying 474
- 16.4 Data integration 478
- 16.5 Conclusions 483
Appendix Description Logic Terminology Franz Baader 485
- A.1 Notational conventions485
- A.2 Syntax and semantics of common Description Logics 485
- A.3 Additional constructors 491
- A.4 A note on the naming scheme for Description Logics 494
Bibliography 496
Index 547
References
,
| Author | volume | Date Value | title | type | journal | titleUrl | doi | note | year | |
|---|---|---|---|---|---|---|---|---|---|---|
| 2003 DescriptionLogicHandbook | Franz Baader Diego Calvanese Deborah McGuinness Daniele Nardi Peter Patel-Schneider | The Description Logic Handbook: theory, implementation, and applications | http://books.google.com/books?id=riSeOKw5I6sC |