Category Theory & Biomedical Ontologies

Category Theory, Biomedical Ontologies and Models
Ira Kalet, PhD
April 29, 2014

Many projects are under way to create or derive computational models of biological processes, using one or more biomedical ontologies or other biomedical knowledge resources as a basis for the model structure.
One such project, which we have started, is to model the local/regional spread of tumor cells (metastasis) so that an accurate target for radiation therapy can be defined.
This approach uses the structure of the lymphatic system as defined in the UW Foundational Model of Anatomy (FMA) to produce a tumor dissemination model for any specific anatomic site where the primary tumor may be located.
Such models are tedious to build manually and are prone to errors in transcription of the structures.

We plan to further develop this approach to modeling tumor dissemination as a case study for developing automated methods to generate dynamic models from biomedical ontologies.

The project will use Category Theory, a mathematical formalism that is just now finding application to ontological modeling, as a way to facilitate the mapping from an ontology to a model.

We will apply the formalism to the FMA/tumor dissemination problem as a proof of concept.
The specific medical problem we are addressing has the potential to significantly increase the accuracy of radiation therapy target volume definition. This is a critical step in more fully utilizing the power of modern computer controlled radiation therapy treatment machinery and techniques. The general methods may help researchers to generate new models, insure that such models are consistent, and also possibly aid in identifying any inconsistencies in the biomedical ontologies themselves.

see also:


The most common mutations are SNPs

The application of molecular genetic approaches to the study of human evolution
Nature Genetics 2003; 33: 266-275
Cavalli-Sforza And Feldman MW.

The term “haplotype” for the multilocus combination of alleles on a chromosome was introduced by Ceppellini et al. [3] during early research on the major histocompatibility complex.

genetic variation is nor rare but, on the contrary, almost every protein has genetic variations [5,6].

All genetic variation is caused by mutations, of which there are many different types. The most common and most useful for many purposes are the SNPs, which can be detected by DNA sequencing and other recently developed methods, such as denaturing high performance liquid chromatography [15], mass spectrometry [16] and array-based resequencing [17].

Would you Want to Find out About …?

DNA autoradiogram

Would you Want to Find out About an Inherited Genetic Condition?
12 February 2014

This week’s Health Check is a special programme about living with genetic disorders.
Speaking to contributors to the book The Story Within, Claudia discusses the impossibly difficult decisions that arise – whether, when and how to intervene and whether and how best to involve family members – and how life can be irrevocably changed by the discovery of a family history of genetic mutation.

To guide Claudia through the issues raised and examine the extraordinary advances being made in genetics, she is joined by Sir John Burn. He is professor of Clinical Genetics at Newcastle University and a world authority on genetics.

Life is a sexually transmitted, ultimately fatal disorder.

Fragile X

Genomic medicine (Sci Transl Med. 2013)

Genomic medicine: a decade of successes, challenges, and opportunities.
Sci Transl Med. 2013 Jun 12;5(189):189sr4.
McCarthy JJ1, McLeod HL, Ginsburg GS.

In most cases, genomic medicine tools remain in the realm of research, but some tools are crossing over into clinical application
next-generation sequencing in cancer pharmacogenomics, in the diagnosis of rare disorders, and in the tracking of infectious disease outbreaks.
the role of the host microbiome, … the repurposing of drugs.
challenges include the difficulty in establishing clinical validity and utility of tests, … addressing the ethical aspects of genomics for patients and society.
fundamental shifts in how we define disease

Data from the 1000 Genomes Project have confirmed previous estimates of the population frequency of germline [common] variants to be about 1 in every 1000 of the 3.2 billion nucleotide positions, giving rise to about 3 million [common] variants in the human genome (6).

the ~1% of the genome that codes for genes
The challenge lies in figuring out the meaning of variants that occur in the vast remaining noncoding regions of the genome, the so-called dark matter, whose function is largely unknown.


Geek Austin

Austin Monthly Tech Meetups

The Austin Python Meetup Monthly Meetup

The Austin Python Meetup Monthly Meetup

Wednesday, Dec 9, 2015, 7:00 PM

303 Colorado Street, Suite 1600 Austin, TX

17 Python Programmers Attending

We typically have a main presentation or a series of lightning talks, followed by discussion and Q&A.  There is a diversity of domains and experience levels represented, so come with your questions and be prepared to talk about how you use Python!The Capital Factory is now offering discounted parking in the Omni Parking lot. If you park after 6 p….

Check out this Meetup →

Austin Web Python

Austin Web Python

Austin, TX
1,149 Developers

This is an Austin-based group devoted to making web development with Python freaking fun. Come join us to learn all the new hotness about your favorite Python-based web framew…

Check out this Meetup Group →

The Austin MySQL Meetup Group

The Austin MySQL Meetup Group

Austin, TX
387 DataGeeks

Open to all data-centric individuals in the Greater Austin Area, whether you use MySQL, PostgreSQL, Oracle, or any NoSQL/data solution. We love data and databases.

Next Meetup

Peter Zaitsev: When High Availability Isn’t

Tuesday, Dec 1, 2015, 6:30 PM
42 Attending

Check out this Meetup Group →

Patterns of linkage disequilibrium (2002)

Patterns of linkage disequilibrium in the human genome
Nature Reviews Genetics 3, 299-309 (April 2002)
Kristin G. Ardlie, et al.

Particular alleles at neighbouring loci tend to be co-inherited. For tightly linked loci, this might lead to associations between alleles in the population — a property known as linkage disequilibrium (LD). LD has recently become the focus of intense study in the hope that it might facilitate the mapping of complex disease loci through whole-genome association studies. This approach depends crucially on the patterns of LD in the human genome. In this review, we draw on empirical studies in humans and Drosophila, as well as simulation studies, to assess the current state of knowledge about patterns of LD, and consider the implications for the use of LD as a mapping tool.