Wei Li, Yuefei Sui

R-Calculus, V: Description Logics

• Gebundenes Buch

Produktbeschreibung

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.

Produktdetails

• Perspectives in Formal Induction, Revision and Evolution
• Verlag: Science Press / Springer / Springer Nature Singapore / Springer, Berlin
• Artikelnr. des Verlages: 978-981-99-6459-8
• Seitenzahl: 400
• Erscheinungstermin: 6. Januar 2024
• Englisch
• Abmessung: 241mm x 160mm x 27mm
• Gewicht: 764g
• ISBN-13: 9789819964598
• ISBN-10: 9819964598
• Artikelnr.: 68570376

Autorenporträt

Xin'an Yuan was born in Nanyang, China, on March 12,1990. He received the B.E., M.E., and Ph.D. degrees in mechanical design manufacture and automation from the China University of Petroleum (East China), Qingdao, China, in 2013,2016, and 2019, respectively. Following graduation, he joined the China University of Petroleum (East China), where he is currently an Associate Professor with the Research Institute of Center for Offshore Engineering and Safety Technology. His research interests include nondestructive testing, signal processing, and deep learning. Wei Li (Member, IEEE) received the Ph.D. degree in mechanical and electronics engineering from the China University of Petroleum (East China), Qingdao, China, in 2007. Following graduation, he joined the China University of Petroleum (East China), where he is currently a Professor of mechanical and electronics engineering. His current research interests include electromagnetic nondestructive evaluation and signal processing, offshore engineering structure design and finite-element method analysis, and pipeline safety and reliability assessment. Jianming Zhao received the Ph.D. degree in mechanical engineering in 2023 from the China University of Petroleum (East China), Qingdao, China. His research interests include signal processing, inversion imaging, and deep learning. Xiaokang Yin (Senior Member, IEEE) received the B.E. degree in information engineering from the East China University of Science and Technology, Shanghai, China, in 2005, and the M.S. degree in advanced electronic engineering and the Ph.D. degree in engineering from the University of Warwick, Coventry, U.K., in 2007 and 2011, respectively. In 2011, he joined the China University of Petroleum (East China), Qingdao, China, where he is currently a Professor of mechanical and electronic engineering. Xiao Li received the Ph.D. degree in mechanical engineering from the Dalian University of Technology, Dalian, China, in 2019. He is currently a Associate Professor with the China University of Petroleum (East China), Qingdao,China. His research interests include machine vision and contouring detection for machine tools. Jianchao Zhao received the B.E. degree from the China University of Petroleum (East China), Qingdao, China, in 2019, where he is currently pursuing the Ph.D. degree.,His research interests include model analysis.

Inhaltsangabe

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.

Rezensionen

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)