@inproceedings{f77cf55f381042d39539d0649f18719c,
title = "Ontologies of dynamical systems and verifiable ontology-based computation: Towards a haskell-based implementation of referent tracking",
abstract = "Migrating data from electronic healthcare records (EHR) to data repositories for biomedical research provides an opportunity for the design of extract-transfer-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.",
keywords = "Functional programming, Haskell, Ontology, Ontology based computing",
author = "Thomas Bittner and Jonathan Bona and Werner Ceusters",
note = "Publisher Copyright: {\textcopyright} 2016 The authors and IOS Press.; 9th Formal Ontology in Information Systems Conference, FOIS 2016 ; Conference date: 06-07-2016 Through 09-07-2016",
year = "2016",
doi = "10.3233/978-1-61499-660-6-313",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "313--327",
editor = "Roberta Ferrario and Werner Kuhn",
booktitle = "Formal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016",
address = "Netherlands",
}