Learn More
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(More)
This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category(More)
Parthood, componenthood, and containment relations are commonly assumed in biomedical ontolo-gies and terminology systems, but are not usually clearly distinguished from another. This paper contributes towards a unified theory of parthood, com-ponenthood, and containment relations. Our goal in this is to clarify distinctions between these relations as well(More)
We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include not only integral objects (my computer, your liver) but also portions of stuff (the water in your glass, the blood in a vial). In particular, we use different mereological(More)
OBJECTIVE To determine the prevalence of JC virus (JCV) reactivation and JCV-specific cellular immune response during prolonged natalizumab treatment for multiple sclerosis (MS). METHODS We enrolled 43 JCV-seropositive MS patients, including 32 on natalizumab monotherapy >18 months, 6 on interferon β-1a monotherapy >36 months, and 5 untreated controls. We(More)
Electrographic seizures are common in neonates with hypoxic-ischemic encephalopathy, but detailed data are not available regarding seizure incidence during therapeutic hypothermia. The objective of this prospective study was to determine the incidence and timing of electrographic seizures in term neonates undergoing whole-body therapeutic hypothermia for(More)
BACKGROUND Continuous EEG (cEEG) monitoring is being used with increasing frequency in critically ill patients, most often to detect non-convulsive seizures. While cEEG is non-invasive and feasible in the critical care setting, it is also expensive and labor intensive, and there has been little study of its impact on clinical care. We aimed to determine(More)