Noch Fragen? 0800 / 33 82 637

Formal Methods for the Analysis of Biomedical Ontologies

Produktform: Buch / Einband - fest (Hardcover)

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.  weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-12130-2 / 978-3031121302 / 9783031121302

Verlag: Springer International Publishing

Erscheinungsdatum: 09.11.2022

Seiten: 245

Auflage: 1

Autor(en): Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

69,54 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück