Articles liés à Formal Methods for the Analysis of Biomedical Ontologies

Formal Methods for the Analysis of Biomedical Ontologies - Couverture souple

 
9783031121333: Formal Methods for the Analysis of Biomedical Ontologies

Synopsis

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-lattice detection 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Guo-Qiang "GQ" Zhang is Professor of Medicine, Biomedical Informatics, and Public Health in the University of Texas Health Science Center at Houston (UTHealth Houston). He serves as Co-director for the Texas Institute for Restorative Neurotechnologies and UTHealth's Vice President and Chief Data Scientist. Before joining UTHealth Houston, he served as the inaugural Director of the Institute for Biomedical Informatics, Chief of the Division of Biomedical Informatics, and Associate Director of the Center for Clinical and Translational Science at the University of Kentucky. He spent prior years as professor in the Case School of Engineering and in the School of Medicine at Case Western Reserve University, where he created the Division of Biomedical Informatics in the School of Medicine. GQ Zhang received his Ph.D. in Computer Science from Cambridge University. His research spans clinical and research informatics, data science, neuroinformatics, and biomedical ontologies. During the last decade, he led a research group that has developed production-strength, informatics tools for data capturing, data management, cohort discovery, and clinical decision support, resulting in over 200 scientific publications and multiple awards across the National Institutes of Health (NIH) institutes and the National Science Foundation (NSF).
Licong Cui received her Ph.D. in Computer Science from Case Western Reserve University. She is an assistant professor in School of Biomedical Informatics at the University of Texas Health Science Center at Houston. Before joining UTHealth, she was an assistant professor in the Department of Computer Science and member of the Institute for Biomedical Informatics at the University of Kentucky. Her research interests include ontologies and terminologies, neuroinformatics, big data analytics, large-scale data integration and management, and information extraction and retrieval. She has been a Principal Investigatorof several highly competitive research awards funded by the NIH and the NSF. She is a recipient of the prestigious NSF CAREER Award.
Rashmie Abeysinghe received his B.S. in Computer Science from University of Peradeniya, Peradeniya, Sri Lanka and Ph.D. in Computer Science from University of Kentucky. He completed a Summer Internship at the National Library of Medicine, NIH. After completing his Ph.D. study, he joined the Department of Neurology, McGovern Medical School at the University of Texas Health Science Center at Houston as a Research Scientist. His research interests revolve around biomedical ontologies particularly from a quality assurance perspective, information extraction, and deep learning. His paper won a Distinguished Paper Award at the 2021 American Medical Informatics Association (AMIA) Annual Symposium. His papers were also selected as finalists for both the 2018 and 2019 AMIA Annual Symposium Student Paper Competitions.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2023
  • ISBN 10 3031121333
  • ISBN 13 9783031121333
  • ReliureBroché
  • Langueanglais
  • Nombre de pages260
  • Coordonnées du fabricantnon disponible

Acheter neuf

Afficher cet article
EUR 49,88

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9783031121302: Formal Methods for the Analysis of Biomedical Ontologies

Edition présentée

ISBN 10 :  3031121309 ISBN 13 :  9783031121302
Editeur : Springer International Publishin..., 2022
Couverture rigide

Résultats de recherche pour Formal Methods for the Analysis of Biomedical Ontologies

Image fournie par le vendeur

Zhang, Guo-Qiang|Abeysinghe, Rashmie|Cui, Licong
ISBN 10 : 3031121333 ISBN 13 : 9783031121333
Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 1171874848

Contacter le vendeur

Acheter neuf

EUR 49,88
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Guo-Qiang Zhang
ISBN 10 : 3031121333 ISBN 13 : 9783031121333
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783031121333

Contacter le vendeur

Acheter neuf

EUR 50,28
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Guo-Qiang Zhang
ISBN 10 : 3031121333 ISBN 13 : 9783031121333
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 260 pp. Englisch. N° de réf. du vendeur 9783031121333

Contacter le vendeur

Acheter neuf

EUR 50,28
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Guo-Qiang Zhang
ISBN 10 : 3031121333 ISBN 13 : 9783031121333
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. N° de réf. du vendeur 9783031121333

Contacter le vendeur

Acheter neuf

EUR 64,19
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Zhang, Guo-Qiang; Abeysinghe, Rashmie; Cui, Licong
Edité par Springer, 2023
ISBN 10 : 3031121333 ISBN 13 : 9783031121333
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783031121333_new

Contacter le vendeur

Acheter neuf

EUR 74,81
Autre devise
Frais de port : EUR 4,73
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Zhang, Guo-Qiang; Abeysinghe, Rashmie; Cui, Licong
Edité par Springer, 2023
ISBN 10 : 3031121333 ISBN 13 : 9783031121333
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 260. N° de réf. du vendeur 18398552234

Contacter le vendeur

Acheter neuf

EUR 88,43
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Zhang, Guo-Qiang/ Abeysinghe, Rashmie/ Cui, Licong
Edité par Springer-Nature New York Inc, 2023
ISBN 10 : 3031121333 ISBN 13 : 9783031121333
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. 259 pages. 9.45x6.61x0.59 inches. In Stock. N° de réf. du vendeur x-3031121333

Contacter le vendeur

Acheter neuf

EUR 93,56
Autre devise
Frais de port : EUR 11,86
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier