Formal Methods for the Analysis of Biomedical Ontologies

Formal Methods for the Analysis of Biomedical Ontologies

Versandkostenfrei!
Erscheint vorauss. Oktober 2025
41,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
21 °P sammeln!
This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating actionable insights to achieve high-quality codified biomedical knowledge in the most active and impactful areas where ontologies have a direct real-world impact. The book first introduces simple, yet formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept analysis for semantic completeness. The authors then disc...