The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental (...) Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking. (shrink)

This is Werner S. Pluhar's translation of Immanuel Kant's Critique of Judgment (Kritik der Urtheilskraft) for Hackett Publications (Indianapolis, Indiana). ISBN 9780872200258 (paperback).

Philosophers of science traditionally have ignored the details of scientific research, and the result has often been theories that lack relevance either to science or to philosophy in general. In this volume, leading philosophers of biology discuss the limitations of this tradition and the advantages of the "naturalistic turn"—the idea that the study of science is itself a scientific enterprise and should be conducted accordingly. This innovative book presents candid, informal debates among scholars who examine the benefits and problems of (...) studying science in the same way that scientists study the natural world. Callebaut achieves the effect of face-to-face engagement through separate interviews with participants. Contributors include William Bechtel, Robert Brandon, Richard M. Burian, Donald T. Campbell, Patricia Churchland, Jon Elster, Ronald N. Giere, David L. Hull, Philip Kitcher, Karin Knorr Cetina, Bruno Latour, Richard Levins, Richard C. Lewontin, Elisabeth Lloyd, Helen Longino, Thomas Nickles, Henry C. Plotkin, Robert J. Richards, Alexander Rosenberg, Michael Ruse, Dudley Shapere, Elliott Sober, Ryan Tweney, and William Wimsatt. "Why can't we have both theoretical ecology and natural histories, lovingly done?"—Philip Kitcher "Don't underestimate the arrogance of philosophers!"—Elisabeth Lloyd. (shrink)

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or (...) subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

Based on the Ontology for General Medical Science, we propose definitions for biomarkers of various types of. These definitions provide not only a complete formal representation of what biomarkers are according to the Institute of Medicine (IOM), but also remove the ambiguities and inconsistencies encountered in the documentation provided by the IOM.

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

If SNOMED CT is to serve as a biomedical reference terminology, then steps must be taken to ensure comparability of information formulated using successive versions. New releases are therefore shipped with a history mechanism. We assessed the adequacy of this mechanism for its treatment of the distinction between changes occurring on the side of entities in reality and changes in our understanding thereof. We found that these two types are only partially distinguished and that a more detailed study is required (...) to propose clear recommendations for enhancement along at least the following lines: (1) explicit representation of the provenance of a class; (2) separation of the time-period during which a component is stated valid in SNOMED CT from the period it is (or has been) valid in reality, and (3) redesign of the historical relationships table to give users better assistance for recovery in case of introduced mistakes. (shrink)

In 2017, Partridge et al. published remarkable experimental results concerning the use of a new artificial womb technology (AWT) with lambs, developed at Children’s Hospital of Philadelphia, called...

Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retrieval of data in electronic health records (EHRs). Its purpose is to avoid the ambiguity that arises when statements in an EHR refer to disorders or other entities on the side of the patient exclusively by means of compound descriptions utilizing general terms such as ‘pimple on nose’ or ‘small left breast tumor’. In (...) this paper, we describe the theoretical foundations of this paradigm and show how it is being applied to the solution of analogous problems of ambiguous identification in the fields of digital rights management, corporate memories and decision algorithms. (shrink)

Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to which the needed (...) clarifications will be derived from a careful representation of the entities on the side of the patient which form the ultimate truthmakers for clinical statements. We here address a challenge to this realist approach relating to the diagnosis of malaria, and show how this challenge can be resolved by appeal to Basic Formal Ontology (BFO) and to the Ontology for General Medical Science (OGMS) constructed in its terms. (shrink)

For corporate memory and enterprise ontology systems to be maximally useful, they must be freed from certain barriers placed around them by traditional knowledge management paradigms. This means, above all, that they must mirror more faithfully those portions of reality which are salient to the workings of the enterprise, including the changes that occur with the passage of time. The purpose of this chapter is to demonstrate how theories based on philosophical realism can contribute to this objective. We discuss how (...) realism-based ontologies (capturing what is generic) combined with referent tracking (capturing what is specific) can play a key role in building the robust and useful corporate memories of the future. (shrink)

