TY  - BOOK
AU  - Li,Wei
AU  - Sui,Yuefei
ED  - SpringerLink (Online service)
TI  - R-Calculus, V: Description Logics
T2  - Perspectives in Formal Induction, Revision and Evolution,
SN  - 9789819964604
AV  - QA267-268.5 
PY  - 2024///
CY  - Singapore
PB  - Springer Nature Singapore, Imprint: Springer
KW  - Machine theory
KW  - Mathematical logic
KW  - Logic programming
KW  - Mathematical models
KW  - Computer science
KW  - Mathematics
KW  - Big data
KW  - Formal Languages and Automata Theory
KW  - Mathematical Logic and Foundations
KW  - Logic in AI
KW  - Mathematical Modeling and Industrial Mathematics
KW  - Mathematics of Computing
KW  - Big Data
N1  - 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
N2  - 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.
UR  - https://doi.org/10.1007/978-981-99-6460-4
ER  -