1 option
R-Calculus, V: Description Logics / by Wei Li, Yuefei Sui.
Springer Nature - Springer Computer Science eBooks 2024 English International Available online
View online- Format:
- Book
- Author/Creator:
- Li, Wei, 1625-1684, author.
- Sui, Yuefei, author.
- Series:
- Perspectives in Formal Induction, Revision and Evolution, 2731-3697
- Language:
- English
- Subjects (All):
- Machine theory.
- Logic, Symbolic and mathematical.
- Logic programming.
- Mathematical models.
- Computer science--Mathematics.
- Computer science.
- Big data.
- Formal Languages and Automata Theory.
- Mathematical Logic and Foundations.
- Logic in AI.
- Mathematical Modeling and Industrial Mathematics.
- Mathematics of Computing.
- Big Data.
- Local Subjects:
- Formal Languages and Automata Theory.
- Mathematical Logic and Foundations.
- Logic in AI.
- Mathematical Modeling and Industrial Mathematics.
- Mathematics of Computing.
- Big Data.
- Physical Description:
- 1 online resource (XIII, 384 p. 4 illus., 1 illus. in color.)
- Edition:
- 1st ed. 2024.
- Place of Publication:
- Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
- Summary:
- 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. .
- Contents:
- 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.
- Notes:
- Includes bibliographical references.
- ISBN:
- 981-9964-60-1
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.