There are currently serious concerns that published scientific findings often fail to be reproducible, and that some solutions may be gleaned by attending the several methodological and sociological recommendations that could be found in the literature. However, researchers would also arrive at some answers by considering the advice of the philosophy of science, particularly semantics, about theses on truth related to scientific realism. Sometimes scientists understand the correspondence thesis of truth as asserting that the next unique empirical confirmation of a (...) hypothesis suffices to attribute truth to it provisionally. Such empiricist bias is not necessarily at the core of CTT, but Mario Bunge proposed the synthetic thesis of truth, based on CTT, to explicitly avoid the bias. STT requires considering a hypothesis corroborated, both by purely empirical confirmation and external consistency or compatibility with the bulk of existing background knowledge. While a capricious understanding of CTT could be rigged to recommend the “one shot game” in hypothesis testing, STT clearly demands the use of multiple approaches, empirical as well as theoretical, and it asserts that a scientific test is effective to the extent to which it is neither purely empirical, nor viewed in isolation. Pattern consistency together with an understanding of causal relations make confirmed hypotheses robust and more reliable. The militancy of the double mechanism of hypothesis control of STT can help mitigate the reproducibility crisis. Earl Werner’s research program in community ecology is an example of the use of STT criteria, which leads to the development of reliable, cross-checked, ecological results, with high predictive capacity. (shrink)

There are currently serious concerns that published scientific findings often fail to be reproducible, and that some solutions may be gleaned by attending the several methodological and sociological recommendations that could be found in the literature. However, researchers would also arrive at some answers by considering the advice of the philosophy of science, particularly semantics, about theses on truth related to scientific realism. Sometimes scientists understand the correspondence thesis of truth as asserting that the next unique empirical confirmation of a (...) hypothesis suffices to attribute truth to it provisionally. Such empiricist bias is not necessarily at the core of CTT, but Mario Bunge proposed the synthetic thesis of truth, based on CTT, to explicitly avoid the bias. STT requires considering a hypothesis corroborated, both by purely empirical confirmation and external consistency or compatibility with the bulk of existing background knowledge. While a capricious understanding of CTT could be rigged to recommend the “one shot game” in hypothesis testing, STT clearly demands the use of multiple approaches, empirical as well as theoretical, and it asserts that a scientific test is effective to the extent to which it is neither purely empirical, nor viewed in isolation. Pattern consistency together with an understanding of causal relations make confirmed hypotheses robust and more reliable. The militancy of the double mechanism of hypothesis control of STT can help mitigate the reproducibility crisis. Earl Werner’s research program in community ecology is an example of the use of STT criteria, which leads to the development of reliable, cross-checked, ecological results, with high predictive capacity. (shrink)

There are currently serious concerns that published scientific findings often fail to be reproducible, and that some solutions may be gleaned by attending the several methodological and sociological recommendations that could be found in the literature. However, researchers would also arrive at some answers by considering the advice of the philosophy of science, particularly semantics, about theses on truth related to scientific realism. Sometimes scientists understand the correspondence thesis of truth as asserting that the next unique empirical confirmation of a (...) hypothesis suffices to attribute truth to it provisionally. Such empiricist bias is not necessarily at the core of CTT, but Mario Bunge proposed the synthetic thesis of truth, based on CTT, to explicitly avoid the bias. STT requires considering a hypothesis corroborated, both by purely empirical confirmation and external consistency or compatibility with the bulk of existing background knowledge. While a capricious understanding of CTT could be rigged to recommend the “one shot game” in hypothesis testing, STT clearly demands the use of multiple approaches, empirical as well as theoretical, and it asserts that a scientific test is effective to the extent to which it is neither purely empirical, nor viewed in isolation. Pattern consistency together with an understanding of causal relations make confirmed hypotheses robust and more reliable. The militancy of the double mechanism of hypothesis control of STT can help mitigate the reproducibility crisis. Earl Werner’s research program in community ecology is an example of the use of STT criteria, which leads to the development of reliable, cross-checked, ecological results, with high predictive capacity. (shrink)

