R-Calculus, V: Description Logics
portes grátis
R-Calculus, V: Description Logics
Li, Wei; Sui, Yuefei
Springer Verlag, Singapore
01/2025
384
Mole
9789819964628
15 a 20 dias
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
R-calculus;Gentzen Deduction System;Description Logics;Post Three-valued Logic;Role Constructors;Multisequents;Soundness and Completeness
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
