國立虎尾科技大學 |

Formal Methods for the Analysis of Biomedical Ontologies

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal Methods for the Analysis of Biomedical Ontologies/ by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui.
作者:	Zhang, Guo-Qiang.
其他作者:	Cui, Licong.
面頁冊數:	XIV, 245 p. 119 illus., 52 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Biomedical Research. -
電子資源:	https://doi.org/10.1007/978-3-031-12131-9
ISBN:	9783031121319

Formal Methods for the Analysis of Biomedical Ontologies
Zhang, Guo-Qiang.

Formal Methods for the Analysis of Biomedical Ontologies[electronic resource] /by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui. - 1st ed. 2022. - XIV, 245 p. 119 illus., 52 illus. in color.online resource. - Synthesis Lectures on Data, Semantics, and Knowledge,2691-2031. - Synthesis Lectures on Data, Semantics, and Knowledge,.

Introduction -- Simple Relational Patterns -- Formal Concept Analysis and Semantic Completeness -- Algorithms for Extracting Non-lattice Substructures -- Non-lattice Substructures in Ontological Analysis -- Lexical Sequences and Patterns -- Visualization and Retrospective Ground-Truthing -- Conclusion.

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.

ISBN: 9783031121319

Standard No.: 10.1007/978-3-031-12131-9doiSubjects--Topical Terms:

643481
Biomedical Research.

LC Class. No.: QA76.9.A73

Dewey Class. No.: 005.72

Formal Methods for the Analysis of Biomedical Ontologies
LDR:03881nam a22003855i 4500 001 1085291
003 DE-He213
005 20221108132957.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031121319 $9 978-3-031-12131-9
024 7 $a 10.1007/978-3-031-12131-9 $2 doi
035 $a 978-3-031-12131-9
050 4 $a QA76.9.A73
072 7 $a UN $2 bicssc
072 7 $a COM030000 $2 bisacsh
072 7 $a UN $2 thema
082 0 4 $a 005.72 $2 23
100 1 $a Zhang, Guo-Qiang. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1391732
245 1 0 $a Formal Methods for the Analysis of Biomedical Ontologies $h [electronic resource] / $c by Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XIV, 245 p. 119 illus., 52 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Synthesis Lectures on Data, Semantics, and Knowledge, $x 2691-2031
505 0 $a Introduction -- Simple Relational Patterns -- Formal Concept Analysis and Semantic Completeness -- Algorithms for Extracting Non-lattice Substructures -- Non-lattice Substructures in Ontological Analysis -- Lexical Sequences and Patterns -- Visualization and Retrospective Ground-Truthing -- Conclusion.
520 $a 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.
650 2 4 $a Biomedical Research. $3 643481
650 2 4 $a Data Science. $3 1174436
650 2 4 $a Data Structures and Information Theory. $3 1211601
650 1 4 $a Data Storage Representation. $3 669777
650 0 $a Ontology. $3 559386
650 0 $a Biology—Research. $3 1365799
650 0 $a Medicine—Research. $3 1365798
650 0 $a Artificial intelligence—Data processing. $3 1366684
650 0 $a Information theory. $3 595305
650 0 $a Data structures (Computer science). $3 680370
650 0 $a Computer architecture. $3 528145
650 0 $a Information retrieval. $3 563691
700 1 $a Cui, Licong. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1391734
700 1 $a Abeysinghe, Rashmie. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1391733
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031121302
776 0 8 $i Printed edition: $z 9783031121326
776 0 8 $i Printed edition: $z 9783031121333
830 0 $a Synthesis Lectures on Data, Semantics, and Knowledge, $x 2691-2031 $3 1391735
856 4 0 $u https://doi.org/10.1007/978-3-031-12131-9
912 $a ZDB-2-SXSC
950 $a Synthesis Collection of Technology (R0) (SpringerNature-85007)