03103nam a22006255i 4500 978-981-99-6460-4 DE-He213 20251030110916.0 cr nn 008mamaa 240105s2024 si | s |||| 0|eng d 9789819964604 978-981-99-6460-4 10.1007/978-981-99-6460-4 doi QA267-268.5 UYA bicssc COM014000 bisacsh UYA thema Li, Wei. author. aut http://id.loc.gov/vocabulary/relators/aut 69300 R-Calculus, V: Description Logics [electronic resource] / by Wei Li, Yuefei Sui. 1st ed. 2024. Singapore : Springer Nature Singapore : Imprint: Springer, 2024. XIII, 384 p. 4 illus., 1 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Perspectives in Formal Induction, Revision and Evolution, 2731-3697 Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi for Post three-valued DL -- R-calculi for B22-valued DL -- R-calculi for Post L4 -valued DL -- Undecidable DLs -- Introduction -- Role R-calculus for binary-valued DL -- Role R-calculus for Post three-valued DL -- Role R-calculus for B22 -valued DL -- Role R-calculus for Post L4-valued DL -- A Finite injury priority method. This fifth volume of the 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. . Machine theory. 67305 Mathematical logic. 66195 Logic programming. 66664 Mathematical models. 66910 Computer science Mathematics. 64041 Big data. 57216 Formal Languages and Automata Theory. 67306 Mathematical Logic and Foundations. 66198 Logic in AI. 66665 Mathematical Modeling and Industrial Mathematics. 66912 Mathematics of Computing. 66501 Big Data. 57216 Sui, Yuefei. author. aut http://id.loc.gov/vocabulary/relators/aut 69301 SpringerLink (Online service) Springer Nature eBook Printed edition: 9789819964598 Printed edition: 9789819964611 Printed edition: 9789819964628 Perspectives in Formal Induction, Revision and Evolution, 2731-3697 69302 https://doi.org/10.1007/978-981-99-6460-4 ZDB-2-SCS ZDB-2-SXCS 57112 57112