| 書目名稱 | Formal Methods for the Analysis of Biomedical Ontologies | | 編輯 | Guo-Qiang Zhang,Rashmie Abeysinghe,Licong Cui | | 視頻video | http://file.papertrans.cn/346/345820/345820.mp4 | | 概述 | In-depth coverage of biomedical ontologies.Practical, theory-based methodology for ontology quality assurance.Rigorous algorithms with visualized real-world examples | | 叢書名稱 | Synthesis Lectures on Data, Semantics, and Knowledge | | 圖書封面 |  | | 描述 | .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 lev | | 出版日期 | Book 2022 | | 關鍵詞 | Biomedical Ontologies; Ontology Quality Assurance; Biomedical Informatics; Formal Methods; Formal Concep | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-12131-9 | | isbn_softcover | 978-3-031-12133-3 | | isbn_ebook | 978-3-031-12131-9Series ISSN 2691-2023 Series E-ISSN 2691-2031 | | issn_series | 2691-2023 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 20:55
發(fā)表于 2025-3-21 17:54:48