Ontological realism aims at the development of high quality ontologies that faithfully represent what is general in reality and to use these ontologies to render heterogeneous data collections comparable. To achieve this second goal for clinical research datasets presupposes not merely (1) that the requisite ontologies already exist, but also (2) that the datasets in question are faithful to reality in the dual sense that (a) they denote only particulars and relationships between particulars that do in fact exist and (b) (...) they do this in terms of the types and type-level relationships described in these ontologies. While much attention has been devoted to (1), work on (2), which is the topic of this paper, is comparatively rare. Using Referent Tracking as basis, we describe a technical data wrangling strategy which consists in creating for each dataset a template that, when applied to each particular record in the dataset, leads to the generation of a collection of Referent Tracking Tuples (RTT) built out of unique identifiers for the entities described by means of the data items in the record. The proposed strategy is based on (i) the distinction between data and what data are about, and (ii) the explicit descriptions of portions of reality which RTTs provide and which range not only over the particulars described by data items in a dataset, but also over these data items themselves. This last feature allows us to describe particulars that are only implicitly referred to by the dataset; to provide information about correspondences between data items in a dataset; and to assert which data items are unjustifiably or redundantly present in or absent from the dataset. The approach has been tested on a dataset collected from patients seeking treatment for orofacial pain at two German universities and made available for the NIDCR-funded OPMQoL project. (shrink)

One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.

Equipped with the ultimate query answering system, computers would finally be in a position to address all our information needs in a natural way. In this paper, we describe how Language and Computing nv (L&C), a developer of ontology-based natural language understanding systems for the healthcare domain, is working towards the ultimate Question Answering (QA) System for healthcare workers. L&C’s company strategy in this area is to design in a step-by-step fashion the essential components of such a system, each component (...) being designed to solve some one part of the total problem and at the same time reflect well-defined needs on the prat of our customers. We compare our strategy with the research roadmap proposed by the Question Answering Committee of the National Institute of Standards and Technology (NIST), paying special attention to the role of ontology. (shrink)

Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a focus on business (...) aspects and not enough on involvement of the right sorts of researchers, in particular those that are able to see how the data and information relate to the entities of concern on the side of the patient. The lack of a central focus on the patient, and the associated focus on ‘concepts’, have spawned a variety of mutually incompatible terminologies exhibiting non-resolvable overlap. The predominance of the healthcare IT industry in the writing and selection of semantic interoperability standards mitigates against the benefits that standards, when well designed, can bring about. (shrink)

One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.

Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships among existing (...) concepts in a formal ontology that are not derivable from such formal definitions. The algorithm exploits cross-lingual information that is implicitly present in the collection of terms used in various languages to denote the concepts and relationships at issue. By using a specific experimental design, we are able to quantify the impact of cross-lingual information in coping with underspecification in formal ontologies. (shrink)

This article has two purposes. First, it aims to present a detailed analysis of the argument of “recognition” or even of the “fight for recognition”, which Hegel uses in his fragments from Jena treating of the system of philosophy, especially of the philosophy of spirit. It will be necessary to determine precedently by means of an exact interpretation the content of that expressions, in order to criticize and to compare, his original significance in Hegel with the theoretical application made by (...) Honneth. The special aim hereby is to correct and to explain the function of the “fight for recognition”, even in its sharpening significance as a “fight for life and death”, with relation to the genesis of the state of right. Second, the figure of “recognition” is related to Hegel’s Philosophy of right in the version of 1820. In this work, recognition participates in the theory of “institutions” which is analyzed by Honneth as well. Apart from the merits gained through the endeavour to introduce a classic philosophical theory into a conception of justice in society, we feel obliged to state an error in Honneth‘s interpretation in so far as he understands an institution as a simple social community of communication. For that reason, a conclusion based on a critical commentary can only include a negative recommendation, that means, not to follow those traces of interpretation but rather to defend and to consult the texts originally composed by Hegel. (shrink)