توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب تحقیقاتی را در مورد تجزیه و تحلیل هستیشناسیهای زیست پزشکی با استفاده از تجزیه و تحلیل مفهومی رسمی، از جمله از طریق ممیزی، سرپرستی، و ارتقاء ترکیب میکند. از آنجایی که تکامل هستیشناسیهای زیستپزشکی تقریباً ناگزیر مستلزم کار دستی است، روشهای رسمی ابزاری بسیار مفید برای مهندسی هستیشناسی و تمرین، بهویژه در کشف «اشکالات» غیرمنتظره و مطالب محتوایی.
این کتاب ابتدا استراتژیهای ساده اما رسمی برای کشف الگوهای نامطلوب و نامنسجم در هستیشناسیها را قبل از کاوش در کاربرد مفهوم رسمی معرفی میکند. تجزیه و تحلیل برای کامل بودن معنایی کتاب سپس به تحلیل مفهوم رسمی می پردازد، رویکردی کلاسیک که در درمان ریاضی نظم ها و شبکه ها، به عنوان یک اصل مهندسی هستی شناسی، با تمرکز بر ویژگی ساختاری هستی شناسی ها با توجه به انطباق آن با شبکه (غیر شبکه) استفاده می شود. این کتاب به طور مفید توسعه الگوریتمهای کارآمدتر برای تشخیص و استخراج غیر شبکهای را که توسط تحلیل جامع شبکه/غیر شبکه مورد نیاز است، پوشش میدهد. این کتاب در ادامه قدرت و کاربرد کشف ساختار غیرشبکهای برای اشکال زدایی هستیشناسیها را برجسته میکند و روشهایی را توصیف میکند که از اطلاعات زبانی در نامهای مفهومی (برچسبها) برای تحلیل هستیشناختی استفاده میکنند. این کتاب همچنین به مسائل تجسم و ارزیابی عملکرد قبل از پایان با یک مرور کلی و دیدگاههای آیندهنگر در این زمینه میپردازد.
این کتاب برای دانشجویان تحصیلات تکمیلی و محققان علاقهمند به این رشته در نظر گرفته شده است. هستی شناسی های زیست پزشکی و کاربردهای آنها میتواند مکمل مفیدی برای دورههای بازنمایی دانش و مهندسی باشد و همچنین مرجعی برای انتشارات علمی مرتبط و ادبیات مرتبط برای کمک به شناسایی موضوعات بالقوه تحقیقاتی در اختیار خوانندگان قرار دهد. تمام مفاهیم ریاضی و نمادهای استفاده شده در این کتاب را می توان در کتاب های درسی استاندارد گسسته ریاضیات یافت و پیوست در انتهای کتاب فهرستی از منابع هستی شناسی کلیدی و همچنین مثال های مشبک و غیر مشبک مشروحی که با استفاده از روشهای نویسندگان، نشان میدهد که چگونه «اشکالات رفع میشوند» با تبدیل غیرشبکهها به شبکههایی با حداقل تغییرات ویرایشی.
tag : دانلود کتاب روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی , Download روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی , دانلود روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی , Download Formal Methods for the Analysis of Biomedical Ontologies Book , روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی دانلود , buy روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی , خرید کتاب روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی , دانلود کتاب Formal Methods for the Analysis of Biomedical Ontologies , کتاب Formal Methods for the Analysis of Biomedical Ontologies , دانلود Formal Methods for the Analysis of Biomedical Ontologies , خرید Formal Methods for the Analysis of Biomedical Ontologies , خرید کتاب Formal Methods for the Analysis of Biomedical Ontologies ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.