Name
Formal Methods for the Analysis of Biomedical Ontologies
Description
Author: Guo-Qiang Zhang
Overview:
- In-depth coverage of biomedical ontologies
- Practical, theory-based methodology for ontology quality assurance
- Rigorous algorithms with visualized real-world examples
Overview:
- In-depth coverage of biomedical ontologies
- Practical, theory-based methodology for ontology quality assurance
- Rigorous algorithms with visualized real-world examples
Website
