Experiences Using Logic Programming in Bioinformatics

Authors:
Chris Mungall
Affiliations:
-
Venue:
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Year:
2009

Citing 4
Cited 2

Maintaining knowledge about temporal intervals

Communications of the ACM
Obol: integrating language and meaning in bio-ontologies: Conference Papers

Comparative and Functional Genomics
Nested Containment List (NCList)

Bioinformatics
A Chado case study

Bioinformatics

The yap prolog system

Theory and Practice of Logic Programming - Prolog Systems
Acyclicity notions for existential rules and their application to query answering in ontologies

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reverse engineering complex biological systems requires the integration of multiple different databases using detailed background knowledge. Logic programming can provide a means of both performing integrative queries and rule-based inference to account for implicit knowledge. The Biological Logic Programming toolkit (Blipkit) was developed as a means of doing this kind of data integration. Implemented in SWI-Prolog, Blipkit has models of different aspects of life sciences data, including genes and gene sequences, RNA structures, evolutionary relationships, phenotypes and biological interactions. These can be combined to answer complex questions spanning multiple datasources. Blipkit also has means of integrating with and combining life sciences databases and ontologies.