Formal Methods for the Analysis of Biomedical Ontologies
portes grátis
Formal Methods for the Analysis of Biomedical Ontologies
Cui, Licong; Abeysinghe, Rashmie; Zhang, Guo-Qiang
Springer International Publishing AG
11/2022
245
Dura
Inglês
9783031121302
15 a 20 dias
618
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Biomedical Ontologies;Ontology Quality Assurance;Biomedical Informatics;Formal Methods;Formal Concept Analysis;Algorithms;Graph Visualization;Lattices And Order Theory;Knowledge Structure;Knowledge Engineering;Snomed Ct;Gene Ontology;Unified Medical Language System
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
