Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking
Thomas Bittner, Jonathan P. Bona, Werner M Ceusters · Frontiers in artificial intelligence and applications · 2016
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.