Migrating data from electronic healthcare records (EHR) to data repositories for biomedical research provides an opportunity for the design of extracttransfer-load procedures that not only make the repository a faithful representation of what is stated in the EHR, but also of how what is stated in the EHR (may or may not) correspond to what in reality the statements are about. This includes, for example, annotating which EHR statements are inconsistent with other statements, or which statements cannot possibly be true because of what we know about reality. While one goal of ontologies is to provide background information for determining the reliability of assertions that have been introduced without using an underlying ontology, one goal of Referent Tracking is to make explicit all the implicit assumptions that need to be taken into account to interpret given data correctly. In this paper, using Basic Formal Ontology as an example, we explore the potential of Haskell to implement software that is provably correct with respect to the semantics specified in the ontology.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 email@example.com
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 firstname.lastname@example.org