The Role of Definitions in Biomedical Concept Representation

The Foundational Model (FM) of anatomy, developed as an anatomical enhancement of UMLS, classifies anatomical entities in a structural context. Explicit definitions have played a critical role in the establishment of FM classes. Essential structural properties that distinguish a group of anatomical entities serve as the differentiae for defining classes. These, as well as other structural attributes, are introduced as template slots in Protege, a frame-based knowledge acquisition system, and are inherited by descendants of the class. A set of desiderata has evolved during the instantiation of the FM for formulating definitions. We contend that 1. these desiderata generalize to non-anatomical domains and 2. satisfying them in constituent vocabularies of UMLS would enhance the quality of information retrievable through UMLS

Terminologia Anatomica; Considered from the Perspective of Next-Generation Knowledge Sources

This report examines the semantic structure of Terminologia Anatomica, taking one randomly selected page as an example. The focus of analysis is the meaning imparted to an anatomical term by virtue of its location within the structured list. Terminologia’s structure expressed through hierarchies of headings, varied typographical styles, indentations and an alphanumeric code implies specific relationships between the terms embedded in the list. Together, terms and relationships can potentially capture essential elements of anatomical knowledge. The analysis focuses on these knowledge elements and evaluates the consistency and logic in their representation. Most critical of these elements are class inclusion and part-whole relationships, which are implied, rather than explicitly modeled by Terminologia. This limits the use of the term list to those who have some knowledge of anatomy and excludes computer programs from navigating through the terminology. Assuring consistency in the explicit representation of anatomical relationships would facilitate adoption of Terminologia as the anatomical standard by the various controlled medical terminology (CMT) projects. These projects are motivated by the need for computerizing the patient record, and their aim is to generate machineunderstandable representations of biomedical concepts, including anatomy. Because of the lack of a consistent and explicit representation of anatomy, each of these CMTs has generated it own anatomy model. None of these models is compatible with each other, yet each is consistent with textbook descriptions of anatomy. The analysis of the semantic structure of Terminologia Anatomica leads to some suggestions for enhancing the term list in ways that would facilitate its adoption as the standard for anatomical knowledge representation in biomedical informatics

Towards a Reference Terminology for Ontology Research and Development in the Biomedical Domain

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research

New desiderata for biomedical terminologies

It is only by fixing on agreed meanings of terms in biomedical terminologies that we will be in a position to achieve that accumulation and integration of knowledge that is indispensable to progress at the frontiers of biomedicine. Standardly, the goal of fixing meanings is seen as being realized through the alignment of terms on what are called ‘concepts’. Part I addresses three versions of the concept-based approach – by Cimino, by Wüster, and by Campbell and associates – and surveys some of the problems to which they give rise, all of which have to do with a failure to anchor the terms in terminologies to corresponding referents in reality. Part II outlines a new, realist solution to this anchorage problem, which sees terminology construction as being motivated by the goal of alignment not on concepts but on the universals (kinds, types) in reality and thereby also on the corresponding instances (individuals, tokens). We outline the realist approach, and show how on its basis we can provide a benchmark of correctness for terminologies which will at the same time allow a new type of integration of terminologies and electronic health records. We conclude by outlining ways in which the framework thus defined might be exploited for purposes of diagnostic decision-support

Introducing realist ontology for the representation of adverse events

The goal of the REMINE project is to build a high performance prediction, detection and monitoring platform for managing Risks against Patient Safety (RAPS). Part of the work involves developing in ontology enabling computer-assisted RAPS decision support on the basis of the disease history of a patient as documented in a hospital information system. A requirement of the ontology is to contain a representation for what is commonly referred to by the term 'adverse event', one challenge being that distinct authoritative sources define this term in different and context-dependent ways. The presence of some common ground in all definitions is, however, obvious. Using the analytical principles underlying Basic Formal Ontology and Referent Tracking, both developed in the tradition of philosophical realism, we propose a formal representation of this common ground which combines a reference ontology consisting exclusively of representations of universals and an application ontology which consists representations of defined classes. We argue that what in most cases is referred to by means of the term 'adverse event' - when used generically - is a defined class rather than a universal. In favour of the conception of adverse events as forming a defined class are the arguments that (1) there is no definition for 'adverse event' that carves out a collection of particulars which constitutes the extension of a universal, and (2) the majority of definitions require adverse events to be (variably) the result of some observation, assessment or (absence of) expectation, thereby giving these entities a nominal or epistemological flavour

Using philosophy to improve the coherence and interoperability of applications ontologies: A field report on the collaboration of IFOMIS and L&C

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates

The Role of Foundational Relations in the Alignment of Biomedical Ontologies

The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities on the basis of explicit definitions. This scheme also provides a template for modeling pathology, physiological function and genotype-phenotype correlations, and it can thus serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and partof relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies

Investigating subsumption in DL-based terminologies: A case study in SNOMED CT

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance

Revising the UMLS Semantic Network

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration

Ontological theory for ontological engineering: Biomedical systems information integration

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date