Wei Li,
Yuefei Sui
Springer Nature Singapore
e druk, 2024
9789819964598
R-Calculus, V: Description Logics
Specificaties
Gebonden, blz.
|
Engels
Springer Nature Singapore |
e druk, 2024
ISBN13: 9789819964598
Rubricering
Onderdeel van serie
Perspectives in Formal Induction, Revision and Evolution
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9789819964598
Taal:Engels
Bindwijze:gebonden
Uitgever:Springer Nature Singapore
Inhoudsopgave
<p>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.</p><div><br></div>
