|
|
xxi | |
|
|
xxv | |
Symbol Description |
|
xxvii | |
|
|
1 | (112) |
|
1 Ontologies and Applications of Ontologies in Biomedicine |
|
|
3 | (8) |
|
|
3 | (2) |
|
1.2 Ontologies and Bio-Ontologies |
|
|
5 | (1) |
|
1.3 Ontologies for Data Organization, Integration, and Searching |
|
|
6 | (3) |
|
1.4 Computer Reasoning with Ontologies |
|
|
9 | (1) |
|
1.5 Typical Applications of Bio-Ontologies |
|
|
10 | (1) |
|
2 Mathematical Logic and Inference |
|
|
11 | (30) |
|
2.1 Representation and Logic |
|
|
11 | (2) |
|
|
13 | (5) |
|
|
18 | (7) |
|
|
25 | (4) |
|
|
29 | (7) |
|
2.5.1 Description Language ALC |
|
|
29 | (2) |
|
2.5.2 Description Language ALC |
|
|
31 | (1) |
|
2.5.3 Further Description Logic Constructors |
|
|
32 | (4) |
|
2.6 Exercises and Further Reading |
|
|
36 | (5) |
|
3 Probability Theory and Statistics for Bio-Ontologies |
|
|
41 | (26) |
|
|
41 | (15) |
|
|
43 | (1) |
|
3.1.2 p-Values and Probability Distributions |
|
|
44 | (7) |
|
3.1.3 Multiple-Testing Correction |
|
|
51 | (5) |
|
|
56 | (2) |
|
3.3 Introduction to Graphs |
|
|
58 | (4) |
|
|
62 | (2) |
|
3.5 Exercises and Further Reading |
|
|
64 | (3) |
|
|
67 | (46) |
|
|
67 | (4) |
|
|
68 | (2) |
|
4.1.2 Intersections: Computable Definitions |
|
|
70 | (1) |
|
4.2 OWL and the Semantic Web |
|
|
71 | (28) |
|
4.2.1 Resource Description Framework |
|
|
72 | (6) |
|
|
78 | (7) |
|
4.2.3 The Web Ontology Language OWL |
|
|
85 | (10) |
|
4.2.4 OBO, RDF, RDFS, and OWL |
|
|
95 | (4) |
|
4.3 Exercises and Further Reading |
|
|
99 | (14) |
|
|
113 | (66) |
|
|
115 | (24) |
|
5.1 A Tool for the Unification of Biology |
|
|
115 | (2) |
|
|
117 | (3) |
|
|
117 | (1) |
|
|
117 | (1) |
|
|
118 | (2) |
|
|
120 | (1) |
|
|
121 | (12) |
|
5.4.1 Evidence for Gene Functions |
|
|
124 | (3) |
|
5.4.2 Inferred from Electronic Annotation |
|
|
127 | (1) |
|
5.4.3 The True Path Rule and Propagation of Annotations |
|
|
128 | (5) |
|
|
133 | (1) |
|
5.6 Exercises and Further Reading |
|
|
134 | (5) |
|
|
139 | (14) |
|
6.1 Basic Formal Ontology |
|
|
139 | (1) |
|
6.2 The Big Divide: Continuants and Occurrents |
|
|
140 | (2) |
|
|
141 | (1) |
|
|
142 | (1) |
|
6.3 Universals and Particulars |
|
|
142 | (1) |
|
|
143 | (4) |
|
6.5 Revisiting Gene Ontology |
|
|
147 | (1) |
|
6.6 Revisiting GO Annotations |
|
|
148 | (2) |
|
6.7 Exercises and Further Reading |
|
|
150 | (3) |
|
7 A Selective Survey of Bio-Ontologies |
|
|
153 | (26) |
|
|
153 | (2) |
|
7.2 The National Center for Biomedical Ontology |
|
|
155 | (1) |
|
|
155 | (20) |
|
7.3.1 Ontologies for Anatomy: The FMA and Model Organisms |
|
|
156 | (3) |
|
|
159 | (1) |
|
7.3.3 Chemical Entities of Biological Interest |
|
|
160 | (2) |
|
|
162 | (1) |
|
7.3.5 The Protein Ontology |
|
|
162 | (3) |
|
7.3.6 The Sequence Ontology |
|
|
165 | (1) |
|
7.3.7 Mammalian Phenotype Ontology (MPO) |
|
|
166 | (1) |
|
7.3.8 Human Phenotype Ontology (HPO) |
|
|
167 | (4) |
|
|
171 | (1) |
|
|
172 | (3) |
|
7.4 What Makes a Good Ontology? |
|
|
175 | (2) |
|
7.5 Exercises and Further Reading |
|
|
177 | (2) |
|
III Graph Algorithms for Bio-Ontologies |
|
|
179 | (100) |
|
8 Overrepresentation Analysis |
|
|
181 | (38) |
|
|
182 | (1) |
|
|
183 | (2) |
|
8.3 Multiple Testing Problem |
|
|
185 | (3) |
|
8.4 Term-for-Term Analysis: An Extended Example |
|
|
188 | (4) |
|
8.5 Inferred Annotations Lead to Statistical Dependencies in Ontology DAGs |
|
|
192 | (3) |
|
8.6 Parent-Child Algorithms |
|
|
195 | (3) |
|
8.7 Parent-Child Analysis: An Extended Example |
|
|
198 | (2) |
|
8.8 Topology-Based Algorithms |
|
|
200 | (5) |
|
|
200 | (2) |
|
|
202 | (3) |
|
8.9 Topology-elim: An Extended Example |
|
|
205 | (2) |
|
|
207 | (2) |
|
|
209 | (1) |
|
8.12 Exercises and Further Reading |
|
|
209 | (10) |
|
9 Model-Based Approaches to GO Analysis |
|
|
219 | (18) |
|
9.1 A Probabilistic Generative Model for GO Enrichment Analysis |
|
|
219 | (3) |
|
9.2 A Bayesian Network Model |
|
|
222 | (11) |
|
9.2.1 Maximum a posteriori |
|
|
226 | (1) |
|
9.2.2 Monte Carlo Markov Chain Algorithm |
|
|
227 | (3) |
|
9.2.3 MGSA Algorithm with Unknown Parameters |
|
|
230 | (3) |
|
9.3 MGSA: An Extended Example |
|
|
233 | (1) |
|
|
234 | (1) |
|
9.5 Exercises and Further Reading |
|
|
235 | (2) |
|
|
237 | (24) |
|
10.1 Information Content in Ontologies |
|
|
237 | (10) |
|
10.2 Semantic Similarity of Genes and Other Items Annotated by Ontology Terms |
|
|
247 | (5) |
|
10.2.1 Graph-Based and Set-Based Measures of Semantic Similarity |
|
|
248 | (1) |
|
10.2.2 Applications of Semantic Similarity in Bioinformatics |
|
|
249 | (2) |
|
10.2.3 Applications of Semantic Similarity for Clinical Diagnostics |
|
|
251 | (1) |
|
10.3 Statistical Significance of Semantic Similarity Scores |
|
|
252 | (3) |
|
10.4 Exercises and Further Reading |
|
|
255 | (6) |
|
11 Frequency-Aware Bayesian Network Searches in Attribute Ontologies |
|
|
261 | (18) |
|
|
262 | (8) |
|
11.1.1 High-Level Description of the Model |
|
|
262 | (2) |
|
11.1.2 Annotation Propagation Rule for Bayesian Networks |
|
|
264 | (2) |
|
11.1.3 LPDs of Hidden Term States |
|
|
266 | (1) |
|
11.1.4 LPDs of Observed Term States |
|
|
266 | (4) |
|
11.2 Probabilistic Inference for the Items |
|
|
270 | (2) |
|
11.3 Parameter-Augmented Network |
|
|
272 | (1) |
|
11.4 The Frequency-Aware Network |
|
|
273 | (1) |
|
|
274 | (5) |
|
IV Inference in Ontologies |
|
|
279 | (96) |
|
12 Inference in the Gene Ontology |
|
|
281 | (12) |
|
12.1 Inference over GO Edges |
|
|
281 | (4) |
|
12.2 Cross-Products and Logical Definitions |
|
|
285 | (4) |
|
12.2.1 Intra-GO Cross-Product Definitions |
|
|
286 | (2) |
|
12.2.2 External Cross-Product Definitions |
|
|
288 | (1) |
|
12.2.3 Reasoning with Cross-Product Definitions |
|
|
288 | (1) |
|
12.3 Exercises and Further Reading |
|
|
289 | (4) |
|
13 RDFS Semantics and Inference |
|
|
293 | (24) |
|
|
293 | (1) |
|
|
294 | (9) |
|
|
303 | (2) |
|
|
305 | (2) |
|
|
307 | (7) |
|
|
314 | (1) |
|
13.7 Exercises and Further Reading |
|
|
314 | (3) |
|
14 Inference in OWL Ontologies |
|
|
317 | (18) |
|
14.1 The Semantics of Equality |
|
|
317 | (3) |
|
14.2 The Semantics of Properties |
|
|
320 | (5) |
|
14.3 The Semantics of Classes |
|
|
325 | (6) |
|
14.4 The Semantics of the Schema Vocabulary |
|
|
331 | (2) |
|
|
333 | (1) |
|
14.6 Exercises and Further Reading |
|
|
333 | (2) |
|
15 Algorithmic Foundations of Computational Inference |
|
|
335 | (22) |
|
15.1 The Tableau Algorithm |
|
|
336 | (10) |
|
15.1.1 Negative Normal Form |
|
|
338 | (1) |
|
15.1.2 Algorithm for ABox |
|
|
339 | (5) |
|
15.1.3 Adding Support for the TBox |
|
|
344 | (2) |
|
|
346 | (2) |
|
15.3 Exercises and Further Reading |
|
|
348 | (9) |
|
|
357 | (18) |
|
|
357 | (8) |
|
16.2 Combining RDF Graphs |
|
|
365 | (3) |
|
|
368 | (1) |
|
16.4 Exercises and Further Reading |
|
|
369 | (6) |
|
|
375 | (82) |
|
|
377 | (18) |
|
B Information Content and Entropy |
|
|
395 | (4) |
|
C W3C Standards: XML, URIs, and RDF |
|
|
399 | (28) |
|
|
427 | (30) |
Glossary |
|
457 | (4) |
Bibliography |
|
461 | (24) |
Index |
|
485 | |