Towards an ontological representation of morbidity and mortality in Description Logics

BackgroundDespite the high coverage of biomedical ontologies, very few sound definitions of death can be found. Nevertheless, this concept has its relevance in epidemiology, such as for data integration within mortality notification systems. We here introduce an ontological representation of the complex biological qualities and processes that inhere in organisms transitioning from life to death. We further characterize them by causal processes and their temporal borders.ResultsSeveral representational difficulties were faced, mainly regarding kinds of processes with blurred or fiat borders that change their type in a continuous rather than discrete mode. Examples of such hard to grasp concepts are life, death and its relationships with injuries and diseases. We illustrate an iterative optimization of definitions within four versions of the ontology, so as to stress the typical problems encountered in representing complex biological processes. We point out possible solutions for representing concepts related to biological life cycles, preserving identity of participating individuals, i.e. for a patient in transition from life to death. This solution however required the use of extended description logics not yet supported by tools. We also focus on the interdependencies and need to change further parts if one part is changed.ConclusionThe axiomatic definition of mortality we introduce allows the description of biologic processes related to the transition from healthy to diseased or injured, and up to a final death state. Exploiting such definitions embedded into descriptions of pathogen transmissions by arthropod vectors, the complete sequence of infection and disease processes can be described, starting from the inoculation of a pathogen by a vector, until the death of an individual, preserving the identity of the patient.

[1]  C. Coeli,et al.  [Reclink: an application for database linkage implementing the probabilistic record linkage method]. , 2000, Cadernos de saude publica.

[2]  Chris F. Taylor,et al.  Survey-based naming conventions for use in OBO Foundry ontology development , 2009, BMC Bioinformatics.

[3]  Olivier Bodenreider,et al.  Session Introduction: Biomedical Ontologies , 2005, Pacific Symposium on Biocomputing.

[4]  Robert Hoehndorf,et al.  General Formal Ontology (GFO) - A Foundational Ontology Integrating Objects and Processes [Version 1.0] , 2006 .

[5]  H. Herre,et al.  Ontological Categories in GOL , 2004 .

[6]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[7]  M. Schmidt-Schauβ Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989 .

[8]  A T McCray,et al.  Biomedical ontologies. , 2005, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[9]  Nicola Guarino,et al.  A Formal Ontology of Properties , 2000, EKAW.

[10]  Christopher G. Chute,et al.  BioPortal: ontologies and integrated data resources at the click of a mouse , 2009, Nucleic Acids Res..

[11]  D. Thomasma The comatose patient, the ontology of death, and the decision to stop treatment , 1984, Theoretical medicine.

[12]  Martin Boeker,et al.  Scalable representations of diseases in biomedical ontologies , 2011, J. Biomed. Semant..

[13]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[14]  Elena Beisswanger,et al.  BioTop: An upper domain ontology for the life sciencesA description of its current structure, contents and interfaces to OBO ontologies , 2008, Appl. Ontology.

[15]  Cláudia Medina Coeli,et al.  Reclink: aplicativo para o relacionamento de bases de dados, implementando o método probabilistic record linkage , 2000 .

[16]  Stefan Schulz,et al.  Ontology patterns for tabular representations of biomedical knowledge on neglected tropical diseases , 2011, Bioinform..

[17]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[18]  Manfred Schmidt-Schauß,et al.  Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989, Lecture Notes in Computer Science.

[19]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..