Devotional literature is a book of virtues that teaches virtue. Although the gods various religions are different, all theologies emphasize idea mankind should live together without any differences. It people who follow different judge my deity superior and deities worshiped by others inferior. Saiva Nayanmars, Vaishnava Alvars Siddhars Tamil Nadu saw revolution in religious philosophies. The s...

Healthcare whistle blowing, despite the benefits it has brought to healthcare systems in many developed countries, remains generally regarded as a pariah activity by many of the most influential healthcare professionals and regulatory institutions. Few if any medical schools or law department health law and bioethics classes, teach whistle blowing in a formal sense. Yet without exception, publi...

Domain reference ontologies are being developed to serve as generalizable and reusable sources designed to support any application specific to the domain. The challenge is how to develop ways to derive or adapt pertinent portions of reference ontologies into application ontologies. In this paper we demonstrate how a subset of anatomy relevant to the domain of radiology can be derived from an an...

OBJECTIVE The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomedical ontologies and for enhancing their automatic reasoning capabilities. METHOD AND MATERIALS This paper presents a formal theory of parthood and location relations among individuals, called Basic Inclusion Theory (B...

We describe the need for a Foundational Model of Physiology (FMP) as a reference ontology for "functional bioinformatics". The FMP is intended to support symbolic lookup, logical inference and mathematical analysis by integrating descriptive, qualitative and quantitative functional knowledge. The FMP will serve as a symbolic representation of biological functions initially pertaining to human p...

This paper presents a theoretical framework for defining corecursive functions safely in a total setting, based on corecursion up-to and relational parametricity. The end product is a general corecursor that allows corecursive (and even recursive) calls under wellbehaved operations, including constructors. Corecursive functions that are well behaved can be registered as such, thereby increasing...