Overview
- Covers decidable description logics and undecidable description logics
- Gives the R-calculi for for description logics
- Inspires theoretic computer scientists by showing how R-calculus is developed into a series of complicated theories
Part of the book series: Perspectives in Formal Induction, Revision and Evolution (PFIRE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
Similar content being viewed by others
Table of contents (10 chapters)
-
Front Matter
-
Back Matter
Reviews
“The book's mathematical rigor is its primary strength. The authors provide detailed proofs, examples, and formalizations, ensuring that each concept is thoroughly validated. Additionally, the inclusion of both decidable and undecidable logics bridges the gap between theory and computation, catering to diverse research interests. The treatment of many-valued logics is innovative, offering fresh insights into their structure and applications.” (Nino Guallart, Mathematical Reviews, May, 2025)
Authors and Affiliations
About the authors
Wei Li is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.
Yuefei Sui is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computation.
Accessibility Information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
Bibliographic Information
Book Title: R-Calculus, V: Description Logics
Authors: Wei Li, Yuefei Sui
Series Title: Perspectives in Formal Induction, Revision and Evolution
DOI: https://doi.org/10.1007/978-981-99-6460-4
Publisher: Springer Singapore
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Science Press 2024
Hardcover ISBN: 978-981-99-6459-8Published: 06 January 2024
Softcover ISBN: 978-981-99-6462-8Published: 07 January 2025
eBook ISBN: 978-981-99-6460-4Published: 05 January 2024
Series ISSN: 2731-3689
Series E-ISSN: 2731-3697
Edition Number: 1
Number of Pages: XIII, 384
Number of Illustrations: 3 b/w illustrations, 1 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Logic in AI, Mathematical Modeling and Industrial Mathematics, Mathematics of Computing, Big Data