[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-0-en-105":3,"doc-seo-326863-105":59,"doc-detail-326863-en":130},{"code":4,"msg":5,"data":6},0,"success",[7,13,18,23,28,33,38,43,48,51,55],{"id":8,"doc_module":4,"doc_module_name":9,"category_name":10,"show_sort_weight":11,"slug":12},1,"Document","Story & Novel",90,"story-novel",{"id":14,"doc_module":4,"doc_module_name":9,"category_name":15,"show_sort_weight":16,"slug":17},2,"Literature",80,"literature",{"id":19,"doc_module":4,"doc_module_name":9,"category_name":20,"show_sort_weight":21,"slug":22},4,"Exam",70,"exam",{"id":24,"doc_module":4,"doc_module_name":9,"category_name":25,"show_sort_weight":26,"slug":27},5,"Comic",60,"comic",{"id":29,"doc_module":4,"doc_module_name":9,"category_name":30,"show_sort_weight":31,"slug":32},6,"Technology",50,"technology",{"id":34,"doc_module":4,"doc_module_name":9,"category_name":35,"show_sort_weight":36,"slug":37},7,"Healthcare",40,"healthcare",{"id":39,"doc_module":4,"doc_module_name":9,"category_name":40,"show_sort_weight":41,"slug":42},8,"Research & Report",30,"research-report",{"id":44,"doc_module":4,"doc_module_name":9,"category_name":45,"show_sort_weight":46,"slug":47},9,"Religion & Spirituality",20,"religion-spirituality",{"id":46,"doc_module":4,"doc_module_name":9,"category_name":49,"show_sort_weight":46,"slug":50},"World Cup","world-cup",{"id":52,"doc_module":4,"doc_module_name":9,"category_name":53,"show_sort_weight":52,"slug":54},10,"Lifestyle","lifestyle",{"id":56,"doc_module":4,"doc_module_name":9,"category_name":57,"show_sort_weight":24,"slug":58},19,"General","general",{"code":4,"msg":60,"data":61},"ok",{"site_id":62,"language":63,"slug":64,"title":65,"keywords":66,"description":67,"schema_data":68,"social_meta":123,"head_meta":125,"extra_data":127,"updated_unix":129},105,"en","the-description-logic-handbook-theory-implementation-and-applications","THE DESCRIPTION LOGIC HANDBOOK - Theory, implementation, and applications","","The Description Logic Handbook presents a structured, research-focused account of description logics, covering foundations, formal systems, reasoning complexity, and extensions. It explains how knowledge representation connects theory to practical description logic systems, including inference algorithms and algorithmic techniques. The book further addresses implementation and optimization strategies, then demonstrates applications in conceptual modeling, software engineering, configuration, medical informatics, digital libraries, natural language processing, and databases, supporting both theoretical understanding and real-world deployment.",{"@graph":69,"@context":122},[70,84,105],{"@type":71,"itemListElement":72},"BreadcrumbList",[73,77,79,82],{"item":74,"name":75,"@type":76,"position":8},"https://docshare.wps.com","Home","ListItem",{"item":78,"name":9,"@type":76,"position":14},"https://docshare.wps.com/document/",{"item":80,"name":40,"@type":76,"position":81},"https://docshare.wps.com/document/research-report/",3,{"item":83,"name":65,"@type":76,"position":19},"https://docshare.wps.com/document/the-description-logic-handbook-theory-implementation-and-applications/326863/",{"url":83,"name":65,"@type":85,"image":86,"author":91,"headline":65,"publisher":94,"fileFormat":97,"inLanguage":63,"description":67,"dateModified":98,"datePublished":99,"encodingFormat":97,"isAccessibleForFree":100,"interactionStatistic":101},"DigitalDocument",{"url":87,"@type":88,"width":89,"height":90},"https://docshare.wps.com/thumbnails/the-description-logic-handbook-theory-implementation-and-applications/326863.png","ImageObject",300,407,{"name":92,"@type":93},"Rowan","Person",{"url":74,"name":95,"@type":96},"DocShare","Organization","application/pdf","2026-11-11","2026-09-21",true,{"@type":102,"interactionType":103,"userInteractionCount":44},"InteractionCounter",{"@type":104},"ViewAction",{"@type":106,"mainEntity":107},"FAQPage",[108,114,118],{"name":109,"@type":110,"acceptedAnswer":111},"What topics does the handbook cover about description logics?","Question",{"text":112,"@type":113},"It covers the theory of description logics, reasoning algorithms and complexity, system implementation, optimization techniques, and multiple application domains.","Answer",{"name":115,"@type":110,"acceptedAnswer":116},"How does the book connect description logic theory to practical systems?",{"text":117,"@type":113},"It explains “From theory to practice: Description Logic systems,” then discusses implementations via provers and knowledge representation systems and compares theory versus practice.",{"name":119,"@type":110,"acceptedAnswer":120},"What application areas are included in the handbook?",{"text":121,"@type":113},"Applications include conceptual modeling, software engineering, configuration, medical informatics, digital libraries and web-based information systems, natural language processing, and databases.","https://schema.org",{"og:url":83,"og:type":124,"og:title":65,"og:site_name":95,"og:description":67},"article",{"robots":126,"canonical":83},"index,follow",{"doc_id":128,"site_id":62},326863,1791375617,{"code":4,"msg":5,"data":131},{"doc_id":128,"user_id":132,"nickname":92,"user_avatar":133,"doc_module":4,"category_id":39,"category_name":40,"doc_title":65,"doc_description":67,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":44,"is_deleted":4,"is_public":8,"is_downloadable":8,"audit_status":8,"page_count":139,"language":140,"language_code":63,"site_id":62,"html_lang":63,"table_of_contents":141,"faqs":142,"seo_title":143,"seo_description":67,"update_tm":144,"read_time":145,"preview_page_count":4},1099514067415,"https://ap-avatar.wpscdn.com/avatar/100002539d78ffe74a7?x-image-process=image/resize,m_fixed,w_180,h_180&k=1779092875211072502","THE DESCRIPTION LOGIC HANDBOOK  \nTheory, implementation, and applications  \nEdited by  \nFRANZ BAADER  \nDIEGO CALVANESE  \nDEBORAH L . McGUINNESS  \nDANIELE NARDI  \nPETER F . PATEL-SCHNEIDER  \n􀀁􀀂􀀃􀀄􀀅􀀆􀀇􀀈􀀉 􀀊􀀋􀀆􀀌􀀉􀀅􀀍􀀆􀀎􀀏 􀀐􀀅􀀉􀀍􀀍  \nCambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo  \nCambridge University Press  \nThe Edinburgh Building, Cambridge 􀀁􀀄􀀑 􀀑􀀅􀀊, United Kingdom  \nPublished in the United States of America by Cambridge University Press, New York [www.cambridge.org](www.cambridge.org)  \nInformation on this [title: www.cambridge.org/9780521781763](title: www.cambridge.org/9780521781763)  \n© Cambridge University Press 2003  \nThis book is in copyright. Subject to statutory exception and to the provision of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press.  \nFirst published in print format 2003  \n􀀆􀀍􀀄􀀋-􀀓􀀔  \n􀀆􀀍􀀄􀀋-􀀓􀀕  \n􀀆􀀍􀀄􀀋-􀀓􀀔  \n􀀆􀀍􀀄􀀋-􀀓􀀕  \n978-0-511-06694 􀀗 eBook (NetLibrary)  \n0-511-06694 􀀖 eBook (NetLibrary)  \n978-0-521-78176-􀀔 hardback 0-521-78176- 􀀕 hardback  \nCambridge University Press has no responsibility for the persistence or accuracy of 􀀊􀀅􀀒s for external or third-party internet websites referred to in this book, and does not guarantee that any content on such websites is, or will remain, accurate or appropriate.  \nContents  \nList of contributors page ix  \nPreface xiii  \n1 An Introduction to Description Logics D. Nardi andR. J. Brachman 1  \n1.1 Introduction 1  \n1.2 From networks to Description Logics 4  \n1.3 Knowledge representation in Description Logics 12  \n1.4 From theory to practice: Description Logic systems 16  \n1.5 Applications developed with Description Logic systems 20  \n1.6 Extensions of Description Logics 30  \n1.7 Relationship to other fields of Computer Science 36  \n1.8 Conclusion 39  \nPart I: Theory 41  \n2 Basic Description Logics F. Baader and W. Nutt 43  \n2.1 Introduction 43  \n2.2 Definition of the basic formalism 46  \n2.3 Reasoning algorithms 74  \n2.4 Language extensions 90  \n3 Complexity of Reasoning F. M. Donini 96  \n3.1 Introduction 96  \n3.2 OR-branching: finding a model 100  \n3.3 AND-branching: finding a clash 107  \n3.4 Combining sources of complexity 114  \n3.5 Reasoning in the presence of axioms 116  \n3.6 Undecidability 122  \n3.7 Reasoning about individuals in ABoxes 128  \n3.8 Discussion 132  \n3.9 A list of complexity results for subsumption and satisfiability 133  \nvi Contents  \n4 Relationships with other Formalisms U. Sattler, D. Calvanese, andR. Molitor 137  \n4.1 AI knowledge representation formalisms 137  \n4.2 Logical formalisms 149  \n4.3 Database models 161  \n5 Expressive Description Logics D. Calvanese and G. De Giacomo 178  \n5.1 Introduction 178  \n5.2 Correspondence between Description Logics and  \nPropositional Dynamic Logics 179  \n5.3 Functional restrictions 186  \n5.4 Qualified number restrictions 193  \n5.5 Objects 197  \n5.6 Fixpoint constructs 201  \n5.7 Relations of arbitrary arity 204  \n5.8 Finite model reasoning 209  \n5.9 Undecidability results 215  \n6 Extensions to Description Logics F. Baader, R. K¨usters, and  \nF. Wolter 219  \n6.1 Introduction 219  \n6.2 Language extensions 220  \n6.3 Non-standard inference problems 250  \nPart II: Implementation 263  \n7 From Description Logic Provers to Knowledge Representation  \nSystems D. L. McGuinness and P. F. Patel-Schneider 265  \n7.1 Introduction 265  \n7.2 Basic access 267  \n7.3 Advanced application access 270  \n7.4 Advanced human access 274  \n7.5 Other technical concerns 280  \n7.6 Public relations concerns 280  \n7.7 Summary 281  \n8 Description Logic Systems R. M¨oller and V. Haarslev 282  \n8.1 New light through old windows? 282  \n8.2 The first generation 283  \n8.3 Second generation Description Logic systems 291  \n8.4 The next generation: Fact, Dlp and Racer 301  \n8.5 Lessons learned 303  \n9 Implementation and Optimization Techniques I. Horrocks 306  \n9.1 Introduction 306  \n9.2 Preliminaries 308  \nContents vii  \n9.3 Subsumption-testing algorithms 313  ","cbCairDbNM4MfWOO","https://ap.wps.com/l/cbCairDbNM4MfWOO","pdf",2302952,573,"English","# List of contributors\n# Preface\n# An Introduction to Description Logics\n## Introduction\n## From networks to Description Logics\n## Knowledge representation in Description Logics\n## From theory to practice: Description Logic systems\n## Applications developed with Description Logic systems\n## Extensions of Description Logics\n## Relationship to other fields of Computer Science\n## Conclusion\n# Part I: Theory\n## Basic Description Logics\n## Complexity of Reasoning\n## Relationships with other Formalisms\n## Expressive Description Logics\n## Extensions to Description Logics\n# Part II: Implementation\n## From Description Logic Provers to Knowledge Representation Systems\n## Description Logic Systems\n## Implementation and Optimization Techniques\n# Part III: Applications\n## Conceptual Modeling with Description Logics\n## Software Engineering\n## Configuration\n## Medical Informatics\n## Digital Libraries and Web-Based Information Systems\n## Natural Language Processing\n## Description Logics for Databases","[{\"question\":\"What topics does the handbook cover about description logics?\",\"answer\":\"It covers the theory of description logics, reasoning algorithms and complexity, system implementation, optimization techniques, and multiple application domains.\"},{\"question\":\"How does the book connect description logic theory to practical systems?\",\"answer\":\"It explains “From theory to practice: Description Logic systems,” then discusses implementations via provers and knowledge representation systems and compares theory versus practice.\"},{\"question\":\"What application areas are included in the handbook?\",\"answer\":\"Applications include conceptual modeling, software engineering, configuration, medical informatics, digital libraries and web-based information systems, natural language processing, and databases.\"}]","THE DESCRIPTION LOGIC HANDBOOK - Theory, implementation, and applications | PDF",1789975588,1444]