Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Methods for the Analysis of Biomedical Ontologies

Formal Methods for the Analysis of Biomedical Ontologies

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031121319
Condition
New
Product Description

The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for ontological engineering and practice, particularly in uncovering unexpected "bugs" and content materials. The book first introduces simple but formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept analysis for semantic completeness. The book then turns to formal concept analysis, a classical approach used in the mathematical treatment of orders and lattices, as an ontological engineering principle, focusing on the structural property of ontologies with respect to its conformation to lattice or not (non-lattice). The book helpfully covers the development of more efficient algorithms for non-latticedetection and extraction required by exhaustive lattice/non-lattice analysis. The book goes on to highlight the power and utility of uncovering non-lattice structure for debugging ontologies and describes methods that leverage the linguistic information in concept names (labels) for ontological analysis. It also addresses visualization and performance evaluation issues before closing with an overview and forward-looking perspectives on the field. This book is intended for graduate students and researchers interested in biomedical ontologies and their applications. It can be a useful supplement for courses on knowledge representation and engineering and also provide readers with a reference for related scientific publications and literature to assist in identifying potential research topics. All mathematical concepts and notations used in this book can be found in standard discrete mathematics textbooks, and the appendix at the end of the book provides a list of key ontological resources, as well as annotated non-lattice and lattice examples that were discovered using the authors' methods, demonstrating how "bugs are fixed" by converting non-lattices to lattices with minimal edit changes.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Moderne Organisationskonzeptionen

$59.99

Hochspannungstechnik

$37.99

Salvador Allende and the Villa San Luis

$34.99

Culture and Computing

$84.99

The Future of Economic Design

$139.00

Wie Pippa wieder lachen lernte

$39.99

Backstage Leadership

$44.99

Habib Bourguiba of Tunisia

$129.00

Sustainable Business Models

$169.99

Modern Web Performance Optimization

$34.99

Auftrittskompetenz

$17.99

Equality, Participation, Transition

$54.99

100 Chemical Myths

$64.99

Game-Theoretic Models of the Political Influence of Interest Groups

$109.99

Free Electron Lasers

$39.99

Aspekte der internationalen konomie/Aspects of International Economics

$84.99

Die Kultur des unternehmerischen Handelns

$59.99

Lineare Algebra

$29.99

Die Bedeutung des Nebennierenrindenhormons Aldosteron fr die physische Leistungsfhigkeit

$59.99

Theory of Cryptography

$79.99

Mapping Across Academia

$139.00

Sketches of Physics

$99.99

Final Offer by Lauren Asher

$17.99

Leveraging Applications of Formal Methods, Verification, and Validation

$109.99

Ready4Reading Activity Book 3 Consonant Blends

$124.75

Bioremediation of Environmental Pollutants

$149.00

British Policy Towards the Soviet Union during the Second World War

$44.99

Advances in Artificial Intelligence

$39.99

Formal Grammar

$54.99

Die Lebendige Masse

$59.99

Philosophie und Physik am auerschulischen Lernort

$17.99

A Computational Model of Reasoning from the Clinical Literature

$109.99

Die diskursstrategische Bedeutung des Nachfelds im Deutschen

$69.99

Spectrum Sharing for Wireless Communications

$54.99

Emotionsausdruck und emotionales Erleben bei psychosomatisch Kranken

$69.99

The Crucial Role of Domain Knowledge in Evaluating Early-Stage New Product Ideas

$54.99

API Management

$54.99

Methodologies and Intelligent Systems for Technology Enhanced Learning, 8th International Conference

$169.99

Evolutionary Multi-Criterion Optimization

$54.99

Elektrizittslehre

$59.99